{"as_of":"2026-08-05T17:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:66e74ca5c17838602e209d798288f447f8792d7687271e0a76a54bd92c2f2d6e","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-06-27T07:37:18.384063Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2606.13473/citation-record","integrity":"/paper/2606.13473/integrity","json":"/paper/2606.13473/citation-record.json","paper":"/paper/2606.13473"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T07:37:18.384063Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:6c2bc0ff4db408c880a7a1dc461f532b2628c6c05a4b04e55ea105436a40bdc2","observation_id":"4454efc7-7307-4ec0-8924-0d142a17a8c7","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:14b9ae2abbc40ff1e8b8291383b3970c52cd7c6e8d4d7883d1939cc8fc05520f","observation_id":"0ee2a538-39db-4f16-81ba-7ef0aea5b082","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Base case𝑛=3.𝑆 3 ={(1,1),(1,2),(1,3),(2,1),(2,2),(3,1)}","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:f36a51532c16c98cf09f80e3aad706d547c4d255ed076d19eba6fc386b9237a3","observation_id":"e032203e-8e1d-40c6-b4a3-65529bed80ca","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Therefore the set of admissible𝑘is {0,1,3}","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:d63344201c8db6bb99f42096236ac5fb0c787fc471d0eae77caf4f8d2d234548","observation_id":"46ddb72e-bd5a-44fa-8134-e26f4f0621e6","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Place𝑀=(0,0), 𝑁=(1,0)and let the radii be𝑟 < 𝑅","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:83f2209f3b007ae91313c323be48f5b8dab2fe01bed6d555982d742cc29fa31a","observation_id":"b9c4eba7-25f0-4821-9eeb-47bcf71589d5","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Write𝑃=(𝑥 𝑃, 𝑦𝑃)with𝑦 𝑃 unknown","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:2f81988112dc4398a746e94fd87ca12486557c6366e2741573f1b20d2b5c1a32","observation_id":"bdee7bb8-7009-4a97-9da3-947fe38673f8","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"For a circle with centre𝑂and a point𝐴on it, the second intersection of the line𝐴+𝑡vwith the circle is obtained from|𝐴+𝑡v−𝑂| 2 =𝑅 2","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:d86f14cf11c53ff3d8c7a584a7cb329ec4ca29f4ef651622db95d0b958bdd758","observation_id":"8a428281-6623-46f2-8ee5-f8bcf6ce94d4","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Inthecoordinate system with origin at𝐴, axes alongu(the𝑢-axis) andw(the𝑤-axis), we have 𝐴=(0,0), 𝐸=(𝑒,0), 𝐹=(𝑓 ,0), 𝐵=(𝑏, ℎ), where 𝑏=(𝐵−𝐴) ·u, ℎ=(𝐵−𝐴) ·w","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:34f8067542478cf7569395180d35d6abdfa883a0b75249ab7a07381251674f36","observation_id":"c1e4e14d-982c-48bc-96c0-1211a5940370","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"The altitude from𝑀to𝑃𝑁has slope− 𝑥𝑃 −1 𝑦𝑃 and equation𝑦=− 𝑥𝑃 −1 𝑦𝑃 𝑥","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:13efd12d690c5253c5c37fb60f973c94331557fabcd6a163ffbc6516967ced7c","observation_id":"29dda361-f324-4fda-a2aa-bd30ba17eee8","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Hence the circum- centre𝑂has coordinates(𝑆, 𝑘)for some𝑘","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:5731ef35ac5330991cea016e3a72c18db71b7ebf41bbb2621d500f93e1d22cdd","observation_id":"389b346f-18a4-4d0b-979f-e3e969fc85f7","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Factorising the numerator as a difference of squares, 4𝑟2 − (1+𝑟 2 −𝑅 2)2 = 2𝑟− (1+𝑟 2 −𝑅 2) 2𝑟+ (1+𝑟 2 −𝑅 2)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:fd048487a9c3288d085d1ee754dca0464524cb8564ab5015fd98210cd8ad8d36","observation_id":"87870cfb-5f49-45bf-a278-1aa024ee8300","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"The distance from the centre𝑂=(𝑆, 𝑘)to this line is|𝑘−𝐻 𝑤 |","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:643ea24bee8852b182a3106f0d38438c7df1aa0215aaa92cb9d5e99595c1e4b4","observation_id":"163336dd-f3cf-4a1d-8abb-fe2c816ea3f9","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"- Taking𝑎=𝑏=1gives𝑓(1) |1−𝑓(1) 𝑓(1)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:65bf4c4e3d458e3aa314d4c28ff2bea28eebf30f7a663ff9f0668d794ab254e1","observation_id":"b2dcdfb7-82c3-4c23-a695-f7d9894e8fcc","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"As𝑝 𝑝 is a prime power, 𝑓(𝑝)=𝑝 𝑘 with0≤𝑘≤𝑝","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:4b4dd338c3f905c67802257e3694206c69334cbd7e95d665e288bcd4bea72d56","observation_id":"740ba3ba-32bc-4e63-907b-e2fa8a68624d","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Substituting𝑎=𝑝into the bonza condition gives 𝑝𝑘 |𝑏 𝑝 −𝑓(𝑏) 𝑝𝑘 for all𝑏∈ℕ","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:c802e725fab349545b0fec7bdfec4356978bcb959e1b198ea00f0c2f381f5253","observation_id":"01d673a2-dcc7-4338-b594-3382f2af149f","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Therefore𝑓is the identity function","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:ef4bd98cbc1c78d6ce5bc0f363c5bc4c59c8d0cd943f0dd894a0ca287c1a4867","observation_id":"b4c486a4-5194-4dbc-af58-c717cdbc4580","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Fix an arbitrary𝑛∈ℕ","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:b275762d669cae01564b3b5d9f5044c7388ee0f5fd6f8296777573c79a7e7812","observation_id":"802d3055-c767-4cfe-bb90-f2d73bfee4d9","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"- If𝑛is even, write𝑛=2 𝑗𝑚with𝑗≥1,𝑚odd; then𝑓(𝑛) ≤2 𝑗+2 ≤4𝑛","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:a2d4cd989d9f1934a732fc3a306419dd008cf81321240c17694833497066ad1f","observation_id":"b69b4859-71a0-4e12-bcb6-927bd9876297","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"(Equivalently, for even𝑛≠2, write𝑛=2 𝑗𝑚with𝑗≥1,𝑚odd, and set𝑓(𝑛)=2 𝑗+2.) We verify that this𝑓is bonza","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:eea5935c88e9f4d41b40f8c83d6984325cb52723b7bdb3ac9f565882d0efbe89","observation_id":"0e13ed0f-dc02-4bb0-ac33-0f07a0d5c7e2","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Therefore the smallest such real constant is 4","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:e0e19c5ffd53951b11ccf492f449ef869efce310820d80dbc94632f0a2ba498b","observation_id":"6a7f4f27-2a9a-43a9-aebf-7f27c3b89888","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Thus 𝑒𝑛+1 =𝑒 𝑛 −2, 𝑓 𝑛+1 =𝑓 𝑛 −1, 𝑟 𝑛+1 =13𝑟 𝑛.(1)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:a57805ef09a5b655ad1df069cabd0ee2f0ea7a15ed248818b1b3e4ccf220274c","observation_id":"024c2b44-29f0-4618-be9d-0ca7bdec072c","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"47 MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling The factor2disappears, and the remaining product is odd","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:1e261d3852c0344f0c575a9f8d432ade83bee113fcee5bd20ac08c91e1bdc2d9","observation_id":"983d4065-4441-4a97-82bb-85ce1b90308e","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Reaching a fixed point Suppose we start with a term𝑎 1 for which the sequence is infinite","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:55c9b3c1e7509dad622ae95d1ff22eaf8a7cb1fc76a7cd1b1e1976edcdcf405f","observation_id":"f39744ee-aba7-4da9-93d5-63b28f2ce600","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:8f595f258ac74658e08d5c800d90c40a2478f7e6cdca91f64ac5e72c411957c2","observation_id":"7cfe2c4a-fb48-48cc-886f-eaa3f9c6e1c4","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Thus 𝑎≤𝜆 < √ 2 2 < √ 2, so𝑎 2 <2and Bazza’s move𝑏𝑘+1 = √ 2−𝑎 2 is well defined","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:ec4def1fa0b8b7b860a6b4cc4c63223a1ced71c8248448b46556986caf57cdad","observation_id":"20264eb4-a716-4edd-a155-6ce31b1ce1d0","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Now consider Alice’s next turn, number2(𝑘+1) +1=2𝑘+3","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:6c94ccc4dc34c9370f4270c6142ff27de53740c43470bcf1ab7a3b880db490ff","observation_id":"d3696082-004f-40c6-9505-89ea8efc2b68","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Consequently Alice is always forced to choose𝑎≤ √ 2 2","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:7d1b8aafb20f31dd33d17d8ee2ec69fd21d36fe18df939baf3daf7a4799b86c6","observation_id":"d0315f51-5f93-4138-9034-fe046543ac37","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:cf11d65f9c6abeab3c9768c9d55f882100f5e45ae9965b437f9c26fd625b1ada","observation_id":"7d69bbd1-2853-4055-b64c-44059f51c06c","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Let𝑁, the midpoint of the minor arc𝐵𝐶, be(−1,0); the tangent at𝑁is then the line𝑥=−1","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:874528540119afeaaeca4f4bbcfb1685560952ed868166a49c73d5f3f8d1bcfd","observation_id":"483d5df6-878f-4795-821a-e65f86804816","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"* The equilateral triangleΔ𝐵 has its centre at the origin, so the midpoint of the two vertices different from 𝐵is− 𝐵","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:723216c8dd4b03067a4b697a12cc45188be8ac685f4a43cdb0ed38f151599ad4","observation_id":"34ded9b2-b521-4791-8c99-a149ff0cb170","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"ℓ𝐵 :𝑥cos𝜃+𝑦sin𝜃= 1 2","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:a4d794eb9a0cc31419da27b2b176bc0aab49b5eab3fe107f8481c4eb66c5106c","observation_id":"937a7ec2-cd49-4ffd-aad8-d5d4e6e601a5","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Line𝐴𝐶meetsℓ 𝐵 at𝑌.Write𝑌=𝐴+𝑢(𝐶−𝐴)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:72df2b8617d555be13364669c1a105afcf031a5d2c1de40851d4270db450fbc4","observation_id":"5e0956b9-93f2-4219-b6da-a74daa99fd76","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Because𝐴lies on the unit circle,𝑎 2 +𝑏 2 =1, so 𝐹=−1−𝐷𝑎−𝐸𝑏,where𝑎=cos𝛼, 𝑏=sin𝛼","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:887fe794877d558585dad9e7b52bf04284ad95d114a67ce1601ea2be583571e6","observation_id":"8f813a66-ad44-46bc-86c6-0c4d4673426d","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Substituting𝐷, 𝐸 and simplifying yields 𝑂= − 𝑀(1−2 cos𝛼cos𝜃) cos𝛼+cos 3𝜃 , 2𝑀sin𝛼cos𝜃 cos𝛼+cos 3𝜃","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:3a4093438a509db96230b0b6d96875e21ba61b6a934f45af44f967c68155e08c","observation_id":"077e18c1-8187-49da-ad76-4593d591771c","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"By symmetry its incenter lies on the𝑥-axis","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:40bead3063e0e0c3791be84b495dcba22a57e0f5221c0771f2768b332488428d","observation_id":"d4402d7e-2c44-451f-a7fe-bdc54f4caeef","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:154837329a5642c2f5759b0fd2887e9b711f96c01762a8d8d7fef5eba880dbbc","observation_id":"7f6dd1e0-49b0-4ca8-89f1-d100de5dd0c6","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Set𝑆=1+cos𝜃","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:34f26cba868d5841838f59aedfaf861eba2f9826a23656910491911669252705","observation_id":"8180b455-890b-436b-8bff-cc8e574c2dad","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"62 MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling Verification of (ii): From (i),𝑀2𝑃=2𝑁 𝑀 2, so 𝑀2𝑃−𝑁 2 =𝑁(2𝑀 2 −𝑁)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:e3382c946d4b525472db2a6f4ec0e4027c70652848093a86b1e8603253dc33f2","observation_id":"2a893cf7-49ef-4b56-95fa-155abe6654b4","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Let𝑐𝑖 be the carry into the𝑖-th digit (𝑐0 =0), and let𝑛𝑖 be the𝑖-th digit of𝑛(𝑛0 units)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:372eb0eca0fa7b6d2768630242ca78c06bfc0740d85c993749949dda948461bd","observation_id":"9f694f54-9769-401f-9b2b-faa982e9fe0c","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"*𝑐 𝑖 =0:then𝑥=𝑛 𝑖 +10𝑐 𝑖+1","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:9de0103be0a35d69bca731a0f023725f03955897ab28791d8590570cfbb98918","observation_id":"e121e480-a77f-4bec-b279-a3892d679558","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"The transitions are: *From𝐴:1↦→𝐵,9↦→𝐴,all other digits↦→𝐶","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:989db0007ddb9349c85f805c2e64cdd4b77b79747546787142b490f6cd641dd6","observation_id":"125dbd31-33a9-4c16-b33d-6ca741c2b5dc","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"The accepting states are those containing0, i.e.𝐴and𝐶","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:68f51e9be27fbac99e1271a4033124841b38cf1d3c9e315e66c4b496c6523304","observation_id":"10e28d8d-c3e4-45de-9297-7de37774bde2","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","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-06-27T07:37:18.384063Z","title":"Hencethenumberofsolitarynumberswiththe1atposition𝑡is2 𝐿−𝑡−1","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-27T07:37:18.384063Z"},"links":{"citing_paper":"/paper/2606.13473"},"observation_digest":"sha256:daaf7ba59ffe403e35cd28348dd9a5d359375e4e1cf7d6e3bd0dc6e43728bf46","observation_id":"fa7a0bd4-08aa-41aa-a4e8-04de329d93cf","resolution":{"observed_at":"2026-06-27T07:37:18.384063Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.13473","last_updated":"2026-06-11T15:27:06Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-07-06T23:52:14.348914Z","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":43,"verified_exact":0,"verified_fuzzy":0},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2606.13473."}