TY  - RPRT
TI  - Benchmarking Energy Calculations Using Formal Proofs
AU  - Ejike D. Ugwuanyi
AU  - Colin T. Jones
AU  - John Velkey
AU  - Tyler R. Josephson
PY  - 2025
DO  - 10.1080/00268976.2025.2539421
UR  - https://arxiv.org/abs/2505.09095
ID  - 2505.09095
ER  -