Axiom Prover has demonstrated strong transfer learning performance on hard code verification benc..., Sonic AI
“Axiom Prover has demonstrated strong transfer learning performance on hard code verification benchmarks, saturating some of them without any modification.”