Machine Learning Algorithms & Natural Language Processing
Aug 2, 2026 · Artificial Intelligence
How 5.5K Data Beats Gemini: Beihang’s Concise Symbolic Bridge for Plane Geometry Reasoning
The paper introduces CDL Solver, a two‑stage decoupled framework that translates plane‑geometry diagrams into a concise symbolic language (CDL), reducing training data by 43× and achieving 85.7% accuracy on FormalGeo—surpassing Gemini 2.5 Pro, GPT‑4o and prior specialized models—while also demonstrating strong out‑of‑domain generalisation.
CVPR 2026concise description languagefew-shot training
0 likes · 9 min read