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

SpeciaLex: A Benchmark for In-Context Specialized Lexicon Learning EMNLP 2024
Real-Time Selection Under General Constraints via Predictive Inference NIPS 2024
OmniSafe: An Infrastructure for Accelerating Safe Reinforcement Learning Research JMLR 2024
Flipping-based Policy for Chance-Constrained Markov Decision Processes NIPS 2024
Attribute Controlled Fine-tuning for Large Language Models: A Case Study on Detoxification EMNLP 2024
Programmable Motion Generation for Open-Set Motion Control Tasks CVPR 2024
Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets AISTATS 2024
Uncertainty quantification and robustification of model-based controllers using conformal prediction L4DC 2024
Multi-armed bandits with guaranteed revenue per arm AISTATS 2024
Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024
To the Globe (TTG): Towards Language-Driven Guaranteed Travel Planning EMNLP 2024
Encoding Constraints as Binary Constraint Networks Satisfying BTP AAAI 2024
QCQP-Net: Reliably learning feasible alternating current optimal power flow solutions under constraints L4DC 2024
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming AAAI 2023
Learning Logic Programs by Discovering Where Not to Search AAAI 2023
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs AAAI 2023
PaTeCon: A Pattern-Based Temporal Constraint Mining Method for Conflict Detection on Knowledge Graphs AAAI 2023
LinSATNet: The Positive Linear Satisfiability Neural Networks ICML 2023
A Near-Optimal Algorithm for Safe Reinforcement Learning Under Instantaneous Hard Constraints ICML 2023
One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction IJCAI 2023
Constrained Decision Transformer for Offline Safe Reinforcement Learning ICML 2023
Learning Constrained Structured Spaces with Application to Multi-Graph Matching AISTATS 2023
CEM: Constrained Entropy Maximization for Task-Agnostic Safe Exploration AAAI 2023
Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract) IJCAI 2023
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract) IJCAI 2023