Topic

Formal Mathematics

1 items across the graph — tagged with Formal Mathematics.

From the graph · 1

repo
lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

→

Related topics

llm-inference 1llm 1theorem-proving 1lean 1machine-learning 1lean4 1formal-mathematics 1
Search Formal Mathematics →All topics →