Constraint Satisfaction

Ask about this topic

Momentum

5 papers in the last four weeks, up 25% on the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 57

All topics
CardsList

  1. GAGR-Lab: Evaluating Joint Spatial-Geometric and Analytic Function Reasoning

    Oct 7, 2026Jingyao Zhang, Yun Li, Lu HanSpatial Reasoning BenchmarksMathematical Reasoning

  2. When Verifiable Counts Depend on Wording: Auditing Wording Robustness in Instruction Following

    Oct 4, 2026Qishi Zhan, Seoyeon Jang, Zihan Dong +3LLM EvaluationInstruction Following

    Marquette University · University of California, San Diego · Georgia Tech +3

  3. Blackboard Intelligence Can Surpass Autoregressive on Globally Constrained Problems

    Sep 30, 2026Woosang Jeon, Jaeyeon Kim, Sham Kakade +6Inference-Time SearchCombinatorial Optimization

    Seoul National University · Harvard University · University of Central Florida

  4. Not Too Hard, Not Too Easy: Learning from Intermediate States for LLM Structured Reasoning

    Sep 27, 2026Hongbo Chen, Guohua Lu, Ting Dang +1Self-Training for Language ModelsStructured Reasoning

    University of Auckland, Auckland, New Zealand · University of Melbourne, Melbourne, Australia

  5. Ontology-Mediated Neurosymbolic Constraint Acquisition from Multiple Stakeholders

    Sep 24, 2026Stefan Bischof, Juliana Kainz, Danilo ValerioNeuro-Symbolic ReasoningConstraint Satisfaction

    Siemens AG Österreich, Vienna, Austria

  6. A State-Space Model of Figured-Bass Realization: Local Constraints, Coupled Voices, and Polynomial-Time Solvability

    Sep 16, 2026Evan Unit LimSymbolic Music GenerationConstrained Optimization

    National Taiwan Normal University

  7. Diffusion as a Training Curriculum for Timestep-Free Iterative Reasoning

    Sep 1, 2026Mariia Drozdova, Aidan Sirbu, Pietro Miotti +4Constraint SatisfactionAlgorithmic Reasoning

    1Google, Paradigms of Intelligence Team · School of Computer Science, McGill University · 4Mila - Quebec AI Institute +3

  8. Large Language Models Can Follow Instructions, But Not Many at Once: Phase Transitions in Compositional Constraint Satisfaction

    Aug 12, 2026Mariya I. VasilevaLLM EvaluationInstruction Following

    Work done while at Meta Superintelligence Labs.

  9. Enhanced Filtering Algorithms for the Euclidean Traveling Salesperson Problem and its variants in Constraint Logic Programming

    Aug 11, 2026Alessandro Bertagnon, Marco GavanelliTraveling Salesperson ProblemConstraint Satisfaction

    Department of Environmental and Prevention Sciences, University of Ferrara, Italy · Department of Engineering, University of Ferrara, Italy

  10. UNSPECIFIC: General Constraint Synthesis for Breaking Copy-and-Paste Shortcut in LLM Instruction Following

    Aug 10, 2026Jeet Sharma, Balpreet Kaur, Jeremiah Hong +2Instruction FollowingConstraint Satisfaction

    University of Massachusetts, Amherst, USA

  11. ComplexityWorld: Benchmarking Vision-Language Models on Verifiable Visual Decision Making

    Aug 5, 2026Ningxin Pan, Hanyu Li, Yehui TangVLM EvaluationVisually Grounded Reasoning

    Peking University, Beijing, China.

  12. SCHEDBench: A Benchmark for Evaluating LLM Constraint Faithfulness in Natural-Language Combinatorial Scheduling

    Aug 2, 2026Shrenil Shaun Sharma, Avi SharmaCombinatorial OptimizationLLM Reliability

    Department of Electrical Engineering and Computer Sciences University of California, Berkeley

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

    Jul 29, 2026Quang Bui, Sparsh Roy, Akash Gundimeda +1Graph Neural NetworksDiffusion Sampling

    1SAID Lab · 2American International School Vienna · 3Hopewell Valley Central High School +2

  14. Maximum Satisfiability of Simple Temporal Problems

    Jul 26, 2026Johannes K. Fichte, Johanna Groven, Peter Jonsson +2Temporal ReasoningParameterized Complexity

    Department of Computer and Information Science (IDA) Linköping University

  15. SymStep: Symbolic Step Verification for Logical Reasoning

    Jul 25, 2026Aida Usmanova, Rui Gao, Dilshod Azizov +2Symbolic ReasoningStructured Reasoning

    Leuphana University of Lüneburg · Mohamed bin Zayed University of Artificial Intelligence

  16. Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report

    Jul 23, 2026Pedro Cabalar, Jorge Fandinno, Nicolas Rühling +3Answer Set ProgrammingConstraint Satisfaction

    University of A Corunna, Spain · University of A Coruña, Spain · University of Nebraska at Omaha, USA +3

  17. Global Difference Constraint Propagation for Constraint Programming

    Jul 22, 2026Lucas Kletzander, Jip J. Dekker, Andreas Schutt +1Constraint SatisfactionConstraint Programming

    1Databases and Artificial Intelligence Group, TU Wien, Karlsplatz 13, Wien, 1040, Austria. · Department of Data Science and Artificial Intelligence, Monash University, Clayton, 3168, Victoria, Australia. · 3ARC Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA), Melbourne, Victoria, Australia. +1

  18. Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion

    Jul 22, 2026Aleksey KomissarovInference-Time SearchStructured Reasoning

    Neapolis University, Pafos, Cyprus

  19. Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning

    Jul 19, 2026Lucky VermaLLM EvaluationConstraint Satisfaction

    Independent Researcher

  20. SEER: Supervised Learning to Control Energetic Reasoning

    Jul 17, 2026Sascha Van Cauwelaert, Michele Lombardi, Pierre SchausConstraint SatisfactionConstraint Programming

    Universit´e Catholique de Louvain · Universit`a di Bologna

  21. Graph Coloring Approach to Solving Sudoku with Oscillatory Neural Networks

    Jul 17, 2026Filip Sabo, Aida Todri-SanialOscillatory Neural NetworksCombinatorial Optimization

    NanoComputing Research Lab, Electrical Engineering Department Eindhoven University of Technology Eindhoven, the Netherlands

  22. MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku

    Jul 14, 2026Pedro Orvalho, Guillem Alenyà, Felip ManyàVision-Language ModelsVLM Reasoning

    Artificial Intelligence Research Institute (IIIA), Consejo Superior de Investigaciones Científicas (CSIC), Barcelona, Catalonia, Spain · Institut de Robòtica i Informàtica Industrial (IRI-CSIC-UPC), Barcelona, Spain

  23. G-RRM: Guiding Symbolic Solvers with Recurrent Reasoning Models

    Jul 2, 2026Timo Bertram, Sidhant Bhavnani, Richard Freinschlag +3Symbolic ReasoningNeuro-Symbolic Reasoning

    ELLIS Unit Linz, LIT AI Lab & Institute for Machine Learning, Johannes Kepler University Linz, Austria · Institute for Symbolic Artificial Intelligence, Johannes Kepler University Linz, Austria · Clinical Research Institute for Medical AI, Johannes Kepler University Linz, Austria

  24. LRAT-Catcher: Importing SAT Solver Certificates into Lean4 by Reflection

    Jul 1, 2026Stefan SzeiderLean Theorem ProvingConstraint Satisfaction

    Algorithms and Complexity Group, TU Wien, Vienna, Austria

  25. Flow Reasoning Models: Turning Flows Into Efficient Recurrent Reasoners

    Jun 28, 2026Alec Helbling, Andrey Bryutkin, Mauro Martino +3Structured ReasoningFlow-Based Generative Modeling

    1Georgia Tech · 3MIT-IBM Computing Research Lab · 4IBM Research +1

  26. The Alignment Problem in Constrained Code Generation

    Jun 19, 2026Matteo Biagiola, Jahrim Gabriele Cesario, Luca Di Grazia +2Constrained DecodingConstraint Satisfaction

    University of St. Gallen and Università della Svizzera italiana (USI) St. Gallen and Lugano, SG and TI Switzerland · University of St. Gallen St. Gallen, SG, Switzerland

  27. Internalizing Geometric Law: Learning from Solver Residuals for Precision-Critical Generation

    Jun 8, 2026Rafael Cabral, Pang Zixi, Ziyi Shou +1Reward ShapingLLM-Based Program Synthesis

    Huawei Celia Team

  28. A Study of Parallel Continuous Local Search

    Jun 4, 2026Cody J Christopher, Charles GrettonMetaheuristic OptimizationCombinatorial Optimization

    School of Computing, Australian National University, Canberra, Australia.

  29. Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver

    Jun 4, 2026Cody J Christopher, Charles GrettonGPU AccelerationHigh-Performance Computing

    School of Computing, Australian National University, Canberra, Australia.

  30. Multi-ResNets for Subspace Preconditioning in Constrained Optimization

    Jun 4, 2026Merve Karakas, Christopher J. Williams, Emmanuel O. Balogun +3Residual LearningLearning to Optimize

    UCLA · University of Oxford · Sunrun† +1