David Troxell

According to our database, David Troxell authored at least 4 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Stress-Testing Neural Network Verifiers with Provably Robust Instances.

David Troxell, Yulia Alexandr, Sofia Hunt, Stephanie Lei, Guido Montúfar

CoRR, May, 2026

Differentiable Optimization Layers for Guaranteed Fairness in Deep Learning.

David Troxell, Noah Roemer, Guido Montúfar

CoRR, May, 2026

2025

Tractable Continuous Approximations for Constraint Selection via Cardinality Minimization.

Miju Ahn, Harsha Gangammanavar, David Troxell

INFORMS J. Optim., 2025

2021

A Cardinality Minimization Approach to Security-Constrained Economic Dispatch.

David Troxell, Miju Ahn, Harsha Gangammanavar

CoRR, 2021