H. Ding

Reasoning step by step via a neural-symbolic geometry problem solver

y.-wang

• 2026-01-01 • 1 min read

GeoTree: A Dynamic Tree-based Geometry Problem Solver through LLM-Symbolic Reasoning

y.-wang

• 2025-01-01 • 1 min read