Benchmarking energy calculations using formal proofs - Ugwuanyi, Ejike D.; Jones, Colin T.; Velkey, John; Josephson, Tyler R. (Molecular physics, 2025)