3 ms·
Never mind what Aristotle is, verifier llm models are definitely strong enough to verify proofs of elementary methods used here.
by Davidzheng 10mo ago
Never mind what Aristotle is, verifier llm models are definitely strong enough to verify proofs of elementary methods used here.