H. Ding

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

y.-wang
•
阅读更多

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

y.-wang
•
阅读更多