Comment by Davidzheng

2 days ago

Never mind what Aristotle is, verifier llm models are definitely strong enough to verify proofs of elementary methods used here.

0 comments