conftrace_

nonlinear constraint

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

two-player game (1) nonlinear programming (1) symbolic abstraction (1) adversarial constraint (1) regret bound (1) machine learning (1) constraint satisfaction (1) abstraction refinement (1) constraint solving (1) online learning (1)

Papers

Online Learning under Adversarial Nonlinear Constraints NeurIPS 2023 Learning-Based Abstractions for Nonlinear Constraint Solving IJCAI 2017