Varto proves complete PutnamBench AI math benchmark in Isabelle

1 points | by simonbohnen an hour ago

No comments yet