Theorem Provers, Symbolic Execution, Decision Procedures, Verification
Meta-Policy Reflexion: Reusable Reflective Memory and Rule Admissibility for Resource-Efficient LLM Agent
arxiv.org·1d
Towards Agents That Know When They Don't Know: Uncertainty as a Control Signal for Structured Reasoning
arxiv.org·3d
Real-time Object Detection and Associated Hardware Accelerators Targeting Autonomous Vehicles: A Review
arxiv.org·1d
Harnessing Batched BLAS/LAPACK Kernels on GPUs for Parallel Solutions of Block Tridiagonal Systems
arxiv.org·2d
Towards Reasoning for PDE Foundation Models: A Reward-Model-Driven Inference-Time-Scaling Algorithm
arxiv.org·2d
Loading...Loading more...