linear programming

Scalable Computation of Causal Bounds ICML 2022 Semi-infinitely Constrained Markov Decision Processes NeurIPS 2022 Signaling in Posted Price Auctions AAAI 2022 Solving L1-regularized SVMs and Related Linear Programs: Revisiting the Effectiveness of Column and Constraint Generation JMLR 2022 Team Correlated Equilibria in Zero-Sum Extensive-Form Games via Tree Decompositions AAAI 2022 A Fast Globally Linearly Convergent Algorithm for the Computation of Wasserstein Barycenters JMLR 2021 An LP-Based Approach for Goal Recognition as Planning AAAI 2021 A Quasiconvex Formulation for Radial Cameras CVPR 2021 A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints AAAI 2021 A Surrogate Objective Framework for Prediction+Programming with Soft Constraints NeurIPS 2021 Automated Dynamic Mechanism Design NeurIPS 2021 Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification NeurIPS 2021 Better Algorithms for Individually Fair k-Clustering NeurIPS 2021 Beyond Perturbation Stability: LP Recovery Guarantees for MAP Inference on Noisy Stable Instances AISTATS 2021 DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis IJCAI 2021 Differentiable Optimization of Generalized Nondecomposable Functions using Linear Programs NeurIPS 2021 Equitable and Optimal Transport with Multiple Agents AISTATS 2021 Fast Algorithms for L_∞-constrained S-rectangular Robust MDPs NeurIPS 2021 Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers ICLR 2021 Individual Fairness in Kidney Exchange Programs AAAI 2021 Joint Incentive Optimization of Customer and Merchant in Mobile Payment Marketing AAAI 2021 Near Optimal Distributed Learning of Halfspaces with Two Parties COLT 2021 Oblivious Sketching-based Central Path Method for Linear Programming ICML 2021 Physarum Powered Differentiable Linear Programming Layers and Applications AAAI 2021 Practical Large-Scale Linear Programming using Primal-Dual Hybrid Gradient NeurIPS 2021