{"as_of":"2026-08-05T03:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8841fa4123e8462db1e3cf26032b25798351fa11cbcc35efd450b599a1263a17","coverage":[{"denominator":51,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":51,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-13T21:27:17.751930Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+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-08-04T04:58:06.586539Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.02450","snapshot_observed_at":"2026-08-04T04:58:06.586539Z","title":"arXiv preprint arXiv:2604.02450 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.00004","last_updated":"2026-05-29T17:22:57Z","snapshot_observed_at":"2026-08-05T03:30:31.740660Z","submitted_at":"2026-05-29T17:22:57Z","title":"Cost-Effective Automated Judging of Natural-Language Mathematical Proofs","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-04T04:58:06.586539Z"},"links":{"cited_paper":"/paper/2604.02450","citing_paper":"/paper/2608.00004"},"observation_digest":"sha256:f08c782b1bae0c284baad35b96a266e246d31027202a55198bce61313b3bd276","observation_id":"0b33f45c-c77c-4017-8560-68f894256a80","resolution":{"observed_at":"2026-08-04T04:58:06.586539Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2604.02450/citation-record","integrity":"/paper/2604.02450/integrity","json":"/paper/2604.02450/citation-record.json","paper":"/paper/2604.02450"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e2aace3c-f5c3-4385-86a0-5100d4e21f85","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:19d81e141bb19aa711d42c8804a8c84a9a8165a489053a5e3a03524cc195bd9b","observation_id":"a32832f1-c578-4131-9a06-b9dd8a68fbec","resolution":{"observed_at":"2026-05-13T21:28:18.390582Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4620bdc6-9969-4261-96b3-5234652ffc3c","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:11d9a1cb0951129aa75e4504d78d31c83cdd8d473d3d3231ba8088477f1dc882","observation_id":"bbc2509c-de23-4b60-ae86-b400605976c2","resolution":{"observed_at":"2026-05-13T21:28:18.394965Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"072c91da-896d-4db6-9487-f50d8f589741","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:ceaabae72ed60e8b99b5c4d193dfe50d676d8c3707160eb84f2dc0e125caff8e","observation_id":"233ab992-d7a0-443a-82cd-582a0be98956","resolution":{"observed_at":"2026-05-13T21:28:18.398969Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Is this justified within the proof?","venue":null,"work_id":"ce80fb53-9049-4d99-8f7f-fa885d7be2d5","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:af05818ff9d4b01662a4cea022f6ddd1d723dde63abdba81f094d41bc5aa1eb7","observation_id":"fdabf289-7ae2-4a15-a88d-7f7e6367635a","resolution":{"observed_at":"2026-05-13T21:28:18.404609Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"intuitively","venue":null,"work_id":"06e67ef8-8fc3-4cfe-b93d-869355ee289f","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:a79894066ed1a91ecc266caff5d63211f908489aebbde47e8996f150b0b283c0","observation_id":"2c6fed68-a0b5-46fb-abce-79776c8bc7d1","resolution":{"observed_at":"2026-05-13T21:28:18.411791Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6129be95-7773-4d28-b71e-99b7d63513a9","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:78c66ef8562032f92e15dab90f55e1b90ad1733ef5cc5ff48146e1462d869fb5","observation_id":"b7a9e016-ca59-4bea-8b50-8cb993c9940d","resolution":{"observed_at":"2026-05-13T21:28:18.354146Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"df1880de-c80e-4c7b-a7b1-41ee4ee82bd5","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:0b852ee6b2e4fd97408da80139beaa51327c49bc635ae25cebe0cbdbe087c750","observation_id":"0a8a9873-0c4c-41a2-8b9e-4f442ba2d7cb","resolution":{"observed_at":"2026-05-13T21:28:18.360026Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2498715f-d1a8-46a1-900d-d638b37b8bf8","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:1eef6b9804b41ae8b821c87f53838f1fd386eadfd54dfe850872c39d538acb3c","observation_id":"53acbe1e-dd26-45a1-8ea5-2581913d3e82","resolution":{"observed_at":"2026-05-13T21:28:18.367605Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"for large enoughN","venue":null,"work_id":"a9e36fc5-dd01-4c4b-b34f-da68d6ebe294","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:1752e2db21ee53d845e0cf1b9b57db9a15ef9372b2a7f7d8424b5bf046bd3a4c","observation_id":"959ae8f1-c616-407d-897b-137d086eab56","resolution":{"observed_at":"2026-05-13T21:28:18.378127Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b0c2758a-4fef-4b52-ab54-d8a1aba96c99","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:6011401d78b94ca0e1d9c5dafddc87f807c81c93b2d3549e6ba049e9f2532258","observation_id":"95a896e3-daa7-42e4-9598-25587efa6080","resolution":{"observed_at":"2026-05-13T21:28:18.328924Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"For each such instance, explain why the argument is insufficient","venue":null,"work_id":"cdeb7ca7-3479-447c-9703-a464306238c3","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:691038a4862b1ebabb6b3c61de020e5fb6e1b55caadc65cf26050b854a317097","observation_id":"74b63eeb-5304-469e-a459-2c565955555e","resolution":{"observed_at":"2026-05-13T21:28:18.332105Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"SinceAholds for each primepdividingn, it holds modulon","venue":null,"work_id":"6f8f1db7-099e-4a9d-9a7c-d5d10c43d696","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:84c48aefc6934982d988353e033db63ebb8fd34956ea3f29d7a1869721c8b49b","observation_id":"2ada4a2b-240f-410d-9964-d977f3c97530","resolution":{"observed_at":"2026-05-13T21:28:18.326322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Since X happens infinitely often and Y happens infinitely often, there exist adjacent occurrences","venue":null,"work_id":"ffadd560-f07e-4a59-8360-fd42944e363f","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:460d5d94431b64ce79bd75d11b90214068255f02f9d5722958ed6cb4751dbfd1","observation_id":"efb0fe22-6545-4b52-9796-9045ab094aeb","resolution":{"observed_at":"2026-05-13T21:28:18.323506Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Sincegcd(a, b) = 1andpdividesa+b, thenpdividesb","venue":null,"work_id":"f260a9f9-dfcf-4c55-aab8-586c392bbcc1","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:eddc6224f60558b3b3d49ddd89e20f6c769269af907db377622f2547f6506a8b","observation_id":"aba1eaa5-175d-4d7a-bc8d-2e0a2d604c3f","resolution":{"observed_at":"2026-05-13T21:28:18.306691Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"This triple is primitive","venue":null,"work_id":"595c8f1b-8a93-4f8c-a4b6-e4cd77b05d3a","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:b9a26fa5bd3bd4c19ebfc7ffb8f43fb833def216127f9df14c78370d174d5480","observation_id":"416072fb-a1db-4a69-8e12-7cc6cef5c37a","resolution":{"observed_at":"2026-05-13T21:28:18.308903Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"The intersection is countable/finite","venue":null,"work_id":"955c1fb6-9355-436e-bf36-f619f9b60384","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:186e3084181d5e15d5703407cf12e4892963ca895b406b047f7a9202c41b9966","observation_id":"19eb5d2d-2654-4999-835f-d834257b9cfd","resolution":{"observed_at":"2026-05-13T21:28:18.311331Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Applying this iteratively gives","venue":null,"work_id":"d13fb6db-76c3-4646-afbd-50f1a7bc8451","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:2f79290d516dd60e89d76c32e37a24c766d3a472bb826881d9a489ed8d4a330b","observation_id":"7a60b6bf-15c0-42ef-b4b7-7a7e42ef1f28","resolution":{"observed_at":"2026-05-13T21:28:18.320796Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Dividing both sides by X","venue":null,"work_id":"04ac69ff-f2ac-4d6d-80e5-72dc6de8cabc","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:511fa3c734b9e20aebb82e7d90c1911600ea4568f6bee22700f0ca8805b962cb","observation_id":"8aa1d64e-8259-43df-8b3b-e78882ef0cd7","resolution":{"observed_at":"2026-05-13T21:28:18.300366Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5eb71b03-b9ca-45f0-8e6f-0a4fb8326bfb","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:0da0bfe4cda0925bea3a9e6421042e4498dc9f98433ebab2149508ae343de3c9","observation_id":"8e488526-0b03-4bd4-ab3f-d7373bba42b6","resolution":{"observed_at":"2026-05-13T21:28:18.343064Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4fa6d0c1-0668-4aef-b0f1-94261fbd2df8","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:e5b7168bcf59c9a93560d8e26403395aa9f6a7c0c94bfff556bbcc307211c301","observation_id":"f5645009-0a14-451f-a319-20c44fefc4d2","resolution":{"observed_at":"2026-05-13T21:28:18.334859Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6d99337c-c2fa-4901-a7de-49b68cbd8349","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:b50b6c216b1c8d4521737286e1eaeabe26205c2a1fa16b01ecbd39b03ca8d065","observation_id":"7791e679-8e26-499c-82d2-898d5a989550","resolution":{"observed_at":"2026-05-13T21:28:18.298129Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"bdd48465-75bc-4527-8634-1e87f8624d48","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:c5fac386e704015ac6c5038bb70406c73c9dc4d72991517c5c1a705be869a922","observation_id":"22de2c45-72e2-4d2e-acb3-aeeb1006fafc","resolution":{"observed_at":"2026-05-13T21:28:18.373025Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8bd68a5d-ccbe-44ec-aeb4-6b16769d3121","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:5518b354b847ec6ad6701c67d82a01357126bc078efa390c815e980011da6ca8","observation_id":"361a26d6-63e0-495a-9e57-3924b4dd0ba2","resolution":{"observed_at":"2026-05-13T21:28:18.302393Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"43debe32-adc7-42e7-a6aa-09d4f19c29d0","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:602ee0a0eed344700adf935983ab336b7334c6ac10a1fc7b55d7534e98698c32","observation_id":"166984e8-811e-4601-a98e-6be025dbf497","resolution":{"observed_at":"2026-05-13T21:28:18.304437Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"If this step were wrong, what would need to change to fix it?","venue":null,"work_id":"dc5d6b8a-0c64-4eec-a6b7-67407adec662","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:3a3fa02ca1e19304ff1c78d6d7a09ca497e93e3218af73d8bfa89550614c588a","observation_id":"fff20c59-79ad-4fe6-b546-61da2c55810e","resolution":{"observed_at":"2026-05-13T21:28:18.345892Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"it is clear that","venue":null,"work_id":"09b2c102-42c9-4d31-9dc3-22034e5f7912","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:9ea63c7fda8cde92a9c3898744a8589ae1ce8bf2cc53fc39ae1eca002d9e2c10","observation_id":"f661a9f4-0b8d-49fb-9690-8e31ec6d3362","resolution":{"observed_at":"2026-05-13T21:28:18.316219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"applying this iteratively","venue":null,"work_id":"d25d9e16-b449-4f29-af23-ddc41c9c5700","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:2623ab5bb01481ec15d15b335abf79f5f395c6fe1f92b327e836a0a3b29ef91f","observation_id":"a7d9a7ad-81c2-41cd-93b9-8d6ff98da878","resolution":{"observed_at":"2026-05-13T21:28:18.318549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"78ec1951-9a8a-465a-8ae4-f70a22df6640","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:a5a9bddc2ee83e70e03ea7c96f4f4efe43b49ba465b1deac562cf1fab64859df","observation_id":"b3b2e77d-745e-4796-809d-d2bcfaa13ae4","resolution":{"observed_at":"2026-05-13T21:28:18.413859Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"the argument extends","venue":null,"work_id":"73d5355e-dba7-4d6a-a59b-5faede6a1a5b","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:653384ef3131f852889022549930a3560fd4c23cf18a877af0da715eb237df86","observation_id":"7674ea3f-2c5f-491f-9408-e54ca0419d4c","resolution":{"observed_at":"2026-05-13T21:28:18.406891Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"298da480-100f-465a-8cfa-576eef059fad","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:3150291ad8cdff7dcd94c72374f6b0827082ecc3098a1a46f2de040efe268ead","observation_id":"02caa524-e3a4-40b8-a039-2818e52990c9","resolution":{"observed_at":"2026-05-13T21:28:18.388473Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Would this need more justification in a competition submission?","venue":null,"work_id":"5fc6e99f-bf5f-4fd6-baca-10c3954c6649","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:d80f2c070b4ad652fd36033c5e84e64420c75e08acf3f66cbf4d94ce99b038ba","observation_id":"28b02225-abc5-4389-9ff6-14f351a47db7","resolution":{"observed_at":"2026-05-13T21:28:18.409494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Lemma”, “Claim","venue":null,"work_id":"beb6d63c-4ee4-4d67-a203-ba0f7500183f","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:cafdf50d0e9c90f17b6fd705e43da99a3b5de16ef2a44567bb5001b0cf8b1be9","observation_id":"e49e95da-5c49-455d-82de-8331f3edc18f","resolution":{"observed_at":"2026-05-13T21:28:18.289025Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"efe6339d-0b8e-4cad-94d9-d45953d4127e","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:297b0ba6d49028dfe8a2c7a689c6ab3aee1ceb04855934736e5b50ea49bc6775","observation_id":"c196708b-57e7-474c-acdf-11112f19ebf5","resolution":{"observed_at":"2026-05-13T21:28:18.337247Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5eac8d50-9e81-469a-8f9d-3943aee692dc","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:3e2716e79ca7d232735a4e72b45099fa3fd689210ab4d0615431ab542bcf9afc","observation_id":"db1c1c44-5418-46d1-89ac-ee2e44d5fe8c","resolution":{"observed_at":"2026-05-13T21:28:18.291226Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e7072658-f0bc-46ad-a4fc-cbbf53441efb","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:37592426e47eeea57415871284b80470c0ca02ac3b8325ec29876e654e872247","observation_id":"6dd2abb2-8976-4941-aca1-a60e87d7ce46","resolution":{"observed_at":"2026-05-13T21:28:18.296200Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0affd7f0-a88a-45df-9d54-5a9372102fc9","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:654434e0f42ae73b7f20bca7b356095b409f30af6be65003c8f3c8436f037237","observation_id":"7c145c48-7699-4422-8d13-e7cbc17b2d33","resolution":{"observed_at":"2026-05-13T21:28:18.340497Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"191d2132-ac9a-40dc-aaf3-4084e0fe35cd","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:b390704c8e629f9d38d81975b8a3da235ef9cd627fb646553f3dce30ddf5f995","observation_id":"af6fd93e-9734-47df-8274-0ef51a8b2299","resolution":{"observed_at":"2026-05-13T21:28:18.314011Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f261236b-bef9-4aeb-9603-066cd13cf091","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:7939b6057929932848ea631373ba257c2044d65492694cec128335faf0d2af66","observation_id":"58cc389e-ffd2-4188-9dbe-4fdd29aa6546","resolution":{"observed_at":"2026-05-13T21:28:18.293338Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9dfd701e-8415-490e-b7f4-895ff98ba46a","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:807d180679c5b8c5456e2b36dbf13f38bad2544f05245a376b7c6f49a43ed199","observation_id":"84d184fa-5912-4ab2-97fa-97a19de64520","resolution":{"observed_at":"2026-05-13T21:28:18.396863Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c97fea49-c750-4640-914b-7bb1cbe4a97a","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:1d75d737a094e99471ad83dd56d8ae3c2e57c3b7ea1cf71467f4a359f8c218f0","observation_id":"8c0551f7-fbe2-4b5a-8538-27de8645925e","resolution":{"observed_at":"2026-05-13T21:28:18.392815Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Note: minor notational issues are acceptable","venue":null,"work_id":"ba4c67ff-10a6-4fca-b4ca-bd397acc5122","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:d057e03dfcd33ac6b690460feb64cdc6be5d4988853e9776da5021a2d6220c19","observation_id":"427a6d37-535c-496e-9527-dae23cf93a65","resolution":{"observed_at":"2026-05-13T21:28:18.401367Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9b1a9fa7-1c80-4833-a531-301330e64345","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:b3d53ea8c6274c61db054fdf31239d927ec578e4fa0220b2fdbaf87a729b98e2","observation_id":"b3eaaafc-e7f3-483b-b720-361d1181ed68","resolution":{"observed_at":"2026-05-13T21:28:18.375734Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"121cfb67-fd5e-4211-8ac1-4acbbf3370a9","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:8b07e0e3da5cd76d65a56b06d8b6d6492acf780c2f74e8b1ec1b4b82413bde61","observation_id":"4eb16a26-eaa0-418a-936e-546cedee03f4","resolution":{"observed_at":"2026-05-13T21:28:18.380401Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f814e06a-0d65-41bd-8c0e-6ce02100ed23","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:33f18936d1a5009f2f894bd1ebd4a5c0b27e5bad1588054a42a14f0f0d7361ca","observation_id":"9ca9492e-6011-483e-bec9-b341d89fb54f","resolution":{"observed_at":"2026-05-13T21:28:18.362439Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"After your analysis: \\boxed{INCORRECT} if you found a specific flaw; \\boxed{CORRECT} if your best skeptical effort found none","venue":null,"work_id":"12969928-fdf9-411f-abdc-0b60d9489897","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:bb7206778ba972e4ce91dd42f26ecca5c8f94ffa0c390ecbcd4ac82f84d62564","observation_id":"d63d9dda-153f-4e91-ad5a-ed6871187c42","resolution":{"observed_at":"2026-05-13T21:28:18.365136Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9f7d00b1-a6cd-4115-82b7-d6cfd33e823c","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:3678d6eaa0e5467e5215b6d8c4afb4f769a61392589783d5b947825147aa361d","observation_id":"eb42b2d1-32fc-485f-9d15-e373f97144d3","resolution":{"observed_at":"2026-05-13T21:28:18.348273Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"cc008049-7553-42f1-833a-82f11cee74f3","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:71e08c7f6216a0e0241465d2ee2013c00ee12314f904f24f5350a1a1265b28b9","observation_id":"056a7c81-51a1-45a3-b1c1-5babaf3fea7f","resolution":{"observed_at":"2026-05-13T21:28:18.351195Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"15 Verdict: \\boxed{INCORRECT} if at least one concern is FATAL; \\boxed{CORRECT} if all concerns are MINORor stylistic (or there are none)","venue":null,"work_id":"6b53d916-a8dc-4da7-9768-9f4ab83d75fc","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:d67d8538d0a61c9d8d17c0af618b68e233651de495fec056631c56aee86a0d46","observation_id":"0e22b306-5303-4c0e-9a83-8369aa0d593d","resolution":{"observed_at":"2026-05-13T21:28:18.357027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"41e3a474-753f-4dad-bb53-dd01491fed66","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:ddbda9e076d5c15f1215461fe20b93f7b401e7d5978d0dbe7044266077d9981b","observation_id":"aec52ec2-b934-41b4-b7a9-877dafe0345e","resolution":{"observed_at":"2026-05-13T21:28:18.369953Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"a9aae8ac-dff3-4076-a8e0-384707e3092a","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:b4a1f7e2ed27695a2b90972efc0eec979857d1e75d08213dd0c57b2dc431f213","observation_id":"e3642d98-d262-4186-9964-15bd99feb4ef","resolution":{"observed_at":"2026-05-13T21:28:18.382597Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"find allX","venue":null,"work_id":"088061d3-66df-4ad0-8c90-220cd294e112","year":null},"citing_paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-13T21:27:17.751930Z"},"links":{"citing_paper":"/paper/2604.02450"},"observation_digest":"sha256:213f942370a3a61c05f9beac3b10f58da83a00daead319cef0f72a940837f692","observation_id":"43bc3c56-795c-4d00-91d2-8fc9442c4110","resolution":{"observed_at":"2026-05-13T21:28:18.385678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.02450","last_updated":"2026-04-02T18:31:44Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-02T18:31:44Z","title":"Do We Need Frontier Models to Verify Mathematical Proofs?"},"reference_resolution":{"displayed":51,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":30,"verified_exact":0,"verified_fuzzy":21},"total_outbound_references":51},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 1 inbound Pith citation observation for arXiv:2604.02450."}