Generative language modeling for automated theorem proving
Researchers applied generative language modeling techniques to automated theorem proving, demonstrating LLMs can assist in formal mathematical reasoning.
Read at source: https://openai.com/index/generative-language-modeling-for-automated-theorem-proving