Comment by Davidzheng

1 month ago

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

0 comments