Russell Bent
Scholar

Russell Bent

Google Scholar ID: DPvklMcAAAAJ
Scientist, Los Alamos National Laboratory
Operations ResearchArtificial IntelligencePower SystemsModeling and Simulation
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,398
 
H-index
33
 
i10-index
71
 
Publications
20
 
Co-authors
53
list available
Contact
No contact links provided.
Publications
7 items
E-Globe: Scalable $\epsilon$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching
2026
Cited
0
Constraint-Informed Active Learning for End-to-End ACOPF Optimization Proxies
2025
Cited
0
A General and Streamlined Differentiable Optimization Framework
2025
Cited
0
Nonlinear Optimization with GPU-Accelerated Neural Network Constraints
2025
Cited
0
MathOptAI.jl: Embed trained machine learning predictors into JuMP models
2025
Cited
0
URSA: The Universal Research and Scientific Agent
2025
Cited
0
LEVIS: Large Exact Verifiable Input Spaces for Neural Networks
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
53 total
Pascal Van Hentenryck
Pascal Van Hentenryck
Georgia Institute of Technology
Harsha Nagarajan
Harsha Nagarajan
Scientist, Theoretical Division (Applied Mathematics), Los Alamos National Laboratory
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Sidhant Misra
Sidhant Misra
Scientist, Applied Mathematics Los Alamos National Laboratory
Co-author 8
Co-author 8