Grounding LLMs with Symbolic Planning
⚔️Lean Tactics
Flag this post
VENI, VINDy, VICI: a generative reduced-order modeling framework with uncertainty quantification
arxiv.org·1d
✨Effect Handlers
Flag this post
Beyond the Magic: How LLMs Work
💻Local LLMs
Flag this post
Multi-Task Vehicle Routing Solver via Mixture of Specialized Experts under State-Decomposable MDP
arxiv.org·1d
🧮SMT Solvers
Flag this post
Policies over Poses: Reinforcement Learning based Distributed Pose-Graph Optimization for Multi-Robot SLAM
arxiv.org·8h
🔲Cellular Automata
Flag this post
FlowCapX: Physics-Grounded Flow Capture with Long-Term Consistency
arxiv.org·8h
⚙️Cassette Mechanics
Flag this post
The New Calculus of AI-based Coding
🔄Reproducible Builds
Flag this post
MOBO-OSD: Batch Multi-Objective Bayesian Optimization via Orthogonal Search Directions
arxiv.org·1d
⚡Incremental Computation
Flag this post
SQL Mandelbrot Benchmark
🗃️Database Storage
Flag this post
AutoOpt: A Dataset and a Unified Framework for Automating Optimization Problem Solving
arxiv.org·1d
🧠Machine Learning
Flag this post
A new measure for dynamic leakage based on quantitative information flow
arxiv.org·1d
🕳️Information Leakage
Flag this post
Diagnosing Bottlenecks in Data Visualization Understanding by Vision-Language Models
arxiv.org·8h
🌀Differential Geometry
Flag this post
Hard part about building AI Agents isn't planning it's making them stick to plan
⚡Proof Automation
Flag this post
Complexity Dependent Error Rates for Physics-informed Statistical Learning via the Small-ball Method
arxiv.org·8h
🧮Kolmogorov Bounds
Flag this post
Exploring Semantic-constrained Adversarial Example with Instruction Uncertainty Reduction
arxiv.org·8h
⚔️Lean Tactics
Flag this post
Loading...Loading more...