{"as_of":"2026-07-22T17:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:77245a164c97a3a882ff325341b2e1c9af2ab538e8fef1bc53a5a54e847ee9e1","coverage":[{"denominator":54,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":54,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T02:26:38.719009Z","state":"measured"},{"denominator":54,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":54,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-07-22T06:31:00.163083+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/2604.19558/citation-record","integrity":"/paper/2604.19558/integrity","json":"/paper/2604.19558/citation-record.json","paper":"/paper/2604.19558"},"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":"SpringerVerlag (2004)","venue":null,"work_id":"f0bd14d4-209d-458c-aac2-e7a77c8b068c","year":2004},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:7f5891b50649384c2da492dbd79f658101babd5df0833bf63fde672579ed9ecb","observation_id":"f2f964e8-950b-45ba-bec1-5f58d3693ca4","resolution":{"observed_at":"2026-05-22T22:07:11.735370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T14:16:16.764150Z","title":"In: Proc","venue":null,"work_id":"452f975d-5e1f-47e0-967f-db1ed9da0d80","year":2025},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:7cd2d96c3afe73c1243d3cefc27cdc6213ee258d2b2b1e2a0e4b778fa6a45ba6","observation_id":"f8f54455-75d2-4660-a380-ad7b1c6881dc","resolution":{"observed_at":"2026-05-10T02:27:36.547114Z","resolver_source":"doi","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"In: Bjørner, N., Sofronie-Stokkermans, V","venue":null,"work_id":"e0713327-7c77-46f9-988c-d68c51e9c6fd","year":2011},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:5f2d7ff1add8417189f9414e3d6de384c082afd4897c5d3324ff8fc3ce3136b4","observation_id":"0b844cbd-4dcc-4f30-8f59-04a9904d0177","resolution":{"observed_at":"2026-05-22T22:07:11.722201Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"Journal of Machine Learning Research24(240), 1–113 (2023),https://jmlr.org/papers/v24/22-1144.html","venue":null,"work_id":"87d3b546-0968-4559-a047-fed40d443d08","year":2023},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:1be9408306e5516512269b96ddd2c93066bccef129cfc2248ffeeaab28fff781","observation_id":"898ed48d-00a2-47ce-80ed-15bc69e6b15b","resolution":{"observed_at":"2026-05-22T22:07:11.725451Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"In: Klein, G., Gamboa, R","venue":null,"work_id":"80ca516f-aaf9-4c98-9f77-6a0083ce6189","year":2014},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:47a024c2494aa11692f314214f42f3e85420d2756ec98a349d71f1ea0ac9fcfb","observation_id":"cc6a3de9-d098-43e8-a034-be25f13e46e0","resolution":{"observed_at":"2026-05-22T22:07:11.719533Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-30T01:14:08.569703Z","title":"Journal of Auto- mated Reasoning62, 367–391 (2019).https://doi.org/10.1007/s10817- 018-9459-3","venue":null,"work_id":"7c1fa402-e076-4917-9e08-0ed57d3eeaec","year":2017},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:8c30d1937adb72b65b527801effcbd9bcd0239fa156ff71a5ab264c9b5bc4dae","observation_id":"2df411f1-80f7-4675-aa71-bad55c4c9f2c","resolution":{"observed_at":"2026-05-10T02:27:36.550662Z","resolver_source":"doi","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-018-9460-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"12d60c4d-ba37-4835-8bd2-0b1b092f0954","year":2018},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:7ae1babc4c1705883d002593857feb9f4fa84ab1130992b1ebdf336ec977bf70","observation_id":"6ddbf209-efc6-4f07-95d8-26df04edd48a","resolution":{"observed_at":"2026-05-10T02:27:36.548891Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1643.361624","doi":"10.1145/3611643.3616243","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"In: Chandra, S., Blincoe, K., Tonella, P","venue":null,"work_id":"4f3d1b5a-a5c0-4ade-bfd1-74209d85a9f2","year":2023},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:7ce419a2691d169e0381315b48648e6d3c6ca82f8ea1e757a9426991eeb814b4","observation_id":"2cac77b0-2349-480f-9c12-661bdfa3216f","resolution":{"observed_at":"2026-05-10T02:27:36.556311Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-11T04:48:54.420554+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T04:48:54.420554+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-22T06:30:55.410749+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":"Notices of the Ameri- can Mathematical Society55(11), 1382–1393 (2008),https://www.ams.org/ journals/notices/200811/tx081101382p.pdf","venue":null,"work_id":"f1e3c7d9-425e-410f-ba75-b78173b99735","year":2008},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:ee727afd3a13fe6b25dfd45d0188897a9244c6f1d2f12ae2a9f64724358c1802","observation_id":"a707abe9-0422-4699-a477-1467bbe14493","resolution":{"observed_at":"2026-05-22T22:07:11.728585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.12283","last_updated":"2023-02-20T16:10:20Z","snapshot_observed_at":"2026-07-06T14:08:57.404437Z","submitted_at":"2022-10-21T22:37:22Z","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","version":3},"cited_work":{"arxiv_id":"2210.12283","doi":"10.48550/arxiv.2210.12283","metadata_source":"arxiv_reference","pith_arxiv_id":"2210.12283","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, and Xujie Si","venue":null,"work_id":"0ea71c7c-abbf-4737-9dc1-dbed9a5c5b20","year":2023},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"cited_paper":"/paper/2210.12283","citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:3e3c18183c0fb8c7bf184033f49c60c220633eceb5c1b31f336d6923e73527d7","observation_id":"d22abfb0-c86d-4a24-bd68-43f3719a52f7","resolution":{"observed_at":"2026-05-11T13:01:25.138772Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-05-25T18:54:23.866349+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-25T18:54:23.866349+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19940","last_updated":"2026-04-06T22:27:51Z","snapshot_observed_at":"2026-07-06T19:39:59.961070Z","submitted_at":"2024-10-25T19:25:00Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","version":4},"cited_work":{"arxiv_id":"2410.19940","doi":"10.48550/arxiv.2410.19940","metadata_source":"pith","pith_arxiv_id":"2410.19940","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","venue":"cs.LO","work_id":"ecfd2f68-9c32-4e37-9fcd-5ec855694e41","year":2024},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"cited_paper":"/paper/2410.19940","citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:34c4344308dab76b23e107a3e5a077924fb48ba1267d9e7d2517ad30a8320e4c","observation_id":"380c0787-e186-4316-92d1-f186a6eb6c99","resolution":{"observed_at":"2026-05-10T02:27:36.553534Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8788.153881","doi":"10.1145/1538788.1538814","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Communications of the ACM 52(7), pp","venue":null,"work_id":"8230d5f8-b195-41ea-b67b-c9b80945bf6f","year":2009},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:12c33d7688a61974fb2ac4c6056967942eb18a677c5b28457b6bca80b71a0181","observation_id":"d5dba10f-30de-4a7a-9787-95455396715b","resolution":{"observed_at":"2026-05-10T02:27:36.558919Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-12T16:19:41.948696+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T16:19:41.948696+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.03613","last_updated":"2025-08-05T16:28:22Z","snapshot_observed_at":"2026-07-06T22:08:12.433302Z","submitted_at":"2025-08-05T16:28:22Z","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","version":1},"cited_work":{"arxiv_id":"2508.03613","doi":"10.48550/arxiv.2508.03613","metadata_source":"pith","pith_arxiv_id":"2508.03613","snapshot_observed_at":"2026-07-10T20:47:34.586393Z","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","venue":"cs.LG","work_id":"cfdb69bb-3c0b-41d3-bd34-3167a6931bb2","year":2025},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"cited_paper":"/paper/2508.03613","citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:ca7c55cb5041df3b3eaedf7bdb94fb7068a3b445acfe63de19dcffc1a080e052","observation_id":"09882979-e3ab-46d2-9bdc-697c064ff39c","resolution":{"observed_at":"2026-05-21T06:53:10.886894Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-12T04:49:11.143969+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T04:49:11.143969+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-22T06:30:55.410749+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":"In: Singh, A., Fazel, M., Hsu, D., Lacoste- Julien,S.,Berkenkamp,F.,Maharaj,T.,Wagstaff,K.,Zhu,J.(eds.)Proceedingsof the 42nd International Conference on Machine Learning","venue":null,"work_id":"5ca6dc3d-abd5-4aad-bc55-a974ce111f12","year":2025},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:96cb9654f7a5ae7e85f21183bc10ffa68e1e62c8806a48d1f78d613491a39804","observation_id":"38942761-d39b-49ab-be4a-c442ab3d4709","resolution":{"observed_at":"2026-05-22T22:07:11.731719Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"In: Proceedings of the 37th International Conference on Neural In- formation Processing Systems","venue":null,"work_id":"dbce1f94-f13b-4da1-adc8-52930151cdec","year":2023},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:abcf274fbcc1d97aff6d53348b12aa4db5488d30b652195b2dcccc4ced87f8fa","observation_id":"2536b3ba-b213-4772-a4f1-2843ef9e4e6a","resolution":{"observed_at":"2026-05-22T22:07:11.738602Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"Cambridge University Press, Cambridge, UK (2008)","venue":null,"work_id":"027f9b61-00e1-4c9e-8d62-08eb6fe1de25","year":2008},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:0a5d3bd6e679dfd409561aa2e296d9603e0570ced7ed9a609dbd6160ec6e2577","observation_id":"dac2f9cc-584c-4697-b29c-2697a317c588","resolution":{"observed_at":"2026-05-22T22:07:11.710922Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"minimax.io/news/minimax-m25(2026), accessed: 2026 22 Y","venue":null,"work_id":"121b6fbc-1bba-4147-81f2-94d601438f2e","year":2026},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:a1d89c62f206692860e253b2360c656c605a41d7c03d3da581e9b63de94f6c98","observation_id":"f49cae6a-a976-47ca-8dbb-f602dbb62534","resolution":{"observed_at":"2026-05-22T22:07:11.716660Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.itp.2025.14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: 16th International Conference on Interactive Theorem Prov- ing (ITP 2025)","venue":null,"work_id":"610b80e8-43d7-445d-a762-04ec1d94d0ba","year":2025},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:2cb3e507fddfd2e0ac890823f1147a99d18417b1c311ec78284c7803a505b361","observation_id":"13543697-2791-494e-ba6c-1e9bd522a540","resolution":{"observed_at":"2026-05-10T02:27:36.563501Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":"2303.08774","doi":"10.1002/tea.20265","metadata_source":"pith","pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"GPT-4 Technical Report","venue":"cs.CL","work_id":"b928e041-6991-4c08-8c81-0359e4097c7b","year":2023},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:1e4959f2424bb37d8163a513233e957d56dc114b93f4490fea59154df323bf49","observation_id":"ced6510e-522d-4c24-97f4-37feaa7f97d6","resolution":{"observed_at":"2026-05-11T13:01:25.108431Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"475e0bb8-524f-4477-833c-d44b7ba985d0","year":2024},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:3ba48d6b28be5816f46c89155914c55bcfa981001b05f984a2984657eb644aa4","observation_id":"823b0db0-db42-4cde-8f92-040ce6e7f5e7","resolution":{"observed_at":"2026-05-22T22:07:11.750578Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"94060844-9336-4255-b911-d176f0038a32","year":2025},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:ef8c52866e3801707993c86279e06cbc13a50ccb9e55a8ec9ca6d90bec51d74f","observation_id":"b1f44071-e261-4afe-aec6-bedd567a12c1","resolution":{"observed_at":"2026-05-22T22:07:11.698624Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"In: Piskac, R., Rakamarić, Z","venue":null,"work_id":"cad46c50-4f4a-4c9c-916e-98d83f3c106f","year":2025},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:eddb07b82fe7a72e5aa9ad1594fd9026523e3ee01b4bba0d14cdb3fe62cb1b34","observation_id":"d0363939-a753-464d-84ae-35bfd4cca119","resolution":{"observed_at":"2026-05-22T22:07:11.638770Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.21801","last_updated":"2025-07-18T08:20:23Z","snapshot_observed_at":"2026-07-06T21:17:09.837496Z","submitted_at":"2025-04-30T16:57:48Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","version":2},"cited_work":{"arxiv_id":"2504.21801","doi":"10.48550/arxiv.2504.21801","metadata_source":"pith","pith_arxiv_id":"2504.21801","snapshot_observed_at":"2026-07-10T20:47:34.608730Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","venue":"cs.CL","work_id":"3579ad7c-ab73-41db-801b-bf86628c5c02","year":2025},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"cited_paper":"/paper/2504.21801","citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:1907e961944a89fe6810ff1ba4aa52a5a45d1b64d189ac802542418ae92714bd","observation_id":"01a1f574-2670-43e5-bd5c-c7470f777cc7","resolution":{"observed_at":"2026-05-15T09:32:05.843709Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-12T04:49:13.361719+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T04:49:13.361719+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4450.339746","doi":"10.1145/3394450.3397466","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Saul, and Sorin Lerner","venue":null,"work_id":"f5860b2c-42b5-4224-a047-4bae14462316","year":2020},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:56a09dd91e4df6937bfefa89c6a681c0b867437e67ad5e682c59989b205fc229","observation_id":"8e947c6c-c5b3-4c5f-976f-bd4838539f84","resolution":{"observed_at":"2026-05-10T02:27:36.561705Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"In: Proceedings of the 37th Inter- national Conference on Neural Information Processing Systems","venue":null,"work_id":"935ce9bd-970d-49bc-bdea-31fef888a33a","year":2023},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:8198a43db64f5454cd1735291384ffbb4699029dbd28999ed3012aaf98ee3a42","observation_id":"34179bfa-2be8-4b37-bfc9-fa01cbecc685","resolution":{"observed_at":"2026-05-22T22:07:11.642280Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"In: Proceedings of the 1st Conference on Language Modeling (COLM 2024)","venue":null,"work_id":"f26df3a1-429d-4bd8-b3fd-431f33347dd6","year":2024},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:3461f64d0dc7385c6fc49094af900383f39bac1796ae2c3066c316d2761825df","observation_id":"80039801-1049-46c6-84d0-61e04a05ad6f","resolution":{"observed_at":"2026-05-22T22:07:11.677271Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-07-06T20:09:24.415233Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"cited_work":{"arxiv_id":"2412.14063","doi":"10.48550/arxiv.2412.14063","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.14063","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Ferreira, Sorin Lerner, and Emily First","venue":null,"work_id":"5070fe30-2496-4dd6-8734-0b8f76e858bb","year":2024},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"cited_paper":"/paper/2412.14063","citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:d18edd2915b74940c168ee4ab57b6ea87a81fc73d4537a21383f9544b6a5a525","observation_id":"1f80275c-2c19-4bdb-8352-2f05dad3b328","resolution":{"observed_at":"2026-05-10T02:27:36.566085Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"04f3fb05-394c-4b40-809c-5cfd5a996f3a","year":2023},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:e72c18c2fc5494d3bbd19c705f2de1e57621f41105226b65da7507b86e6fe2c5","observation_id":"e38a610b-8161-414f-90e6-fd678d1e6783","resolution":{"observed_at":"2026-05-22T22:07:11.680471Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"NIPS ’23, Curran Associates Inc., Red Hook, NY, USA (2023) On Reasoning-Centric LLM-based Automated Theorem Proving 23","venue":null,"work_id":"e6f59aa4-7d89-4868-89cc-7f242a076841","year":2023},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:d6be46da6bd502068679b35bc321730a1bda7f42af2674753f431d685cf36bad","observation_id":"71754074-76c0-4a43-be2a-a15ee4ae4947","resolution":{"observed_at":"2026-05-22T22:07:11.660536Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"In: The Eleventh Inter- national Conference on Learning Representations (ICLR 2023), Kigali, Rwanda, May 1–5","venue":null,"work_id":"24181c0b-5a45-4612-895f-acbbfe3eeb4f","year":2023},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:0ed73167a5b205ec1bde2f78abe42393c1a29f2b80409df2c7dce22714c6e58b","observation_id":"783412b9-c175-4f0d-9e83-967b8b03c53e","resolution":{"observed_at":"2026-05-22T22:07:11.653099Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.06122","last_updated":"2025-07-14T04:41:15Z","snapshot_observed_at":"2026-07-06T21:06:12.984419Z","submitted_at":"2025-04-08T15:15:26Z","title":"Leanabell-Prover: Posttraining Scaling in Formal Reasoning","version":3},"cited_work":{"arxiv_id":"2504.06122","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.06122","snapshot_observed_at":"2026-07-10T18:17:33.809709Z","title":"Leanabell-Prover: Posttraining Scaling in Formal Reasoning","venue":"cs.AI","work_id":"52342409-d371-44fc-902c-c49d46febc7a","year":2025},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"cited_paper":"/paper/2504.06122","citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:79c59fbd86aa390f343672559698ab613f79429ebb4704541ef6f2c0363fb2e2","observation_id":"f5c96333-5cd5-41cc-991f-ac2f30ea9fad","resolution":{"observed_at":"2026-05-11T13:01:25.118860Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"ca5a747a-73d7-4ccb-a7d2-869c754b77f1","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:9930c97e50dd7734dc8526e85636d62c71db3cc6dfbe96d0d8553f5cc857dd13","observation_id":"86b719d2-36f7-45fe-920b-ff1171c2354b","resolution":{"observed_at":"2026-05-22T22:07:11.656417Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"Sun et al","venue":null,"work_id":"1a2c9e7c-05ad-44b8-8631-51eb879e369e","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:c354bd96e0bacdeddf62fcd693783eb3828642596f8331587699ab1f33c77847","observation_id":"1ee09ad5-3dcd-48b2-95f9-238ece424814","resolution":{"observed_at":"2026-05-22T22:07:11.666898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"109d8315-6782-4052-9ed7-e8729e64e6f1","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:c313392285c560e1853969a2b44345975cfefa63164e30627a56f863b7fe84f9","observation_id":"2f7ab201-4c69-44f5-8ca4-dd9b5e526ff7","resolution":{"observed_at":"2026-05-22T22:07:11.673777Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"95a846cf-bc2b-4495-aeaf-8406341c1fa2","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:0942bbdf6fab67a9db007165cea9ccd05e5a2351b4bc06ac319ae90737e845d0","observation_id":"eaff9429-4500-4049-91a2-e8a45c2b37ca","resolution":{"observed_at":"2026-05-22T22:07:11.701399Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"35d345c2-821f-41a7-b126-7c352be5ceb8","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:706cf4424117721b1466d3be0b53bac74c9980cf7e194a8bd5bf8c4bb85baae1","observation_id":"a43a1c41-c5d0-45c1-a030-a831ffd7e64b","resolution":{"observed_at":"2026-05-22T22:07:11.692420Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"021b4aad-ee7c-483f-9fda-e4a31c44ece2","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:631753e756acd44fc13796e8e39f3bfdf1dcabb120dd87750f8df795cb2d896c","observation_id":"26b92e2e-d8fd-4b88-8bba-f862f1372f8e","resolution":{"observed_at":"2026-05-22T22:07:11.695210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"di ff ic ul t","venue":null,"work_id":"65e1176f-ad55-4b64-8e41-60c98d3c010d","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:e64c08b7d5f625938a5ee2e313ba04e945880303cbfe64757fb3d3a346281e01","observation_id":"3ed48bd2-e353-42f8-985a-0196c4c4ffa7","resolution":{"observed_at":"2026-05-22T22:07:11.753139Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"0a45f63a-17f4-467d-abad-5afc4a55d7f8","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:41e181c170e9cc7ad55fab1c6a3e4d55da56615b00c13f030347013283c7340a","observation_id":"fe20c8e2-218f-40a4-9ca4-3f41707dda8c","resolution":{"observed_at":"2026-05-22T22:07:11.744990Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"0fbde90e-9657-4048-97c2-b75c379cd420","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:722b845226d91f2994da6f886ed0a3d085e62ddfa54a5fb93e638ab393ae26c4","observation_id":"3b0dae6b-5b90-4794-8953-553e96bd9f4f","resolution":{"observed_at":"2026-05-22T22:07:11.686617Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"5606a82e-0e53-42df-8aa3-a9996ddb2965","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:a19cb3f8da7e40fa31b843250239ea4a8c3dff8d514b02a804e6933622eef19e","observation_id":"c06f531c-3e2a-4943-a699-dbffcd3d5811","resolution":{"observed_at":"2026-05-22T22:07:11.670096Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"Use the relevant d e f i n i t i o n s to u n d e r s t a n d the r ec ur si ve s tr uc tu re of f un ct io ns and d at at yp es involved in the goal","venue":null,"work_id":"fb187bd5-2c1d-4bc6-9a9c-a7ad40300d27","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:c53b31b2e2aa6981fb856d9b5f5577e59a4bedf20b40243d269a767bea1e4337","observation_id":"657689c3-577f-45f9-b6ef-139d86fbca3a","resolution":{"observed_at":"2026-05-22T22:07:11.707432Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"55510ea5-55b2-49f7-8528-4de738446f7e","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:1dbf65aca1f21753ca8fcc9533eafe81b9e02241029ae423b98b9f9550f16a67","observation_id":"860c1c69-cd7d-4192-814a-d8623baff9f5","resolution":{"observed_at":"2026-05-22T22:07:11.649772Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"f76f12b8-9148-493f-83b5-413802c0502f","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:5194b408f20d2cbb2407e09607ee96ca36529dc0c353e1bf0ad2876fc8a2f300","observation_id":"7c683b1c-0c4c-46e9-a665-247b42f8c15b","resolution":{"observed_at":"2026-05-22T22:07:11.635441Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"1de73d41-7dc9-4e9b-964e-df0f5410ffe3","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:84e9f518fb421893c5845d63c17d2871d0517f5b9f4d7572ac75a53361bda028","observation_id":"89625c19-48d7-4749-a2b9-e2f9b5428981","resolution":{"observed_at":"2026-05-22T22:07:11.631663Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"7a7c0322-f893-4458-a25f-1ca73e48d505","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:2dff7564ab51731fcf151f19c8c6adfbdaf232c40258b8e7e3dd45d4b2118ea5","observation_id":"3b39c52b-9934-453b-8168-5f7504d4c682","resolution":{"observed_at":"2026-05-22T22:07:11.663723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"1a60cc95-05c9-40ce-bdb8-320289294af0","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:36dcaf5b814730f40593e000c09cce6fb161ef8fb23fbb20b27b0e3129cc83af","observation_id":"d8832ce7-ee05-4d14-a5e7-d416dab55244","resolution":{"observed_at":"2026-05-22T22:07:11.704401Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"de8e203b-8705-4eb1-87ca-ece50636c76c","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:7be5adb52cbbbd5487246234b5e1a95e1f13fcaaf698b57944f381b3468a9261","observation_id":"f4c05a59-34d5-4f70-9543-64d061e2f971","resolution":{"observed_at":"2026-05-22T22:07:11.645597Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"0e709098-119f-4861-a8f5-cffabb1c878d","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:9049785c9b8d269089c27b4b2b912bea5c9cd6ed9957e2488a865bb9578dff54","observation_id":"d6a6adf0-82c0-46b8-b1ed-fee99892dcab","resolution":{"observed_at":"2026-05-22T22:07:11.628032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"9f0b29c5-1536-4eea-99a0-4c29c05b2945","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:425b26cbdc8643c6161d5029afd3afc230b230c47bc244a4cbe2d1654d1865f0","observation_id":"1f027058-6f36-4c90-8b80-15a4290981b1","resolution":{"observed_at":"2026-05-22T22:07:11.713644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"2b471894-dfa7-4765-9fb5-d7ba026a4981","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:91caec4cb4009fa04194a32044887081ab6fc7565effb51e7648b2501f51275c","observation_id":"8afbf7b9-9884-49d0-bd89-9333d7a945c3","resolution":{"observed_at":"2026-05-22T22:07:11.689357Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"efe856a1-f1c6-459d-8671-7a6f8a712a94","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:06213eb5e7b95039f1e80e1a18642f0ac2923999e63c83f61f0e9c3a37c0d271","observation_id":"05843937-4a9a-42d7-a933-3c683b1deabd","resolution":{"observed_at":"2026-05-22T22:07:11.683562Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"f6d55d61-170a-496e-bae0-2d437dbdb4e4","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:520bfeefde53a7fb229f6bb87cab9bb6eadffdd07b57cfac014065f9d4ee5649","observation_id":"6ac04299-4821-41ce-8f01-591c47dc4359","resolution":{"observed_at":"2026-05-22T22:07:11.747937Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+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":"[ User prompts ] ### Goal Before In du ct io n","venue":null,"work_id":"983da262-ad5a-4073-b969-555e4f1e1012","year":null},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:274e639dd16f02f6467dd596dcaa05dbfbe4f620fe962a3502b1d96410529b5d","observation_id":"1ef64efe-714b-447c-b8b6-46b354aa575c","resolution":{"observed_at":"2026-05-22T22:07:11.742133Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-06T23:06:12.542013Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving"},"reference_resolution":{"displayed":54,"state_counts":{"malformed_identifier":2,"metadata_mismatch":7,"parse_uncertain":0,"unresolved":0,"verified_exact":5,"verified_fuzzy":40},"total_outbound_references":54},"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-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"thesis":"As of 22 July 2026, this Paper Citation Record lists 54 of 54 outbound references and 0 inbound Pith citation observations for arXiv:2604.19558."}