Kaiyu Yang utilizes machine learning and large language models to prove theorems within formal environments such as Coq and Lean.

Authors

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

Sources

• Understanding LLM Understanding skywritingspress.ca Skywritings Press via serper

Referenced by nodes (2)

• Large Language Models concept
• machine learning concept