PhyX-AF - Synthetic Solid Geometry (Image): leaderboard
Metric: Human-verified autoformalization accuracy (%; 10 synthetic solid-geometry problems built with an AlphaGeometry-style deduction engine with the diagram as image input, Lean 4 output judged valid by two expert annotators). Source: arxiv.org. Saturation forecast: Around December 2026. 5 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Gemini 3 Pro | 50 |
| 2 | Gemini 2.5 Pro | 10 |
| 3 | GPT-5 | 10 |
| 4 | Qwen 3 VL 235B A22B Instruct | 0 |
| 5 | Qwen 2.5 VL 72B Instruct | 0 |
Interactive version: theaggregate.ai/benchmark?slug=phyx-af-synthetic-solid-geometry-image · How It Works · Data refreshed daily, snapshot 2026-09-25.