{"as_of":"2026-08-10T12:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7da8dce47dd64af0a2df7454414beea0075f397843ad7d0271342fc9a1b5caed","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-10T06:31:04.303077+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:b5d6d73ab5646047b8ee3dccb5bb3728f1d2f91d7a639460f7bb5280dff51f81","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:549b0c030dfae02b5b5b174058b44c91db117dc8dd84de9008818a2ca606a4f8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:895861c504bc1413d766ca8f372677e8d67ce842f399a5e88e490e2f86a48bc1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:26d26f17c0db9716ae287571a9cdef21422372ab9bd1775f7ffa544f3d50dc9e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:29718d10470966ad07510351d8c98ecb3ea200ffaa5b70e82b3a8f7e5fa44c8d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:8b680c6324c8af852278e5c8895aab1da10e1b84893895c110bb434116d173fe","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:be6edfd84237cb53a0d0ad86718092ae7946cdc62407700adcd80545ad3c62f3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:4435ac61be9c2e88625553d043a5b62f7b436c3eaeb42c9fbe2b229e49d58bb7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b9162196c0faca7af10da86683f8fdc3f42a3aa2d243f83de53ae72b10c18187","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b268d27dfb542b09b690bace9446248071bf089efc2b0fb2601f6860f194e8b4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f90d45907123d122ee8d0dc1c1fc725a060aa111bd3d22056b997ff4349559b5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T07:44:25.135572Z","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:c504c0deb26a89993e6f8c1e071258d0c7d355e41f1b8f66fd02f03a6cdfcf06","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:ee390d75fa85edf1bb4e6f29d3db6a92d16c3f2e7b5b0b759acf398d57217659","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:9bd94bd52b87f8ca8eef6d7f291c439ddafb1f8249bf3c2fa8d21197479f26f7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:433c54a4fd0f45902dd8f46f4efb18442d230c7188f62a55622d78431728a7b9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:11b70791d4adb40a336839d95d8fcb892bf68ebfa010cd89cdeaedcac88931c5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f992a35717ae89db77a39735b08c565d7f676763c9ef8be569c066d8514fcd99","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:5591fa69d90a6465cd4030f463a9f8a9d205234d552d226008b745ec99c57204","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:6605e9609624f4f3d2678f7dbbec0daa9d9b040fcfdd991cadbefad6dd24dff8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:e6c4b5a1a9eca7f017165dc3656586479bff8a455892eb1a0da575b512d66332","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:dbb0c8a6b80907776f6144fdf79580ddbb2769e529e9787319d0d0454e09c5e4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:e4e7bd1563fb32cae84bc566aed5852c67a276403e80de0b10bfec9070d9a282","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:905f7229870fdf0d76b9992a73656c2cab3ee6ea2f5b8035cffe4b1956c3aa15","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:352a352769ed8f5e42677826dd820e9182d2f041d861c9c2bdf2015370f3e8d8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:c910d3d31dfa40cf691098bb095f7875a51b245c53234a1a61e96a160f855044","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T09:55:22.001376Z","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:db010acd8ad97e0990b81e914d48c0306678ee395cb4c0144d5f8d161e22c87b","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-09T04:38:30.253150Z","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:d0c0d0b90c16dfd7c7ae2d009c57b23bc9e9c93ad096eb60562ba54ee93cb589","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:3c60c7df43063247fd2d0af1af7eca6051c53c90feefca5dbc869d973153cb13","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:cdc98cbef61713f6898fbef070dd10ab1cfdee0c46257328cfe4bca8ea3c1b1e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 1 inbound Pith citation observation for arXiv:2508.02208."}