Inline vs. Pipeline Ray Tracing
📊Runtime Verification
Flag this post
Pain Points of OCaml
📦Module Systems
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
🔄Reproducible Builds
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·4d
🧠Automated Reasoning
Flag this post
A Short Survey of Compiler Backends
⚙️Compiler Design
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
✓Automated Theorem Proving
Flag this post
A Multimodal Dataset for Indoor Radio Mapping with 3D Point Clouds and RSSI
arxiv.org·1d
🕸️Graph Theory
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·1d
🕸️Graph Theory
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·2d
🔄Finite State Machines
Flag this post
Matrix Sensing with Kernel Optimal Loss: Robustness and Optimization Landscape
arxiv.org·7h
📐Linear Algebra
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·7h
🔍CBMC
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
🎮Verification Games
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.org·1d
🔲Cellular Automata
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
🧠Automated Reasoning
Flag this post
Coverage Analysis and Optimization of FIRES-Assisted NOMA and OMA Systems
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
Loading...Loading more...