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

UCPO: A Universal Constrained Combinatorial Optimization Method via Preference Optimization AAAI 2026
Feasibility-Aware Masked Transformer for the Pickup-and-Delivery Problem with Time Windows (Student Abstract) AAAI 2026
Safe Reinforcement Learning for Trustworthy AI: Theory, Algorithms, and Applications AAAI 2026
TartanMaroon: Multi-Agent Academic Advising with Iterative Negotiation and Transparent Collaboration ACL 2026
Constraint Optimization of MicroPlate Designs AAAI 2026
Themis: Automated Constraint-Aware Test Synthesis Framework for Code Reinforcement Learning AAAI 2026
Don’t Stop the Multi-Party! On Generating Synthetic Written Multi-Party Conversations with Constraints AAAI 2026
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking AAAI 2026
Right Branches Matter in Failure-based Variable Ordering Heuristics AAAI 2026
CSP4SDG: Constraint and Information-Theory Based Role Identification in Social Deduction Games with LLM-Enhanced Inference AAAI 2026
Differentially Private Linear Programming: Reduced Sub-Optimality and Guaranteed Constraint Satisfaction AAAI 2026
Optimizing against Infeasible Inclusions from Data for Semantic Segmentation through Morphology WACV 2026
Ordered Objectives in Maximum Satisfiability AAAI 2026
Generating Streamlining Constraints with Large Language Models (Abstract Reprint) AAAI 2026
T-SKM-Net: Trainable Neural Network Framework for Linear Constraint Satisfaction via Sampling Kaczmarz-Motzkin Method AAAI 2026
LR²Bench: Evaluating Long-chain Reflective Reasoning Capabilities of Large Language Models via Constraint Satisfaction Problems ACL 2025
Black-Box Optimization with Implicit Constraints for Public Policy AAAI 2025
CARE-STaR: Constraint-aware Self-taught Reasoner ACL 2025
TRACE-CS: A Synergistic Approach to Explainable Course Scheduling Using LLMs and Logic AAAI 2025
Leveraging Constraint Violation Signals for Action Constrained Reinforcement Learning AAAI 2025
DeepSolution: Boosting Complex Engineering Solution Design via Tree-based Exploration and Bi-point Thinking ACL 2025
KERL: Knowledge-Enhanced Personalized Recipe Recommendation using Large Language Models ACL 2025
Offline Safe Reinforcement Learning Using Trajectory Classification AAAI 2025
Aligning to Constraints for Data-Efficient Language Model Customization NAACL 2025
On the Modelling of Constraints with Tractable Logical Operators AAAI 2025