Cite
Notes
Only stored in your browser.
Attribution
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
arXiv 2026
Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
arXiv 2025
from 2 papers
Carlo Lipizzi
John Harrison
Juneyoung Lee
Soonho Kong
William Eiers