Krishnamurthy Dvijotham

14

Papers

0

Total Citations

Papers (14)

Rich Human Feedback for Text-to-Image Generation

Private Gradient Descent for Linear Regression: Tighter Error Bounds and Instance-Specific Uncertainty Estimation

Efficient Error Certification for Physics-Informed Neural Networks

Monotone, Bi-Lipschitz, and Polyak-Łojasiewicz Networks

Stealing part of a production language model

Achieving Robustness in the Wild via Adversarial Mixing With Disentangled Representations

Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming

NeurIPS 2020arXiv

An efficient nonconvex reformulation of stagewise convex optimization problems

NeurIPS 2020arXiv

The Autoencoding Variational Autoencoder

NeurIPS 2020arXiv

Overcoming the Convex Barrier for Simplex Inputs

Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications

NeurIPS 2021arXiv

Learning to Receive Help: Intervention-Aware Concept Embedding Models

NeurIPS 2023arXiv

Training Private Models That Know What They Don’t Know

Provably Bounding Neural Network Preimages

NeurIPS 2023arXiv