TheoremGraph: Bridging Formal and Informal Mathematics
A unified mathematical dependency graph connects informal and formal mathematics through semantic embedding and automated extraction from arXiv papers and Lean projects.
Hugging Face · Daily Papers
·Simon Kurgan, Evan Wang
·
·▲ 5 upvotes
Este artigo está em destaque na seleção diária de papers do Hugging Face, curada pela comunidade de pesquisa em IA.
Autores: Simon Kurgan, Evan Wang, Eric Leonen, Sophie Szeto, Luke Alexander, Artemii Remizov
- 5 upvotes da comunidade
- Temas: TheoremGraph, LeanGraph, formal libraries, informal papers, statement-level dependency graph, natural-language slogans
Resumo
Resumo original (em inglês), extraído do paper:
A unified mathematical dependency graph connects informal and formal mathematics through semantic embedding and automated extraction from arXiv papers and Lean projects.Onde ler
// relacionados
Leia também
Blog
Linq’s iMessage Apps Bring Payments, Tickets, Flights, and Games Into the iMessage Bubble Through the imessage_app Part
Blog
The DeepMind trio who built a poker AI are now making money for quant hedge funds
Dataset
hotdogs/uka-fable-reasoning
Blog