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

Stochastic Bandits with Linear Constraints AISTATS 2021
A Constrained Multi-Objective Reinforcement Learning Framework CORL 2021
Faster and Better Simple Temporal Problems AAAI 2021
An Efficient Pessimistic-Optimistic Algorithm for Stochastic Linear Bandits with General Constraints NIPS 2021
Disjunctive Temporal Problems under Structural Restrictions AAAI 2021
Democratizing Constraint Satisfaction Problems through Machine Learning AAAI 2021
Safe Reinforcement Learning of Control-Affine Systems with Vertex Networks L4DC 2021
Accelerating Safe Reinforcement Learning with Constraint-mismatched Baseline Policies ICML 2021
CRPO: A New Approach for Safe Reinforcement Learning with Convergence Guarantee ICML 2021
Towards More Practical and Efficient Automatic Dominance Breaking AAAI 2021
Robot Reinforcement Learning on the Constraint Manifold CORL 2021
Approximate Heavily-Constrained Learning with Lagrange Multiplier Models NIPS 2020
Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual Methods AAAI 2020
Querying to Find a Safe Policy under Uncertain Safety Constraints in Markov Decision Processes AAAI 2020
Counterexample-Guided Learning of Monotonic Neural Networks NIPS 2020
ALGAMES: A Fast Solver for Constrained Dynamic Games RSS 2020
A Cardinal Improvement to Pseudo-Boolean Solving AAAI 2020
Responsive Safety in Reinforcement Learning by PID Lagrangian Methods ICML 2020
Safe non-smooth black-box optimization with application to policy search L4DC 2020
CoSaTa: A Constraint Satisfaction Solver and Interpreted Language for Semi-Structured Tables of Sentences EMNLP 2020
Constraint Management for Batch Processes Using Iterative Learning Control and Reference Governors L4DC 2020
CAMPs: Learning Context-Specific Abstractions for Efficient Planning in Factored MDPs CORL 2020
Chain Length and CSPs Learnable with Few Queries AAAI 2020
Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining AAAI 2020
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020