[2404.12534] Towards Large Language Models as Copilots for Theorem Proving in Lean - discu.eu

Linking pages

Mathematicians’ Newest Assistants Are Artificially Intelligent | Scientific American https://www.scientificamerican.com/article/mathematicians-newest-assistants-are-artificially-intelligent/ 0 comments

Related searches:

Search whole site: site:arxiv.org

Search title: [2404.12534] Towards Large Language Models as Copilots for Theorem Proving in Lean

See how to search.

Submit link to: