repoGitHubTrust 82 · PrimaryPublished 1mo agoLive · 1mo ago
kyegomez/Lets-Verify-Step-by-Step
"Improving Mathematical Reasoning with Process Supervision" by OPENAI
Lineage graph
Paper → model → repo connections mined from source citations (Tier-1 exact match).
Why these links exist
Every edge carries a method, confidence, and the source snippet that justified it — so bad links are debuggable.
- PossiblePossibly related (embedding) · 54%Theoria: Rewrite-Acceptability Verification over Informal Reasoning States →
- PossiblePossibly related (embedding) · 53%TUDUM: A Turkish-Thinking Reasoning Pipeline for Qwen3.5-27B →
- PossiblePossibly related (embedding) · 52%OpenRCA 2.0: From Outcome Labels to Causal Process Supervision →
- PossiblePossibly related (embedding) · 51%Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing →
- PossiblePossibly related (embedding) · 50%Lattice Labs →
- PossiblePossibly related (embedding) · 57%AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification →
- PossiblePossibly related (embedding) · 51%AI Used to Verify Toughest Mathematics Proof Yet →
- PossiblePossibly related (embedding) · 46%Detecting Answer-Driven Reasoning in LLM-Based Educational Tutors via Truncated Chain-of-Thought Auditing →
Implements
paperTheoria: Rewrite-Acceptability Verification over Informal Reasoning StatespaperTUDUM: A Turkish-Thinking Reasoning Pipeline for Qwen3.5-27BpaperOpenRCA 2.0: From Outcome Labels to Causal Process SupervisionpaperVerifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing
Related to
Implements (incoming)
paperAdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and VerificationpaperDetecting Answer-Driven Reasoning in LLM-Based Educational Tutors via Truncated Chain-of-Thought AuditingpaperHarnessing Code Agents for Automatic Software VerificationpaperDanus: Orchestrating Mathematical Reasoning Agents with Fact-Graph MemorypaperEvidence-Grounded Verified Agentic Reasoning: A Path Toward Eliminating LLM Hallucination in Empirical Inference via Tool-Attested Kernel Proofs
Covers (incoming)
Related across the graph
newsAI Used to Verify Toughest Mathematics Proof YetpaperVerifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem ProposingpaperDanus: Orchestrating Mathematical Reasoning Agents with Fact-Graph MemorypaperOpenRCA 2.0: From Outcome Labels to Causal Process SupervisionpaperDetecting Answer-Driven Reasoning in LLM-Based Educational Tutors via Truncated Chain-of-Thought AuditingpaperHarnessing Code Agents for Automatic Software VerificationpaperEvidence-Grounded Verified Agentic Reasoning: A Path Toward Eliminating LLM Hallucination in Empirical Inference via Tool-Attested Kernel ProofscompanyLattice LabspaperAdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and VerificationpaperTheoria: Rewrite-Acceptability Verification over Informal Reasoning StatespaperTUDUM: A Turkish-Thinking Reasoning Pipeline for Qwen3.5-27BnewsToward Principled Knowledge Editing for Large Language Model Reasoning - Bioengineer.org