constraint satisfaction

FollowBench: A Multi-level Fine-grained Constraints Following Benchmark for Large Language Models ACL 2024 Generalized constraint for probabilistic safe reinforcement learning L4DC 2024 Generative Modelling of Structurally Constrained Graphs NeurIPS 2024 Gradient shaping for multi-constraint safe reinforcement learning L4DC 2024 Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets AISTATS 2024 Handling Long and Richly Constrained Tasks through Constrained Hierarchical Reinforcement Learning AAAI 2024 How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data ICLR 2024 INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024 KITAB: Evaluating LLMs on Constraint Satisfaction for Information Retrieval ICLR 2024 Knowledge Crosswords: Geometric Knowledge Reasoning with Large Language Models ACL 2024 Learning-Augmented Approximation Algorithms for Maximum Cut and Related Problems NeurIPS 2024 Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024 LLM Self-Correction with DeCRIM: Decompose, Critique, and Refine for Enhanced Following of Instructions with Multiple Constraints EMNLP 2024 Multi-armed bandits with guaranteed revenue per arm AISTATS 2024 Off-Policy Primal-Dual Safe Reinforcement Learning ICLR 2024 OmniSafe: An Infrastructure for Accelerating Safe Reinforcement Learning Research JMLR 2024 P2BPO: Permeable Penalty Barrier-Based Policy Optimization for Safe RL AAAI 2024 Programmable Motion Generation for Open-Set Motion Control Tasks CVPR 2024 Pure-Past Action Masking AAAI 2024 QCQP-Net: Reliably learning feasible alternating current optimal power flow solutions under constraints L4DC 2024 Quantifying and Optimizing Global Faithfulness in Persona-driven Role-playing NeurIPS 2024 Real-Time Selection Under General Constraints via Predictive Inference NeurIPS 2024 Resilient Constrained Reinforcement Learning AISTATS 2024 Rhythm Inference Helping Writing Music Scores IJCAI 2024 Risk-Aware Continuous Control with Neural Contextual Bandits AAAI 2024