{"as_of":"2026-08-08T01:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:22e028fc8aedb37c20fa433fc9c553bdb5cec423f9ee0ef27c023474b4033db3","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T05:11:56.473039Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T19:39:36.819142Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-10T22:40:49.897963Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"cited_work":{"arxiv_id":"2508.02208","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.02208","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proof2hybrid: Automatic mathematical benchmark synthesis for proof-centric problems","venue":null,"work_id":"6f09dd87-1cc2-46fa-aafd-80710ec44a9d","year":2025},"citing_paper":{"arxiv_id":"2604.04386","last_updated":"2026-04-06T03:27:48Z","snapshot_observed_at":"2026-07-06T22:53:24.585766Z","submitted_at":"2026-04-06T03:27:48Z","title":"Automatically Generating Hard Math Problems from Hypothesis-Driven Error Analysis","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-05-10T19:39:36.819142Z"},"links":{"cited_paper":"/paper/2508.02208","citing_paper":"/paper/2604.04386"},"observation_digest":"sha256:fc75ff8b3a26615a079dc3b2617ca848f452159ce7ff51f1210f7e2edbda7863","observation_id":"4ebc7161-ec24-4735-aed8-a63c1e6fdad7","resolution":{"observed_at":"2026-05-10T22:40:49.900374Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2508.02208/citation-record","integrity":"/paper/2508.02208/integrity","json":"/paper/2508.02208/citation-record.json","paper":"/paper/2508.02208"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.12349","last_updated":"2025-05-18T10:29:24Z","snapshot_observed_at":"2026-08-07T19:17:51.551562Z","submitted_at":"2025-05-18T10:29:24Z","title":"Wisdom from Diversity: Bias Mitigation Through Hybrid Human-LLM Crowds","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.12349","snapshot_observed_at":"2026-08-06T05:11:52.002778Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:52.002778Z"},"links":{"cited_paper":"/paper/2505.12349","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:dffe43c49f66e36d5b6fb2a679cf411eac33d6148819d65e25efdcfb7620fcb8","observation_id":"d1f9cfa2-245b-476e-80f2-ee5da25e5a9f","resolution":{"observed_at":"2026-08-06T05:11:52.002778Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:12:00.858154Z","title":null,"venue":null,"work_id":"8b548a6a-9741-4a5c-90b0-667ae392b7e5","year":2024},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:52.132610Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:396835aad0d7eaf9774127f7327d7f47831e0d691f4e8ffe88d82b9e13960436","observation_id":"ae9cd331-4034-4923-b222-25e4d812a9f0","resolution":{"observed_at":"2026-08-06T05:12:01.031061Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:12:00.676339Z","title":null,"venue":null,"work_id":"7a4723f6-01a8-4d66-9c42-2ec4afcd2da3","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:52.259146Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:0244387e8762bfdc93fe10211eb6f4c2b1953463ef1634f063ce2e39bc643c72","observation_id":"5f925327-1932-4309-8457-3f29b0643b4a","resolution":{"observed_at":"2026-08-06T05:12:00.738817Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:12:00.534442Z","title":null,"venue":null,"work_id":"c24ce2cb-8fd1-4164-b280-c4d225b1303f","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:52.417872Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:646da9f2498ebdd78c293e8cff66ca02a62d7c3cea84746c2c604f6843ad6cf5","observation_id":"0d41ab4b-e4a4-4129-9de8-344b7b0a39d5","resolution":{"observed_at":"2026-08-06T05:12:00.576137Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:12:00.411196Z","title":null,"venue":null,"work_id":"f04bec86-d129-4c42-bde6-90e1e8d673ea","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:52.533291Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:696f17a2fc947f299ba91dd06088aa81383f5d6b16dae5071aa6e25e6cc7b158","observation_id":"d0eeb682-cbba-420f-848b-f4330deef699","resolution":{"observed_at":"2026-08-06T05:12:00.466233Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:12:00.228885Z","title":null,"venue":null,"work_id":"7b221336-c875-47ac-9684-e4c598a3cc91","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:52.711187Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:dc7d3c8e32da3c6e73624d6c8fba19489ab3adf14d90e3bf037b6025a3fcf592","observation_id":"7fb78ccb-440b-4aac-bada-55859f2e9b65","resolution":{"observed_at":"2026-08-06T05:12:00.300062Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:12:00.073727Z","title":null,"venue":null,"work_id":"82bb878b-cbd6-4d31-ab2b-6edb35051680","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:52.822985Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:62c61469cc9d67422c7a263fdff1e613d46055215535b27681046adcec15f47a","observation_id":"e25e95fa-7645-4ee8-9554-0a1502d0f143","resolution":{"observed_at":"2026-08-06T05:12:00.148883Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:59.933517Z","title":null,"venue":null,"work_id":"53290370-7b33-4e84-a6b6-ab69d944a309","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:52.925070Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:c56ec3378a554a6dafe38524167c0f14def94d0a74f8af6296d5f294c1f4571a","observation_id":"b39adca2-a430-4dd7-b15b-4ef7a10173bf","resolution":{"observed_at":"2026-08-06T05:12:00.016809Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-07T01:45:38.840969Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-08-06T05:11:53.010437Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:53.010437Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:31b72be43cbafbc5b5c0a98cb87373bbda8295f6994a9891037f4f123bae1e6c","observation_id":"01130ebd-09fe-4eaf-a74d-b97e2421ee8c","resolution":{"observed_at":"2026-08-06T05:11:53.010437Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:59.714560Z","title":null,"venue":null,"work_id":"2ac6ab0e-71c9-4ef3-b72a-fe4cb4ca209e","year":2021},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:53.082148Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:2d1e134cb4ff0d36028d573fa9ef2c02eeac879eebac6323cfd3c008567e6fed","observation_id":"7407c62c-87aa-4ad5-ac2e-dd2631591c12","resolution":{"observed_at":"2026-08-06T05:11:59.850475Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:59.574203Z","title":null,"venue":null,"work_id":"3ac76114-71d2-44f2-a4c4-7546954c8138","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:53.261912Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:53d85603b7f6867262ed6cc4c9f4b29973da7cf579330017790aca01ae6fadcf","observation_id":"cddae632-1cb5-48d8-a3d3-4a308a0111a3","resolution":{"observed_at":"2026-08-06T05:11:59.677871Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:59.488776Z","title":null,"venue":null,"work_id":"b9771e4b-f4b3-468e-a5a4-f6892f1bccdf","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:53.406785Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:b5d1805f3a0b6a9dbde2a096905031dc92cf3b36272f05bd9fb80355f15861de","observation_id":"e56b3a36-8484-458e-95b6-b5b4f75ec113","resolution":{"observed_at":"2026-08-06T05:11:59.525932Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-27T04:03:16Z","title":"DeepSeek-V3 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19437","snapshot_observed_at":"2026-08-06T05:11:53.561381Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:53.561381Z"},"links":{"cited_paper":"/paper/2412.19437","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:8ee13dec85d0051a715a5788bb080a9c5469fd6b2cbff8c57f03fa8c382395a3","observation_id":"f03579aa-6646-4696-9eec-abffbb94e0c3","resolution":{"observed_at":"2026-08-06T05:11:53.561381Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.07985","last_updated":"2024-12-24T04:04:30Z","snapshot_observed_at":"2026-08-05T09:35:42.754650Z","submitted_at":"2024-10-10T14:39:33Z","title":"Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.07985","snapshot_observed_at":"2026-08-06T05:11:53.696502Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:53.696502Z"},"links":{"cited_paper":"/paper/2410.07985","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:b86bb9feffb97e69b55de042cc62dc4cbc72146f988e41008c935f6e210143c7","observation_id":"400cd132-617b-436b-a6b7-43a1cc4c6d71","resolution":{"observed_at":"2026-08-06T05:11:53.696502Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.04872","last_updated":"2025-12-23T02:23:47Z","snapshot_observed_at":"2026-08-04T15:54:46.196160Z","submitted_at":"2024-11-07T17:07:35Z","title":"FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.04872","snapshot_observed_at":"2026-08-06T05:11:53.824313Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:53.824313Z"},"links":{"cited_paper":"/paper/2411.04872","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:8e8c1464ccf4d4385c45072f7a555bee3918b32987eee844820abcfa245d572d","observation_id":"f3960809-b0e2-4714-8998-6068c3e924f0","resolution":{"observed_at":"2026-08-06T05:11:53.824313Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:59.318870Z","title":null,"venue":null,"work_id":"5f8b8bbc-9b7a-4d85-9876-48df4b29ac76","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:53.931165Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:545cb069fd0c724e0eb701fb0b1d39741e40b06fe72ed7cef7b18838410d0a27","observation_id":"675a5fee-33ae-4ece-926d-cf77532b8a39","resolution":{"observed_at":"2026-08-06T05:11:59.418753Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-06T05:11:54.072321Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:54.072321Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:eaaef22d58d2345161cbb521600eeeab65def991e09292d4adb2a1e858de642d","observation_id":"3238f3d3-0c7f-4404-917b-b66dfe90361a","resolution":{"observed_at":"2026-08-06T05:11:54.072321Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.03874","last_updated":"2021-11-08T21:30:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-03-05T18:59:39Z","title":"Measuring Mathematical Problem Solving With the MATH Dataset","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.03874","snapshot_observed_at":"2026-08-06T05:11:54.188130Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:54.188130Z"},"links":{"cited_paper":"/paper/2103.03874","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:e0a1eee8cd0cd5c3c98c65b586b1eaa5f4858e74c483c14b98dbfef3281fb3b8","observation_id":"6ec24fdb-de02-4afe-be20-64efb3670943","resolution":{"observed_at":"2026-08-06T05:11:54.188130Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:54.271865Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:54.271865Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:d3ca698423a2c9d7b9f1312081684a6a5145dce619e1796821d3f337b2694a68","observation_id":"4b259984-130b-48c2-812b-586790cc6a7f","resolution":{"observed_at":"2026-08-06T05:11:54.271865Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:59.126009Z","title":null,"venue":null,"work_id":"2abacd89-670f-4fae-b5c1-c27200ab58a2","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:54.380560Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:48ade1302300a9364c33b253e9c1528507b3b844bf9a321cd5ec9c8f8f4b7643","observation_id":"c860905a-de5a-43d7-b112-064e9413a07b","resolution":{"observed_at":"2026-08-06T05:11:59.210588Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:58.971562Z","title":null,"venue":null,"work_id":"473ed834-4163-40f0-b526-ee4974169748","year":2024},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:54.496128Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:af47f2a997b1fc5a84d4f50fca3bff586f13d03a7b20ec02ae77fdbffb725b49","observation_id":"9387dac1-70a3-4951-94a9-e958023b04c9","resolution":{"observed_at":"2026-08-06T05:11:59.047562Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2001.02657","last_updated":"2020-01-08T17:56:25Z","snapshot_observed_at":"2026-07-06T08:49:19.021453Z","submitted_at":"2020-01-08T17:56:25Z","title":"Motivated proofs: What they are, why they matter and how to write them","version":1},"cited_work":{"arxiv_id":"2001.02657","doi":null,"metadata_source":"pith","pith_arxiv_id":"2001.02657","snapshot_observed_at":"2026-08-06T05:11:56.699007Z","title":"Motivated proofs: What they are, why they matter and how to write them","venue":"math.HO","work_id":"c38c6dac-ed81-4ee3-9838-d81457258d95","year":2020},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:54.659703Z"},"links":{"cited_paper":"/paper/2001.02657","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:e17381402d100abcdbe508b4bb4ad6766e0e7bfd969a0c4c28b85656f1ed2892","observation_id":"7a8059ce-d774-40dc-ab8b-888ce548a82d","resolution":{"observed_at":"2026-08-06T05:11:56.754628Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:58.765712Z","title":"C.; and Wenzel, M","venue":null,"work_id":"e289abb7-936f-482c-be6b-60d61d43ea75","year":2002},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:54.784503Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:751935c4dba7f0e88a38c60d46a968665fd8774640d33e77481946a3e2b1fe34","observation_id":"e270a9ec-00d5-4b11-a142-8a63f1dc9b58","resolution":{"observed_at":"2026-08-06T05:11:58.873410Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:58.589481Z","title":null,"venue":null,"work_id":"796757d0-2b99-49f0-b4da-f71132d1b6fc","year":2024},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:54.908759Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:af83d525af263c58d5b1d13d4b9da6cf1df3a7a2ed736f9754194d0a2b6ce320","observation_id":"45ff2517-db26-4227-9452-126696899883","resolution":{"observed_at":"2026-08-06T05:11:58.670099Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:58.406297Z","title":null,"venue":null,"work_id":"a8ed1ff9-3055-4239-9c44-d1ed9955a51f","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.032205Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:24618e395d230e587cd345317a50177a8ae0b252a464858784a061f5a72b8a28","observation_id":"bfcee8ab-83fc-49b8-bf8d-453e7094ca91","resolution":{"observed_at":"2026-08-06T05:11:58.504756Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:58.195333Z","title":null,"venue":null,"work_id":"8999b65f-6231-4643-9273-9b840fe7a1f2","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.134955Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:92b888c06147fdab6943f149ad24c7ae8fbeac6a105ad2acf697b89b01c434d9","observation_id":"470492fc-34e8-4ac3-986d-d1d614f4ad92","resolution":{"observed_at":"2026-08-06T05:11:58.328032Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:57.989094Z","title":null,"venue":null,"work_id":"7eb9b6d0-a975-46d1-9ad1-eef974c4c6f2","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.197613Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:22d4758dbd45f06b899a12f81c53904c8502ae4755b1c39253d45d3d462d342a","observation_id":"3064074d-0e58-4978-9b98-4f73f022a09b","resolution":{"observed_at":"2026-08-06T05:11:58.074985Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:57.881563Z","title":null,"venue":null,"work_id":"c2783a7f-3056-4c2b-9633-233eac258e4c","year":2012},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.260973Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:89efe0d10dcf61ea738920f0ac6473e22ca047f2b922888569200c8ac80a445e","observation_id":"f0c1e274-ace6-4bd0-af79-7cadeea016e6","resolution":{"observed_at":"2026-08-06T05:11:57.940059Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.14249","last_updated":"2026-02-20T04:23:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-24T05:27:46Z","title":"Humanity's Last Exam","version":10},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.14249","snapshot_observed_at":"2026-08-06T05:11:55.370291Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.370291Z"},"links":{"cited_paper":"/paper/2501.14249","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:c571dd37c4148bf2151ce7f775e809770a1b717e7f6afc47b058fcd14e2d55ba","observation_id":"22231d23-9ef5-4553-8feb-81ef1762500d","resolution":{"observed_at":"2026-08-06T05:11:55.370291Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:57.735180Z","title":null,"venue":null,"work_id":"d5ce3e16-402f-46fc-850d-de48595586d4","year":2024},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.469627Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:2e1218f3b05de4dec51bbe81f22b25b889ec4d3a296b19b508aa5441cf6894da","observation_id":"ce8d7afb-4015-4762-a682-2a3d5502348d","resolution":{"observed_at":"2026-08-06T05:11:57.791746Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:57.495716Z","title":"thinking","venue":null,"work_id":"91796032-4e45-454c-8b7b-45510c93c8fc","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.545473Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:d9220f8a92a2644cae4552ec5f9f81998de2282e77c64c6349ca3d706c3caaa5","observation_id":"b3242da2-fc7f-4f48-8cd3-6c1f9a130ceb","resolution":{"observed_at":"2026-08-06T05:11:57.623786Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:57.291364Z","title":null,"venue":null,"work_id":"65b9a8e4-1201-47e3-afcb-077acadda28e","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.597748Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:0962233334937d1e22ff651c7f3eea9c2f6dacfb965a272e395fc2a97fd53f20","observation_id":"e9eb46d5-c0df-4785-9710-34617692ed5a","resolution":{"observed_at":"2026-08-06T05:11:57.396071Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.21380","last_updated":"2026-04-12T10:37:12Z","snapshot_observed_at":"2026-08-02T16:04:50.458535Z","submitted_at":"2025-03-27T11:20:17Z","title":"Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.21380","snapshot_observed_at":"2026-08-06T05:11:55.673670Z","title":"X.; Liu, Z.; Wang, Z.; Fang, L.; and Wen, J.-R","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.673670Z"},"links":{"cited_paper":"/paper/2503.21380","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:f506319a5b6e9ce563926e808e204fc0fa768886ebaf8197e35ec5bfb337d1b0","observation_id":"c64fbb9c-3754-4d1f-9eb9-380a074d4e18","resolution":{"observed_at":"2026-08-06T05:11:55.673670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-05T18:50:54.811289Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-06T05:11:55.754176Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.754176Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:8c19ac46c75eb7624b45608a313c6ebd65c79b090a2870eb8bd8b976573e8bfe","observation_id":"166919a2-b4f3-477e-bdff-ceb64a4f7182","resolution":{"observed_at":"2026-08-06T05:11:55.754176Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.03461","last_updated":"2025-02-05T18:58:19Z","snapshot_observed_at":"2026-08-05T09:14:32.339428Z","submitted_at":"2025-02-05T18:58:19Z","title":"Do Large Language Model Benchmarks Test Reliability?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.03461","snapshot_observed_at":"2026-08-06T05:11:55.853126Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.853126Z"},"links":{"cited_paper":"/paper/2502.03461","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:58d522a0a3f884a452facb885d7badc8972ddf4edb6c257f7aa953dabba18729","observation_id":"f6fa3ca2-49ee-4a85-9eb3-6a48992e787d","resolution":{"observed_at":"2026-08-06T05:11:55.853126Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.08446","last_updated":"2025-06-10T04:44:28Z","snapshot_observed_at":"2026-08-07T09:15:20.058485Z","submitted_at":"2025-06-10T04:44:28Z","title":"A Survey on Large Language Models for Mathematical Reasoning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.08446","snapshot_observed_at":"2026-08-06T05:11:55.947139Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:55.947139Z"},"links":{"cited_paper":"/paper/2506.08446","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:b9ea25f774cd844132fa0a333bb1f7c139c13af0d97a8cea83427170fd610036","observation_id":"a467bf4f-b6ee-4efa-906b-c9030f76d49d","resolution":{"observed_at":"2026-08-06T05:11:55.947139Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.01574","last_updated":"2024-11-06T02:54:00Z","snapshot_observed_at":"2026-08-06T00:29:17.674418Z","submitted_at":"2024-06-03T17:53:00Z","title":"MMLU-Pro: A More Robust and Challenging Multi-Task Language Understanding Benchmark","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.01574","snapshot_observed_at":"2026-08-06T05:11:56.015039Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:56.015039Z"},"links":{"cited_paper":"/paper/2406.01574","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:e88cc1ececd8aa9e8a290e6c42602a95de46f7c20f6d248691febe156502f3b9","observation_id":"617e65e0-d88e-43a3-b3e7-c7ef7f86d107","resolution":{"observed_at":"2026-08-06T05:11:56.015039Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:57.129849Z","title":null,"venue":null,"work_id":"76bb1826-650e-48f3-9c8d-fe78afe035a1","year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:56.083501Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:f561cf2208eb841c39408686cc9130f843e76620b5ea61b632de260ed1d61865","observation_id":"3318b0b8-97b9-4f15-acc5-a487da7dce53","resolution":{"observed_at":"2026-08-06T05:11:57.195738Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-08-06T05:11:56.148758Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:56.148758Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:7634220f73c45d6265ed38b1ef2836dd268689f474ee4e3cbd4c523bd2353535","observation_id":"85c5b300-9f41-4b04-b28c-9ca88caa920b","resolution":{"observed_at":"2026-08-06T05:11:56.148758Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.15115","last_updated":"2025-01-03T02:18:21Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-19T17:56:09Z","title":"Qwen2.5 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.15115","snapshot_observed_at":"2026-08-06T05:11:56.226567Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:56.226567Z"},"links":{"cited_paper":"/paper/2412.15115","citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:3ae627a06e0285f4322802de9d5a7328ce953fae1be32e1bddd3cadc7c4a301a","observation_id":"fd523751-85b9-4382-9a86-20bfee99585b","resolution":{"observed_at":"2026-08-06T05:11:56.226567Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:56.935812Z","title":"M.; and Polu, S","venue":null,"work_id":"54761370-3046-49de-a12e-210c5403c778","year":2022},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:56.288615Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:e51e37c6dca16af2f4635df4eb411fe94dcdfea135b443e0485b0306e12a023e","observation_id":"9135f909-b745-48c1-b0a6-76ace8d24e16","resolution":{"observed_at":"2026-08-06T05:11:57.049547Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:56.364823Z","title":", \" * write output.state after.block = add.period write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:56.364823Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:1e29094c0fd0fb52e5051d3167258215ab38e5d59d6c930f56741e289780c487","observation_id":"d32acfbb-04f7-4d04-95bc-30f67126dd0d","resolution":{"observed_at":"2026-08-06T05:11:56.364823Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:11:56.473039Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-06T05:11:56.473039Z"},"links":{"citing_paper":"/paper/2508.02208"},"observation_digest":"sha256:f6543707551e0343e3342a35e17fd4b9dd1026d82ad073d2b705f7d51c1cc313","observation_id":"695eec73-458d-407f-a556-2015f7fddcaf","resolution":{"observed_at":"2026-08-06T05:11:56.473039Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2508.02208","last_updated":"2025-08-05T14:01:00Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-07T19:28:14.861679Z","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":39,"verified_exact":1,"verified_fuzzy":3},"total_outbound_references":43},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 1 inbound Pith citation observation for arXiv:2508.02208."}