Image de couverture de livre

ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Shi, Weichun, Liu, Minghao, Zhang, Wanting, Shi, Langchen, Jia, Fuqi, Ma, Feifei, Zhang, Jian
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

LLM-Guided Quantified SMT Solving over Uninterpreted Functions
par: Lv, Kunhang, et autres
Publié: (2026)

Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
par: Zhang, Xuan, et autres
Publié: (2025)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
par: Miya, Shinobu
Publié: (2025)

An Agentic Framework for Neuro-Symbolic Programming
par: Nafar, Aliakbar, et autres
Publié: (2026)

Neuro-symbolic Learning Yielding Logical Constraints
par: Li, Zenan, et autres
Publié: (2024)

Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints
par: Scassola, Davide, et autres
Publié: (2023)

Aligning Progress and Feasibility: A Neuro-Symbolic Dual Memory Framework for Long-Horizon LLM Agents
par: Wen, Bin, et autres
Publié: (2026)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
par: Derkinderen, Vincent, et autres
Publié: (2024)

A Semantic Framework for Neuro-Symbolic Computing
par: Odense, Simon, et autres
Publié: (2022)

Neuro-Symbolic Data Generation for Math Reasoning
par: Li, Zenan, et autres
Publié: (2024)

Softened Symbol Grounding for Neuro-symbolic Systems
par: Li, Zenan, et autres
Publié: (2024)

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
par: Daggitt, Matthew L., et autres
Publié: (2024)

Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
par: Geibinger, Tobias, et autres
Publié: (2019)

Tokenization Constraints in LLMs: A Study of Symbolic and Arithmetic Reasoning Limits
par: Zhang, Xiang, et autres
Publié: (2025)

Neuro-Symbolic Learning of Answer Set Programs from Raw Data
par: Cunnington, Daniel, et autres
Publié: (2022)

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge
par: Lorello, Luca Salvatore, et autres
Publié: (2025)

KANFIS: A Neuro-Symbolic Framework for Interpretable and Uncertainty-Aware Learning
par: Yong, Binbin, et autres
Publié: (2026)

From Passive Reuse to Active Reasoning: Grounding Large Language Models for Neuro-Symbolic Experience Replay
par: Xiao, Yanan, et autres
Publié: (2026)

NeuroAgent: LLM Agents for Multimodal Neuroimaging Analysis and Research
par: Zhong, Lujia, et autres
Publié: (2026)

Compositional Neuro-Symbolic Reasoning
par: Das, Anugyan, et autres
Publié: (2026)

Federated Neuro-Symbolic Learning
par: Xing, Pengwei, et autres
Publié: (2023)

ConstraintBench: Benchmarking LLM Constraint Reasoning on Direct Optimization
par: Tso, Joseph, et autres
Publié: (2026)

NEXUS: Continual Learning of Symbolic Constraints for Safe and Robust Embodied Planning
par: Cui, Tiehan, et autres
Publié: (2026)

Play by the Type Rules: Inferring Constraints for LLM Functions in Declarative Programs
par: Glenn, Parker, et autres
Publié: (2025)

Cognitive Load-Aware Inference: A Neuro-Symbolic Framework for Optimizing the Token Economy of Large Language Models
par: Zhang, Yilun
Publié: (2025)

Neuro-Symbolic Entity Alignment via Variational Inference
par: Chen, Shengyuan, et autres
Publié: (2024)

Neuro-Symbolic Skill Discovery for Conditional Multi-Level Planning
par: Aktas, Hakan, et autres
Publié: (2024)

CRAFT-E: A Neuro-Symbolic Framework for Embodied Affordance Grounding
par: Chen, Zhou, et autres
Publié: (2025)

Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
par: Tang, Weizhi, et autres
Publié: (2025)

Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA
par: Liem, Tran Quang
Publié: (2026)

Neuro-Symbolic AI: Explainability, Challenges, and Future Trends
par: Zhang, Xin, et autres
Publié: (2024)

Bridging the Gap: Representation Spaces in Neuro-Symbolic AI
par: Zhang, Xin, et autres
Publié: (2024)

TReMu: Towards Neuro-Symbolic Temporal Reasoning for LLM-Agents with Memory in Multi-Session Dialogues
par: Ge, Yubin, et autres
Publié: (2025)

A Neuro-Symbolic Framework for Reasoning under Perceptual Uncertainty: Bridging Continuous Perception and Discrete Symbolic Planning
par: Wu, Jiahao, et autres
Publié: (2025)

NeSy-Route: A Neuro-Symbolic Benchmark for Constrained Route Planning in Remote Sensing
par: Yang, Ming, et autres
Publié: (2026)

Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
par: Liu, Xiaoyang, et autres
Publié: (2026)

Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
par: Jia, Lin-Han, et autres
Publié: (2025)

Ferret: An Efficient Online Continual Learning Framework under Varying Memory Constraints
par: Zhou, Yuhao, et autres
Publié: (2025)

Hyperparameter Optimization of Constraint Programming Solvers
par: Haddad, Hedieh, et autres
Publié: (2026)

Assured Autonomy with Neuro-Symbolic Perception
par: Hallyburton, R. Spencer, et autres
Publié: (2025)