conftrace_

lagrangian relaxation

18 papers

Explore in graph

Co-occurring keywords

neural network verification (106) formal verification (284) constrained inference (7) combinatorial optimization (1039) posterior regularization (26) lagrangian method (14) cross-lingual parsing (46) graph optimization (61) dependency parsing (803) structured prediction (396)

Papers

Contextual Bandits with Packing and Covering Constraints: A Modular Lagrangian Approach via Regression JMLR 2024
Learning to Optimize with Stochastic Dominance Constraints AISTATS 2023
Zonotope Domains for Lagrangian Neural Network Verification NIPS 2022
Global Optimal K-Medoids Clustering of One Million Samples NIPS 2022
A Constrained Multi-Objective Reinforcement Learning Framework CORL 2021
Improved CP-Based Lagrangian Relaxation Approach with an Application to the TSP IJCAI 2021
A Unified Framework for Planning with Learned Neural Network Transition Models AAAI 2021
Domain Knowledge Empowered Structured Neural Net for End-to-End Event Temporal Relation Extraction EMNLP 2020
Efficient Optimistic Exploration in Linear-Quadratic Regulators via Lagrangian Relaxation ICML 2020
Target Language-Aware Constrained Inference for Cross-lingual Dependency Parsing EMNLP 2019
Efficient Neural Network Verification with Exactness Characterization UAI 2019
A Dual Approach to Verify and Train Deep Networks IJCAI 2019
MAP Inference via Block-Coordinate Frank-Wolfe Algorithm CVPR 2019
Target Language-Aware Constrained Inference for Cross-lingual Dependency Parsing IJCNLP 2019
Semantic Dependency Parsing via Book Embedding ACL 2017
Efficient Discontinuous Phrase-Structure Parsing via the Generalized Maximum Spanning Arborescence EMNLP 2017
Multi-target Tracking by Lagrangian Relaxation to Min-cost Network Flow CVPR 2013
Optimal Web-Scale Tiering as a Flow Problem NIPS 2010