🎯 Constraint Programming - DiToast · Scour

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems 🎯Randomized Algorithms

arxiv.org·1d

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology ⚙Functional Programming

arxiv.org·6h

Differentiable Symbolic Planning: A Neural Architecture for Constraint Reasoning with Learned Feasibility 📈Complexity Theory

arxiv.org·4d

Exploration of Pareto-preserving Search Space Transformations in Multi-objective Test Functions ⚙Functional Programming

arxiv.org·6h

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks 🔢Mathematical Logic

arxiv.org·2d

Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks 🔢Mathematical Logic

arxiv.org·4d

On the Decompositionality of Neural Networks 🔢Mathematical Logic

arxiv.org·6h

Select-then-Solve: Paradigm Routing as Inference-Time Optimization for LLM Agents 🎲Probabilistic Programming

arxiv.org·1d

When Switching Algorithms Helps: A Theoretical Study of Online Algorithm Selection 📐Algorithms

arxiv.org·6h

Algebraic Structure Discovery for Real World Combinatorial Optimisation Problems: A General Framework from Abstract Algebra to Quotient Space Learning 🎯Randomized Algorithms

arxiv.org·2d

PyVRP$^+$: LLM-Driven Metacognitive Heuristic Evolution for Hybrid Genetic Search in Vehicle Routing Problems 📈Complexity Theory

arxiv.org·6h

Domain-Contextualized Inference: A Computable Graph Architecture for Explicit-Domain Reasoning 🔢Mathematical Logic

arxiv.org·3d

Explaining Neural Networks in Preference Learning: a Post-hoc Inductive Logic Programming Approach 🎲Probabilistic Programming

arxiv.org·1d

Analysis of Search Heuristics in the Multi-Armed Bandit Setting 📐Algorithms

arxiv.org·6h

Logical Robots: Declarative Multi-Agent Programming in Logica ⚡Concurrency

arxiv.org·1d

Unified and Efficient Approach for Multi-Vector Similarity Search 🕸️Graph Theory

arxiv.org·4d

QaRL: Rollout-Aligned Quantization-Aware RL for Fast and Stable Training under Training--Inference Mismatch 🎲Probabilistic Programming

arxiv.org·6h

A First Guess is Rarely the Final Answer: Learning to Search in the Travelling Salesperson Problem 🎲Probabilistic Programming

arxiv.org·1d

Tree-of-Evidence: Efficient "System 2" Search for Faithful Multimodal Grounding 🎲Probabilistic Programming

arxiv.org·6h

Let's Have a Conversation: Designing and Evaluating LLM Agents for Interactive Optimization ⚖Algorithmic Game Theory

arxiv.org·4d

Loading more...