FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems

14 February 2024

Papers citing "FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems"

2 / 2 papers shown

Title
PGDP5K: A Diagram Parsing Dataset for Plane Geometry Problems Yihan Hao Mingliang Zhang Fei Yin Linlin Huang AIMat 44 14 0 20 May 2022
Formal Mathematics Statement Curriculum Learning Stanislas Polu Jesse Michael Han Kunhao Zheng Mantas Baksys Igor Babuschkin Ilya Sutskever AIMat 79 115 0 03 Feb 2022