constraint satisfaction

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NeurIPS 2024 SpeciaLex: A Benchmark for In-Context Specialized Lexicon Learning EMNLP 2024 To the Globe (TTG): Towards Language-Driven Guaranteed Travel Planning EMNLP 2024 Uncertainty quantification and robustification of model-based controllers using conformal prediction L4DC 2024 A Near-Optimal Algorithm for Safe Reinforcement Learning Under Instantaneous Hard Constraints ICML 2023 Augmented Proximal Policy Optimization for Safe Reinforcement Learning AAAI 2023 CEM: Constrained Entropy Maximization for Task-Agnostic Safe Exploration AAAI 2023 Compositional Diffusion-Based Continuous Constraint Solvers CoRL 2023 Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) IJCAI 2023 Constrained Decision Transformer for Offline Safe Reinforcement Learning ICML 2023 Constraint-Conditioned Policy Optimization for Versatile Safe Reinforcement Learning NeurIPS 2023 Controlled Text Generation with Natural Language Instructions ICML 2023 DeCOM: Decomposed Policy for Constrained Cooperative Multi-Agent Reinforcement Learning AAAI 2023 Do language models have coherent mental models of everyday things? ACL 2023 Ensuring DNN Solution Feasibility for Optimization Problems with Linear Constraints ICLR 2023 Evaluating Model-Free Reinforcement Learning toward Safety-Critical Tasks AAAI 2023 Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks IJCAI 2023 Generative Modelling of Stochastic Actions with Arbitrary Constraints in Reinforcement Learning NeurIPS 2023 Gradient-Adaptive Pareto Optimization for Constrained Reinforcement Learning AAAI 2023 Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract) IJCAI 2023 Gradient-Variation Bound for Online Convex Optimization with Constraints AAAI 2023 Graphically Structured Diffusion Models ICML 2023 Guaranteed Conformance of Neurosymbolic Models to Natural Constraints L4DC 2023 Iterative Reachability Estimation for Safe Reinforcement Learning NeurIPS 2023 Learning Constrained Structured Spaces with Application to Multi-Graph Matching AISTATS 2023