Tag
ProofGrid is a benchmark suite that evaluates LLM reasoning through machine-checkable proofs using minimal formal notation, with tasks in proof writing, checking, and gap-filling, revealing progress and remaining limits including epistemic instability.