🔧 Constraint Solvers - shanesveller · Scour

NED-Tree: Bridging the Semantic Gap with Nonlinear Element Decomposition Tree for LLM Nonlinear Optimization Modeling 🔌LSP

arxiv.org·5d

Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks 📋Lightweight Formal Methods

arxiv.org·2d

Selecting a Maximum Solow-Polasky Diversity Subset in General Metric Spaces Is NP-hard 📉Predicate Pushdown

arxiv.org·20h

COSMO-Agent: Tool-Augmented Agent for Closed-loop Optimization,Simulation,and Modeling Orchestration λType Theory

arxiv.org·20h

Let's Have a Conversation: Designing and Evaluating LLM Agents for Interactive Optimization 📋Lightweight Formal Methods

arxiv.org·2d

Solving the Two-dimensional single stock size Cuting Stock Problem with SAT and MaxSAT 📉Predicate Pushdown

arxiv.org·5d

Promise of Graph Sparsification and Decomposition for Noise Reduction in QAOA: Analysis for Trapped-Ion Compilations 🔐Post-Quantum Crypto

arxiv.org·20h

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison 📋Lightweight Formal Methods

arxiv.org·1d

Neural Network Pruning via QUBO Optimization 🕸️Graph Algorithms

arxiv.org·20h

Reflective Context Learning: Studying the Optimization Primitives of Context Space λType Theory

arxiv.org·2d

Apriel-Reasoner: RL Post-Training for General-Purpose and Efficient Reasoning 📋Lightweight Formal Methods

arxiv.org·5d

QiMeng-PRepair: Precise Code Repair via Edit-Aware Reward Optimization 🦀Rust

arxiv.org·20h

PromptEvolver: Prompt Inversion through Evolutionary Optimization in Natural-Language Space 📉Predicate Pushdown

arxiv.org·20h

Interpretable Deep Reinforcement Learning for Element-level Bridge Life-cycle Optimization 🔌LSP

arxiv.org·2d

The Computational Complexity of Avoiding Strict Saddle Points in Constrained Optimization 🕸️Graph Algorithms

arxiv.org·5d

Discrete Mean Field Games on Finite Graphs as Initial Value Optimization 🕸️Graph Algorithms

arxiv.org·20h

Scaling Coding Agents via Atomic Skills 🎮Bevy

arxiv.org·20h

World Action Verifier: Self-Improving World Models via Forward-Inverse Asymmetry 🎮Bevy

arxiv.org·5d

Document Optimization for Black-Box Retrieval via Reinforcement Learning 📉Predicate Pushdown

arxiv.org·20h

LSRM: High-Fidelity Object-Centric Reconstruction via Scaled Context Windows 🖥️WGSL

arxiv.org·20h

Loading more...