# Automatic Understanding and Formalization of Plane Geometry Proving Problems in Natural Language: A Supervised Approach

> Research article (International Journal of Artificial Intelligence Tools, 2019) · cited 21× · AI/ML

**Wikidata**: [openalex:W2965735863](https://www.wikidata.org/wiki/openalex:W2965735863)  
**Source**: https://4ort.xyz/entity/automatic-understanding-and-formalization-of-plane-geometry-proving-problems-in-natural-language-a-supervised-approach