TongGeometry is a research project focused on automated geometry problem solving using machine learning. It provides a framework for constructing geometric diagrams, inferring facts, and solving ...