Paper Citation Record · LEDGER

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems

As of 7 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 1 inbound Pith citation observation for arXiv:2508.02208.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2508.02208 v2

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T05:11:56.473039Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-10T19:39:36.819142Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-10T22:40:49.897963Z

Reference resolution

43 of 43 outbound references displayed

verified exact1
verified fuzzy3
unresolved39
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d1f9cfa2-245b-476e-80f2-ee5da25e5a9f · outbound

This paper cites Wisdom from Diversity: Bias Mitigation Through Hybrid Human-LLM Crowds.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Wisdom from Diversity: Bias Mitigation Through Hybrid Human-LLM Crowds

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:52.002778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae9cd331-4034-4923-b222-25e4d812a9f0 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:12:01.031061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5f925327-1932-4309-8457-3f29b0643b4a · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:12:00.738817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0d41ab4b-e4a4-4129-9de8-344b7b0a39d5 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:12:00.576137Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d0eeb682-cbba-420f-848b-f4330deef699 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:12:00.466233Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7fb78ccb-440b-4aac-bada-55859f2e9b65 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:12:00.300062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e25e95fa-7645-4ee8-9554-0a1502d0f143 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:12:00.148883Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b39adca2-a430-4dd7-b15b-4ef7a10173bf · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:12:00.016809Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 01130ebd-09fe-4eaf-a74d-b97e2421ee8c · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Training Verifiers to Solve Math Word Problems

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:53.010437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7407c62c-87aa-4ad5-ac2e-dd2631591c12 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:59.850475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation cddae632-1cb5-48d8-a3d3-4a308a0111a3 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:59.677871Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e56b3a36-8484-458e-95b6-b5b4f75ec113 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:59.525932Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f03579aa-6646-4696-9eec-abffbb94e0c3 · outbound

This paper cites DeepSeek-V3 Technical Report.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems DeepSeek-V3 Technical Report

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:53.561381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 400cd132-617b-436b-a6b7-43a1cc4c6d71 · outbound

This paper cites Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:53.696502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3960809-b0e2-4714-8998-6068c3e924f0 · outbound

This paper cites FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:53.824313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 675a5fee-33ae-4ece-926d-cf77532b8a39 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:59.418753Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3238f3d3-0c7f-4404-917b-b66dfe90361a · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:54.072321Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ec24fdb-de02-4afe-be20-64efb3670943 · outbound

This paper cites Measuring Mathematical Problem Solving With the MATH Dataset.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Measuring Mathematical Problem Solving With the MATH Dataset

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:54.188130Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b259984-130b-48c2-812b-586790cc6a7f · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:54.271865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c860905a-de5a-43d7-b112-064e9413a07b · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:59.210588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9387dac1-70a3-4951-94a9-e958023b04c9 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:59.047562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7a8059ce-d774-40dc-ab8b-888ce548a82d · outbound

This paper cites Motivated proofs: What they are, why they matter and how to write them.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Motivated proofs: What they are, why they matter and how to write them

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-06T05:11:56.754628Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e270a9ec-00d5-4b11-a142-8a63f1dc9b58 · outbound

This paper cites C.; and Wenzel, M.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems C.; and Wenzel, M

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:11:58.873410Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 45ff2517-db26-4227-9452-126696899883 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:58.670099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bfcee8ab-83fc-49b8-bf8d-453e7094ca91 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:58.504756Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 470492fc-34e8-4ac3-986d-d1d614f4ad92 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:58.328032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3064074d-0e58-4978-9b98-4f73f022a09b · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:58.074985Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f0c1e274-ace6-4bd0-af79-7cadeea016e6 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:57.940059Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 22231d23-9ef5-4553-8feb-81ef1762500d · outbound

This paper cites Humanity's Last Exam.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Humanity's Last Exam

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:55.370291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce8d7afb-4015-4762-a682-2a3d5502348d · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:57.791746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b3242da2-fc7f-4f48-8cd3-6c1f9a130ceb · outbound

This paper cites thinking.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems thinking

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:11:57.623786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e9eb46d5-c0df-4785-9710-34617692ed5a · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:57.396071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c64fbb9c-3754-4d1f-9eb9-380a074d4e18 · outbound

This paper cites Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:55.673670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 166919a2-b4f3-477e-bdff-ceb64a4f7182 · outbound

This paper cites PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:55.754176Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6fa3ca2-49ee-4a85-9eb3-6a48992e787d · outbound

This paper cites Do Large Language Model Benchmarks Test Reliability?.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Do Large Language Model Benchmarks Test Reliability?

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:55.853126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a467bf4f-b6ee-4efa-906b-c9030f76d49d · outbound

This paper cites A Survey on Large Language Models for Mathematical Reasoning.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems A Survey on Large Language Models for Mathematical Reasoning

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:55.947139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 617e65e0-d88e-43a3-b3e7-c7ef7f86d107 · outbound

This paper cites MMLU-Pro: A More Robust and Challenging Multi-Task Language Understanding Benchmark.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems MMLU-Pro: A More Robust and Challenging Multi-Task Language Understanding Benchmark

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:56.015039Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3318b0b8-97b9-4f15-acc5-a487da7dce53 · outbound

This paper cites an unresolved cited work.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:11:57.195738Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 85c5b300-9f41-4b04-b28c-9ca88caa920b · outbound

This paper cites Qwen3 Technical Report.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Qwen3 Technical Report

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:56.148758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd523751-85b9-4382-9a86-20bfee99585b · outbound

This paper cites Qwen2.5 Technical Report.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Qwen2.5 Technical Report

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:56.226567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9135f909-b745-48c1-b0a6-76ace8d24e16 · outbound

This paper cites M.; and Polu, S.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems M.; and Polu, S

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:11:57.049547Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d32acfbb-04f7-4d04-95bc-30f67126dd0d · outbound

This paper cites , " * write output.state after.block = add.period write newline.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems , " * write output.state after.block = add.period write newline

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:56.364823Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 695eec73-458d-407f-a556-2015f7fddcaf · outbound

This paper cites write newline.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems write newline

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:56.473039Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 4ebc7161-ec24-4735-aed8-a63c1e6fdad7 · inbound

Automatically Generating Hard Math Problems from Hypothesis-Driven Error Analysis cites this paper.

Automatically Generating Hard Math Problems from Hypothesis-Driven Error Analysis Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-10T22:40:49.900374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.