conftrace_

constraint satisfaction

294 papers

Explore in graph

Co-occurring keywords

safe reinforcement learning (120) policy optimization (657) combinatorial optimization (1039) large language model (13587) constraint programming (95) constrained optimization (281) reinforcement learning (4352) constraint satisfaction problem (21) safety constraint (69) neural network (6616)

Papers

Black-Box Optimization with Implicit Constraints for Public Policy AAAI 2025
Prediction-Based Adaptive Variable Ordering Heuristics for Constraint Satisfaction Problems AAAI 2025
Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming AAAI 2025
DeepSolution: Boosting Complex Engineering Solution Design via Tree-based Exploration and Bi-point Thinking ACL 2025
Personal Travel Solver: A Preference-Driven LLM-Solver System for Travel Planning ACL 2025
LR²Bench: Evaluating Long-chain Reflective Reasoning Capabilities of Large Language Models via Constraint Satisfaction Problems ACL 2025
A Category-Theoretic Approach to Neural-Symbolic Task Planning with Bidirectional Search EMNLP 2025
KERL: Knowledge-Enhanced Personalized Recipe Recommendation using Large Language Models ACL 2025
Breaking the Self-Evaluation Barrier: Reinforced Neuro-Symbolic Planning with Large Language Models IJCAI 2025
On the Modelling of Constraints with Tractable Logical Operators AAAI 2025
TRACE-CS: A Synergistic Approach to Explainable Course Scheduling Using LLMs and Logic AAAI 2025
Natural Language Generation with Expert Standards AAAI 2025
CARE-STaR: Constraint-aware Self-taught Reasoner ACL 2025
Incentivizing Safer Actions in Policy Optimization for Constrained Reinforcement Learning IJCAI 2025
TCP: a Benchmark for Temporal Constraint-Based Planning EMNLP 2025
Privacy Preserving Solution of DCOPs by Local Search IJCAI 2025
Offline Safe Reinforcement Learning Using Trajectory Classification AAAI 2025
Planning with Multi-Constraints via Collaborative Language Agents COLING 2025
Leveraging Constraint Violation Signals for Action Constrained Reinforcement Learning AAAI 2025
TRUEBench: Can LLM Response Meet Real-world Constraints as Productivity Assistant? EMNLP 2025
Resilient Constrained Reinforcement Learning AISTATS 2024
Computing Nash Equilibria in Potential Games with Private Uncoupled Constraints AAAI 2024
Backward Filtering Forward Deciding in Linear Non-Gaussian State Space Models AISTATS 2024
QCQP-Net: Reliably learning feasible alternating current optimal power flow solutions under constraints L4DC 2024
Pure-Past Action Masking AAAI 2024