| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Raw Proof State | Lean Finder | Recall@18.3 | 5 | 4d ago | |
| Augmented Proof State | Lean Finder | R@10.246 | 5 | 4d ago | |
| Lean Augmented Statement | Lean Finder | R@182.7 | 4 | 4d ago | |
| Lean Synthetic User Query (Sec. 3.1) | Lean Finder | Recall@154.4 | 4 | 4d ago | |
| Lean Informalized Statement | Lean Finder | R@164.2 | 4 | 4d ago | |
| Lean Augmented Statement cleaned (test) | Lean Finder | R@186.8 | 2 | 4d ago | |
| Lean Synthetic User Query cleaned (test) | Lean Finder | Recall@157.3 | 2 | 4d ago | |
| Lean Informalized Statement cleaned (test) | Lean Finder | R@165.7 | 2 | 4d ago |
