Solvers

Momentum

12 papers in the last four weeks, up 50% on the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28

Latest papers 92

All topics
CardsList
  1. HeurEvo: Agentic Evolution of Hybrid Solver-Augmented Heuristics for Time-Critical Mathematical Optimization

    Sep 28, 2026Feijie Wu, Hugo Barbalho, Konstantina Mellou +5Automated Heuristic DesignHeuristics

  2. FLARE: Flow Matching with Local Axis-Angle Representations for Stochastic Micromagnetic Evolution

    Sep 28, 2026Pengyu Li, Renjie Tong, Xuanlue Jiang +2Magnetic Tunnel JunctionStrongest Prior Asynchronous Baseline

  3. An Exact Junction-Tree Extended Formulation for Optimal Classification Trees

    Sep 21, 2026Jiancheng TU, WenqiFanDecision TreesLinear Programming

  4. Simpler Methods Work Better for L1 Penalized Logistic Models and Large Datasets

    Sep 21, 2026Edward Raff, James HoltSpectral NormSolvers

  5. G6D: Geometric Learning-Free RGB-D 6D Pose Solver for Robotic Manipulation

    Sep 20, 2026Yixuan Liang, William Chen, Yunan Wang +4Category-Level Object Pose EstimationRobotic Manipulation

  6. ElastiQP: An Always-Feasible QP Solver for Constrained Robot Control

    Sep 16, 2026Daniel Morton, Jon Arrizabalaga, Zachary Manchester +1Quadratic ProgramsRobotic Manipulator

  7. Real-Time Bounded Catenary Solver for UAV Tether Modeling

    Sep 16, 2026Max Beffert, Andreas ZellUnmanned Aerial VehiclesAerodynamics

  8. FSANet: Frequency-Spatial Aware Network for Image Segmentation

    Sep 15, 2026Ruibo Wang, Ziyi Shen, Huaming Wu +2Solvers

  9. Scaling Laws for Physics-Aware ACOPF Surrogate Learning

    Sep 14, 2026Yijiang Li, Emon Dey, Stefano Fenu +3Optimal Power FlowScaling Laws

  10. Towards a Deterministic Math Solver for Clinical Language Models

    Sep 12, 2026Felipe Ocampo Osorio, Sebastián Andrés Cajas Ordoñez, Maximin Lange +5Task ArithmeticSolvers

  11. Agentic Algorithm Engineering: Improving Shared-Memory Exact Minimum Cuts

    Sep 7, 2026David A. Bader, Adil Chhabra, Ernestine Großmann +3Maximum Independent SetSolvers

  12. Reinforcement Learning Enhanced LLM Agents for Complex Vehicle Routing Problems

    Sep 1, 2026Yi Chen, Zikang Yu, Jiahai Wang +3Vehicle Routing ProblemSolvers

  13. A Certificate-Producing Cascade for Equational Implication: The SAIR EQT2 Stage 2 Solver

    Sep 1, 2026Haobo Ma, Wenlin Zhang, Manuel Israel CázaresEquivalenceTheorem Proving

  14. Accelerating Chemical Kinetics for Exoplanet Atmospheres using Neural Networks

    Aug 31, 2026Isaac Malsky, Xi Zhang, Tiffany Kataria +5Exoplanet AtmospheresKinetics

  15. A Height-Constrained 2-Point Minimal Solver for Pose Estimation from Active LED Markers with Event Cameras

    Aug 10, 2026Runze Yuan, Alexander Kappler, Jun Zhang +5Simultaneous Localization And MappingCamera Control

  16. CircuitReason-1k: Benchmarking Long-Horizon Visual-to-Symbolic Reasoning inElectrical Circuits

    Aug 10, 2026Xinqi Yang, Kang An, Tengyue Wang +8CircuitsVisual Reasoning

  17. DualCert: A Solver for the Traveling Salesman Problem with Constraint-Coupled Learning

    Aug 10, 2026Yancheng Song, Yongzhi Qi, Wei Qi +1Salesman ProblemPrimal-Dual Methods

  18. Differentiate the Solver, Not the Equation: Reverse-Sweep Adjoints for Block Implicit Simulation

    Aug 9, 2026Lei Shu, Ying Jiang, Kui Wu +3Differentiable PhysicsAdjoint Matching

  19. MixedComplementarityProblems.jl: A Fast, Batched, Open-Source Interior Point Solver for Mixed Complementarity Problems

    Aug 2, 2026David Fridovich-KeilSolversPrimal-Dual Methods

  20. Graph Neural Multilevel Preconditioners for Iterative Solvers

    Jul 30, 2026Zechen Zhang, Rui Peng Li, Yousef SaadAlgebraic MultigridSpectral Preconditioning

  21. LLM-Guided Evolutionary Search for Constraint Model Reformulation to Improve Solver Efficiency

    Jul 30, 2026Kostis Michailidis, Dimos Tsouros, Nguyen Dang +1Evolutionary SearchAutomated Heuristic Design

  22. The Edge-based Contiguous p-median Problem with Connections to Logistics Districting

    Jul 30, 2026Zeyad Kassem, Adolfo R. EscobedoShortest PathsRoad Networks

  23. When Do Learned Diffusion Proposals Help Constraint Solving? A Controlled Study on Continuous Algebraic Systems

    Jul 29, 2026Quang Bui, Sparsh Roy, Akash Gundimeda +1SolversAlgebraic Structures

  24. DecoEvo: Score-Decoupled Co-Evolution of Solver and Rubric-Generator Skills in Text Space

    Jul 28, 2026Jiangwang Chen, Zixin Song, Junlin Liu +10Co-EvolutionTask-Specific Rubrics

  25. KAYROS: An Anytime and Exact Open-Source Solver for Duration-Minimization Time-Dependent Vehicle Routing. A Technical Report and a Case Study in Human-AI Engineering

    Jul 25, 2026Florian RascoussierVehicle Routing ProblemSolvers

  26. SEER: Supervised Learning to Control Energetic Reasoning

    Jul 17, 2026Sascha Van Cauwelaert, Michele Lombardi, Pierre SchausConstraint SatisfactionRecursive Reasoner

  27. Logic, Optimization, and Artificial Intelligence

    Jul 17, 2026J. N. HookerLogicOptimality

  28. QUBO-Optimized Evidence Selection for Retrieval-Augmented Question Answering with Unconventional Solvers

    Jul 14, 2026Rahul Singh, Madhav VadlamaniSolvers

  29. From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

    Jul 8, 2026Eric Jiang, Xiao Liang, Yikai Zhang +16Research-Level MathematicsMathematics

  30. Search, Fail, Recover: A Training Framework for Correction-Aware Reasoning

    Jul 8, 2026Dmitry Beresnev, Vladimir Makharev, Roman Khalikov +2SolversLearn

  31. CodeJeNN: A simple C++ neural network generator for physics applications

    Jul 2, 2026Jay Arcities, Pavel Popov, Eric J Ching +2CudaIntegrated C++ Development

  32. An Optimisation Framework for the Well-Conditioned Training of Physics-Informed Neural Networks

    Jul 2, 2026Joseph Webb, Sadok Jerad, Coralia CartisParametric Physics-Informed Neural NetworkNewton

  33. SNAP-FM: Sparse Nonlinear Accelerated Projection for Physics-Constrained Generative Modeling

    Jun 30, 2026Alaina Kolli, Theodoros Xenakis, Utkarsh Utkarsh +4Inequality ConstraintsSolver Iterations

  34. Mosaic: A Benchmark Suite for Differentiable Physics Solvers

    Jun 26, 2026Andrin Rehmann, Heiko Zimmermann, Dion HäfnerNeural Partial Differential Equation SolversDifferentiable Physics

  35. Multi-Agent Goal Recognition with Team- and Goal-Conditioned Reinforcement Learning and Factorized Branch-and-Bound

    Jun 24, 2026Thiago Thomas, Gabriel de Oliveira Ramos, Felipe MeneguzziGoal-Conditioned Reinforcement LearningGoal-Conditioned Value Function

  36. SuperCond-GNN: Scalable Graph Neural Network Surrogate for Superconducting Circuit Simulations

    Jun 22, 2026Nandana Menon, Giorgio ValloneGnn-Based DetectorsGraph Neural Networks

  37. A fast direct solver based neural network for solving PDEs

    Jun 18, 2026Jashwanth Reddy Kadaru, Vaishnavi GujjulaNeural Partial Differential Equation SolversPartial Differential Equations

  38. Acceleration of an algebraic multigrid pressure solver using graph neural networks

    Jun 17, 2026Eric Chillón, Artur K. Lidtke, Nguyen Anh Khoa Doan +1Algebraic MultigridGraph Neural Networks

  39. Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning

    Jun 15, 2026Olivia Peiyu Wang, Sanna Wong-Toropainen, Daneshvar Amrollahi +4Legal Reasoning TasksLLM Reasoning Strategies

  40. Efficient Minimal Solvers for Relative Pose Estimation in Autonomous Driving Applications

    Jun 8, 2026Tao Li, Liang Liu, Jianli Han +1Autonomous NavigationAutonomous Driving

  41. Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems

    Jun 8, 2026Tao Li, Zhenbao Yu, Banglei Guan +2Visual-Inertial SystemsVisual Inertial Odometry

  42. Minimal Solvers for Full-DoF Motion Estimation from Asynchronous Differential SfM

    Jun 8, 2026Shuo Pan, Banglei Guan, Bin Li +5Egocentric Motion GenerationOptical Flow

  43. The Proxy Benders Decomposition

    Jun 5, 2026Changkun Guan, El Mehdi Er Raqabi, Mathieu Tanneau +1Mixed-Integer ProgrammingSolvers

  44. Physics-Informed Residuals for Adaptive Mesh Refinement in Finite-Difference PDE Solvers

    Jun 1, 2026Henry Kasumba, Ronald KatendeSolversRefinevla

  45. Physics-Informed Coarsening for Multigrid Graph Neural Surrogates

    May 29, 2026Amir Bazzi, David Cardinaux, Ramy Nemer +3Surrogate ModelsSurrogates

  46. Unsupervised Diffusion Solver for Combinatorial Optimization via Combinatorial Adjoint Matching

    May 29, 2026Shengyu Feng, Tarun Suresh, Yiming YangCombinatorial OptimizationAdjoint Matching

  47. On the Geometry of Games and their Solvers

    May 28, 2026Yaqi Sun, Julian Ma, David MguniGame TheoryEquilibrium

  48. Hybrid Neural World Models

    May 27, 2026Pranav Lakshmanan, Paras ChopraSurrogate ModelsWorld Models

  49. NPSolver: Neural Poisson Solver with Iterative Physics Supervision

    May 25, 2026Bocheng Zeng, Rui Zhang, Runze Mao +5SolversIterative

  50. SPACE: Unifying Symmetric and Asymmetric Routing Problems for Generalist Neural Solver

    May 23, 2026Rongsheng Chen, Changliang Zhou, Canhong Yu +4Vehicle Routing ProblemNeural Solvers

  51. From Sequential Nodes to GPU Batches: Parallel Branch and Bound for Optimal kk-Sparse GLMs

    May 21, 2026Jiachang Liu, Andrea LodiSolversOptimal