Formally Verified Code Benchmark #1 Post by yuppiemephisto » Sat, Oct 04, 2025, 7:49 PM UTC Formally Verified Code Benchmarkarxiv.org