Skip to content
AI Atlas
Graph explorer Paper

Around Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification

Every recorded relation of Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification, coloured by entity type. Click a node to open it.

Depth 1Depth 2

4 nodes · 3 edges

Laying out 4 nodes…

Direct relations, as a list

Authors 3
ResearcherJoshua Ong Jun LeangResearcherHaonan LiResearcherZheng Zhao
Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification — relationship graph | AI Atlas