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

Sudoku Assistant – an AI-Powered App to Help Solve Pen-and-Paper Sudokus AAAI 2023
Predictive safety filter using system level synthesis L4DC 2023
Semantic Strengthening of Neuro-Symbolic Learning AISTATS 2023
Constraint-Conditioned Policy Optimization for Versatile Safe Reinforcement Learning NIPS 2023
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming AAAI 2023
Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract) IJCAI 2023
DeCOM: Decomposed Policy for Constrained Cooperative Multi-Agent Reinforcement Learning AAAI 2023
Compositional Diffusion-Based Continuous Constraint Solvers CORL 2023
Gradient-Variation Bound for Online Convex Optimization with Constraints AAAI 2023
Augmented Proximal Policy Optimization for Safe Reinforcement Learning AAAI 2023
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs AAAI 2023
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) IJCAI 2023
Learning Logic Programs by Discovering Where Not to Search AAAI 2023
Multi-Agent First Order Constrained Optimization in Policy Space NIPS 2023
Graphically Structured Diffusion Models ICML 2023
VOCE: Variational Optimization with Conservative Estimation for Offline Safe Reinforcement Learning NIPS 2023
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract) IJCAI 2023
One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction IJCAI 2023
Scalable Coupling of Deep Learning with Logical Reasoning IJCAI 2023
Probabilistic Generalization of Backdoor Trees with Application to SAT AAAI 2023
Controlled Text Generation with Natural Language Instructions ICML 2023
Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks IJCAI 2023
Do language models have coherent mental models of everyday things? ACL 2023
Unite and Conquer: Plug & Play Multi-Modal Synthesis Using Diffusion Models CVPR 2023
Learning When to Use Automatic Tabulation in Constraint Model Reformulation IJCAI 2023