Graph explorer Paper
Benchmark graph around Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification
Benchmarks and the models evaluated on them — two hops. Click a node to inspect it, double-click to expand, drag to pan, wheel to zoom.
1 nodes · 0 edges
No benchmark graph relations recorded for Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification
Relations are written only when a source states them. Try another mode above, or go back to Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification →