Varto proves complete PutnamBench AI math benchmark in Isabelle

2 pointsposted 5 hours ago
by simonbohnen
(varto.ai)

No comments yet