Structured graph QA
Choose the evidence kind before interpreting an arrow. These public-dev structural questions link to mathematical source cores but are not equivalent mathematics tasks or independent held-out samples.
Source imports
Arrows record imported modules, not proof-term use.
Compiled proof bodies
Arrows record selected theorem constants in compiled proof bodies, not necessity or a full closure.
- A genuinely shared proof ingredient · L1 · mathematical source context
- Which selected proof branch reaches normalization? · L2 · mathematical source context
- Which convex-analysis branches reach the curve limit? · L2 · mathematical source context
- Combine a proof path with an exact statement profile · L2 · mathematical source context
Prompt-only graph JSONL · Structural references
Prefer the current admitted subset: Reviewed graph prompts · Reviewed graph references · Current review evidence.