Formal-verifier Rationale Evaluation via Span Follows Diagnostic on LeanCheck
100Span Follows Accuracyverifier-coupled reasoning
Evaluation results
| Method | Links | |
|---|---|---|
| verifier-coupled reasoningCondition=Trained2026.06 | 100 | |
| ControlCondition=Control2026.06 | 50 |