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

LLM Self-Correction with DeCRIM: Decompose, Critique, and Refine for Enhanced Following of Instructions with Multiple Constraints EMNLP 2024
Uncertainty quantification and robustification of model-based controllers using conformal prediction L4DC 2024
Gradient shaping for multi-constraint safe reinforcement learning L4DC 2024
Generalized constraint for probabilistic safe reinforcement learning L4DC 2024
Backward Filtering Forward Deciding in Linear Non-Gaussian State Space Models AISTATS 2024
Attribute Controlled Fine-tuning for Large Language Models: A Case Study on Detoxification EMNLP 2024
Pure-Past Action Masking AAAI 2024
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NIPS 2024
Handling Long and Richly Constrained Tasks through Constrained Hierarchical Reinforcement Learning AAAI 2024
Constrained Meta-Reinforcement Learning for Adaptable Safety Guarantee with Differentiable Convex Programming AAAI 2024
Rhythm Inference Helping Writing Music Scores IJCAI 2024
SpeciaLex: A Benchmark for In-Context Specialized Lexicon Learning EMNLP 2024
INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024
Conversational Modeling for Constraint Satisfaction AAAI 2024
A Swap Relaxation-Based Local Search for the Latin Square Completion Problem IJCAI 2024
AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints ACL 2024
Quantifying and Optimizing Global Faithfulness in Persona-driven Role-playing NIPS 2024
Enhancing Large Language Models through Transforming Reasoning Problems into Classification Tasks COLING 2024
Exterior Penalty Policy Optimization with Penalty Metric Network under Constraints IJCAI 2024
Multi-armed bandits with guaranteed revenue per arm AISTATS 2024
Are Graph Neural Networks Optimal Approximation Algorithms? NIPS 2024
FollowBench: A Multi-level Fine-grained Constraints Following Benchmark for Large Language Models ACL 2024
Fair and Welfare-Efficient Constrained Multi-Matchings under Uncertainty NIPS 2024
QCQP-Net: Reliably learning feasible alternating current optimal power flow solutions under constraints L4DC 2024
OmniSafe: An Infrastructure for Accelerating Safe Reinforcement Learning Research JMLR 2024