The autoformalization framework for Euclidean geometry combines large language models (LLMs) with SMT solvers and domain knowledge.

Authors

• Person: Not available Organization: Skywritings Press
  Understanding LLM Understanding

Sources

• Understanding LLM Understanding skywritingspress.ca Skywritings Press via serper

Referenced by nodes (1)

• Large Language Models concept