{"as_of":"2026-08-07T14:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1895a600e9650bd9c310e12a47944e23bcdec8997872030b681eb8cf3a93c5bd","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T19:45:12.494195Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2507.04719/citation-record","integrity":"/paper/2507.04719/integrity","json":"/paper/2507.04719/citation-record.json","paper":"/paper/2507.04719"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:13.082102Z","title":"Formal mathematical reasoning: A new frontier in AI","venue":null,"work_id":"0ff1bcac-4f3f-4852-808c-db6583d788b5","year":2025},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.324268Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:353e85854bbe9476a397e69d6f4a66b88076625e0ea6f055aabf182c359d42bd","observation_id":"5a6769bd-2e01-4a9b-8ce9-f3285711f0b5","resolution":{"observed_at":"2026-08-06T19:45:13.086106Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:13.070971Z","title":"Kasparov and Deep Blue: The historic chess match between man and machine","venue":null,"work_id":"2f80ebcd-5bed-4206-936b-9a117882a76f","year":1997},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.328489Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:a07d7587d587c47334774897400bb72e303be9ee98a861fb2912f96cdb4cd00f","observation_id":"fefd7f76-bbc4-4136-a5de-4d8bdfefe10b","resolution":{"observed_at":"2026-08-06T19:45:13.074930Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:13.058555Z","title":"Mastering the game of Go without human knowledge","venue":null,"work_id":"d5020eec-6b95-4a3c-a2f2-6f12b4f34a3c","year":2017},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.332708Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:e217bb1f931776a8eee1b98ae819b5d29efbf4a92d3d395b78e643b615dfabfe","observation_id":"dc578c2e-3c29-4a45-83ba-4d5e8c9634e8","resolution":{"observed_at":"2026-08-06T19:45:13.063538Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:13.047434Z","title":"The Lean theorem prover (system description)","venue":null,"work_id":"21ffeebe-0fd7-4053-8763-812372940a37","year":2015},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.337267Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:af74e01e783762717d99cb016660d2a6d2ab8a7c9106a0b809bb4fdbe538689a","observation_id":"87eb9769-d695-4ae2-9f5c-52aef34fbe19","resolution":{"observed_at":"2026-08-06T19:45:13.050892Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:13.037512Z","title":"Mathematical reasoning and the computer","venue":null,"work_id":"e14b267d-faaf-4f41-ba65-71eda5567d74","year":2024},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.341468Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:ff4797b75706172bb9165dea2d197ae39913a3ec913988c4c3a1f24a35e6c0f6","observation_id":"02ca2239-00d0-480e-9806-4b2112f2c177","resolution":{"observed_at":"2026-08-06T19:45:13.040830Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:13.025473Z","title":"Towards large language models as Copilots for theorem proving in Lean","venue":null,"work_id":"d2451adf-ed27-43f4-be42-a2f2922e6168","year":2023},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.345450Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:8b973f144b3bffb7f079a5fbc35515e86b521caafe8541297948b78176e07381","observation_id":"9d9249d0-f627-4b94-ae04-6dc7dc9d408a","resolution":{"observed_at":"2026-08-06T19:45:13.029849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:13.015236Z","title":"Formalizing a proof in Lean using Claude and o4, 2025","venue":null,"work_id":"85386294-2545-418d-a243-4db16363e822","year":2025},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.349552Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:6e555053ed287a5802cdcb3f4668acc5427fe3c6cd4069060d353e61e07eaa0f","observation_id":"45865b8f-9d2c-4dce-b909-51a3335cb291","resolution":{"observed_at":"2026-08-06T19:45:13.019044Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:13.004414Z","title":"Intelligent machinery, a heretical theory","venue":null,"work_id":"be7fd9a8-8ca9-4377-ae3f-61641c861d63","year":1948},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.353163Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:1b1b8afd9d68e6d48ba596c143311bf29c09194247933be3e46f75a2f34d2362","observation_id":"3422911a-fb12-41ba-810c-006414d18699","resolution":{"observed_at":"2026-08-06T19:45:13.008155Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03393","last_updated":"2020-09-07T19:50:10Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-09-07T19:50:10Z","title":"Generative Language Modeling for Automated Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.03393","snapshot_observed_at":"2026-08-06T19:45:12.356682Z","title":"Generative language modeling for automated theorem proving, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.356682Z"},"links":{"cited_paper":"/paper/2009.03393","citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:da82f4200a43f19a7dfbfaedc7bee54e7704a146149b3c44c5b1ba1b45ab3ae9","observation_id":"9a7bd3a5-559c-4dc0-a3f1-41ea66706232","resolution":{"observed_at":"2026-08-06T19:45:12.356682Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.993462Z","title":"Learning to prove theorems via interacting with proof assistants","venue":null,"work_id":"239dbdda-f284-489e-bc0d-7e61fcdd301a","year":2019},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.360482Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:f7c60d9e5133b680eef336a78dffd7dc9a7343303647dbca8bd2d07427fcecb7","observation_id":"80c8aff9-487c-498c-a55b-14574c997efc","resolution":{"observed_at":"2026-08-06T19:45:12.997603Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.981697Z","title":"miniF2F : A cross-system benchmark for formal Olympiad-level mathematics","venue":null,"work_id":"2f3b1752-a418-450d-9983-f21290da51ca","year":2021},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.363812Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:100630f4e93e6457ae55cf1880cf0887e7bc024c70137aaede7d23462d2bd772","observation_id":"36064849-fdaa-443d-a00d-fabfd86f78f4","resolution":{"observed_at":"2026-08-06T19:45:12.985576Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.970354Z","title":"Autoformalization with large language models","venue":null,"work_id":"1257f18b-725e-4d10-9e4c-82591c216a22","year":2022},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.368614Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:9176547d48efdb1d96007366e9af005243a868054070e4e26ecc806081c61f8a","observation_id":"9a63604b-3422-45d2-8ff8-dc44ad285a2c","resolution":{"observed_at":"2026-08-06T19:45:12.974733Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.957218Z","title":"Draft, sketch, and prove: Guiding formal theorem provers with informal proofs","venue":null,"work_id":"9252ab24-8678-4c83-822a-1e1e09d2fd28","year":2022},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.372591Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:54ac974f16d978996c97a2949b70b662c91e535b3861b2339e2798cd29c874f5","observation_id":"44f9925b-9bc8-4d6d-a556-070e81133866","resolution":{"observed_at":"2026-08-06T19:45:12.962054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.944737Z","title":"Herald: A natural language annotated lean 4 dataset","venue":null,"work_id":"a99e9314-ecef-496b-b8a5-477a49f2f186","year":2025},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.376119Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:5067ed740a98b0d230c7ba177e6f4bc459a40f96aa0d2fbd93b20f1c6b95df26","observation_id":"2a358abc-a417-46e4-a903-8ba40764610d","resolution":{"observed_at":"2026-08-06T19:45:12.948850Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11354","last_updated":"2025-04-15T16:23:44Z","snapshot_observed_at":"2026-08-03T03:38:06.953412Z","submitted_at":"2025-04-15T16:23:44Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-06T19:45:12.379589Z","title":"Kimina prover preview: Towards large formal reasoning models with reinforcement learning","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.379589Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:c0e64f763fdd3732e8e49b304373fa0a66549d9f0c527a820fc175a2fd3be215","observation_id":"877e1528-8b75-4828-a5e8-7291575fcfba","resolution":{"observed_at":"2026-08-06T19:45:12.379589Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.933074Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition","venue":null,"work_id":"b8d6f036-51ae-40fa-93ff-4b17b2a34060","year":2024},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.383345Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:dbfb86eb700994020345e2074a74bf5c84946e846f25fe667e1295cbb686cbd8","observation_id":"912c0617-2245-4eef-b11e-a91ecbbd3774","resolution":{"observed_at":"2026-08-06T19:45:12.937294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.921969Z","title":"AI achieves silver-medal standard solving international mathematical olympiad problems","venue":null,"work_id":"b1ebe73b-b92a-4ce3-b860-93a4e67240a0","year":2024},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.387367Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:f28bc9460557911a2f2678eba5ab64c6cca8bb27d9ea45dbbe0b711fcc47e081","observation_id":"8bb378ba-4111-401f-9676-9db705001170","resolution":{"observed_at":"2026-08-06T19:45:12.925706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.391070Z","title":"BFS-Prover : Scalable best-first tree search for llm-based automatic theorem proving, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.391070Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:fdc6f21b6023e5b132a1537e64dce14b0da6480ec6f18e1b34f4596e5039814b","observation_id":"45e33ced-fb04-4574-896e-f3ebb5cdbf50","resolution":{"observed_at":"2026-08-06T19:45:12.391070Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.910806Z","title":"LeanDojo : Theorem proving with retrieval-augmented language models","venue":null,"work_id":"e2a51c12-9675-4cef-87d4-1a130e5ebdba","year":2023},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.395016Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:913f7c66c55a8bf0542679e3a9480fb372196c95e107418eeae41a5b44e3bc3e","observation_id":"a203d1ea-4e3b-4981-822f-d7a7d76b91c4","resolution":{"observed_at":"2026-08-06T19:45:12.914972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.898682Z","title":"miniCTX : Neural theorem proving with (long-) contexts","venue":null,"work_id":"b9e696f7-bb07-4a1d-b337-fb2e3fa6c140","year":null},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.400120Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:9140fc4c50c768bd71e373444b09178ac81d15c78f56ad5b203fa6fddcf6f559","observation_id":"9f6b171f-cdc5-4416-8704-dbe40ceef6ae","resolution":{"observed_at":"2026-08-06T19:45:12.903679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.02735","last_updated":"2025-05-05T15:37:00Z","snapshot_observed_at":"2026-07-06T21:19:09.969331Z","submitted_at":"2025-05-05T15:37:00Z","title":"FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.02735","snapshot_observed_at":"2026-08-06T19:45:12.409792Z","title":"Formalmath: Benchmarking formal mathematical reasoning of large language models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.409792Z"},"links":{"cited_paper":"/paper/2505.02735","citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:ab4fdcf4a64d2dd79d1f273555ef88c39720201af33e0cb9fe2681625972d0fe","observation_id":"b35ee521-1098-4943-91e8-90e84741c406","resolution":{"observed_at":"2026-08-06T19:45:12.409792Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.413809Z","title":"Isabelle: A generic theorem prover","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.413809Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:7ef0be8cb9ed52fc2d1a7cb4c8d769f1ce3cbe3d62de8bc7c48829fdee103655","observation_id":"428c2480-aac3-4a2b-a543-cd603a109baf","resolution":{"observed_at":"2026-08-06T19:45:12.413809Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.879818Z","title":"The Coq proof assistant: a tutorial","venue":null,"work_id":"1fbfa357-2e38-4cb4-9439-49e1c71dcc8a","year":1997},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.417504Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:3b9c823b45da86aa9fa11d991ce9187854b05f4b4a5ba1d66d4db8b0295586df","observation_id":"c48433f2-956b-4598-9b02-3a3587781d8e","resolution":{"observed_at":"2026-08-06T19:45:12.884115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.868768Z","title":"ImageNet : A large-scale hierarchical image database","venue":null,"work_id":"7f24d64c-e0d6-440d-bbdb-afe5b313840a","year":2009},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.421117Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:652c946175d1003823da6b22032468e021eef35ebcf4bf3a35fb3b904c50c064","observation_id":"c1ce3289-e6f7-49cb-acf9-e30fd36e98f2","resolution":{"observed_at":"2026-08-06T19:45:12.872724Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.855373Z","title":"Autoformalizing Euclidean geometry","venue":null,"work_id":"8cfd1da7-d711-4737-88b7-88060218283b","year":2024},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.424766Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:a6d3038723a5c7f61917b9bb0551af7fdcd0926596840f00705ece926b7212ae","observation_id":"394b9840-09d4-433b-8dd6-868bcac18a0d","resolution":{"observed_at":"2026-08-06T19:45:12.859182Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-06T19:45:12.428423Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.428423Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:08bd4dbee21158802688338f06525641260da0f8c169bc7579e58b35667f3c88","observation_id":"75440643-2b81-43f3-944f-c69793d29208","resolution":{"observed_at":"2026-08-06T19:45:12.428423Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-07-06T18:18:25.746022Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-06T19:45:12.434684Z","title":"DeepSeek-Prover : Advancing theorem proving in LLMs through large-scale synthetic data","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.434684Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:331d45a0909c353d20990f5f39aefd60c250974a9d9beca56381c383cd239225","observation_id":"566688e7-691e-4d16-8990-5af215444969","resolution":{"observed_at":"2026-08-06T19:45:12.434684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.845619Z","title":"Formal conjectures","venue":null,"work_id":"d5a5a5d2-917a-4480-a96d-01c370639d80","year":2024},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.439159Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:43bf83284fca51a54927a784499743fd54f0dd0b3aedb844e78ad48103a90065","observation_id":"180ac646-cd79-4b5c-a430-f27cb2d63f24","resolution":{"observed_at":"2026-08-06T19:45:12.849065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.833511Z","title":"LEGO-Prover : Neural theorem proving with growing libraries","venue":null,"work_id":"d30b4533-a193-49dd-8e08-b2745eed5279","year":2024},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.443828Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:baf0aa1b34b31affa10022fc102dc89c0e58ceab3572613a5bd2d8b740a593d3","observation_id":"020cda47-5c9f-4b52-ac4f-f67fc90ed96b","resolution":{"observed_at":"2026-08-06T19:45:12.837668Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.821506Z","title":"Large language model benchmarks do not test reliability","venue":null,"work_id":"83356b40-3bc3-426b-a073-626b1f06faa0","year":2024},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.447383Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:a90d8f796d292bb8a215576470398501119277f4339e967bb1fdf27490875bb1","observation_id":"634d5cc7-baea-4ee1-8cb0-063c3097b8b8","resolution":{"observed_at":"2026-08-06T19:45:12.825408Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.810559Z","title":"Do ImageNet classifiers generalize to ImageNet ? In International Conference on Machine Learning, pages 5389--5400, 2019","venue":null,"work_id":"a60e9175-86eb-4a88-9619-a55554cced26","year":2019},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.451014Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:414d480d03efdaf013e741f550c140fcb350b5656e3169624a8f46a56f040e8e","observation_id":"0b6fd495-45bc-41d9-a304-c651762c3cd6","resolution":{"observed_at":"2026-08-06T19:45:12.814716Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-06T19:45:12.454495Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.454495Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:c611c1044645e3301a2ba2106696303cecdee007076bfa7be2010acca15e033b","observation_id":"11e8fc58-59b8-4021-aa85-c1d3d3da460f","resolution":{"observed_at":"2026-08-06T19:45:12.454495Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.07047","last_updated":"2025-06-08T09:04:14Z","snapshot_observed_at":"2026-08-07T05:40:58.238740Z","submitted_at":"2025-06-08T09:04:14Z","title":"Mathesis: Towards Formal Theorem Proving from Natural Languages","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.07047","snapshot_observed_at":"2026-08-06T19:45:12.458150Z","title":"Mathesis: Towards formal theorem proving from natural languages","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.458150Z"},"links":{"cited_paper":"/paper/2506.07047","citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:2dfcc63eefc44b1005d342c6eea47f031569457a932a12b7bdffa8f2330b3cfc","observation_id":"1c535df0-d201-4c60-8e09-330d4e4d6be9","resolution":{"observed_at":"2026-08-06T19:45:12.458150Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.798837Z","title":"Autoformalize mathematical statements by symbolic equivalence and semantic consistency","venue":null,"work_id":"7baeb994-e6da-4eb9-9313-cce3613321cc","year":2024},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.461867Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:ae56eb67040c765f4c956bee11ea55ec75dd9245c7fe5fd085193835fb20f3ad","observation_id":"3d2fc69a-5ed3-4571-a7ae-2ce0502873cf","resolution":{"observed_at":"2026-08-06T19:45:12.802628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.786506Z","title":"A Lean dataset for International Math Olympiad : Small steps towards writing math proofs for hard problems","venue":null,"work_id":"d17427c5-6d1e-4e32-8700-29d92e903e30","year":2025},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.465106Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:ec51bb23ff93ea0cef537d44c3210aee6ab9c8779c2e28cea2c737be756b830c","observation_id":"b39e162f-48c9-4171-aa58-475604dfa78f","resolution":{"observed_at":"2026-08-06T19:45:12.791272Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.773742Z","title":"Hypertree proof search for neural theorem proving","venue":null,"work_id":"07f4afe9-7c8d-4890-9141-3995a398362f","year":2022},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.469215Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:28d47a887a214d9b7c2324e29603867eacfdb8c85bd468ba1ea1c3d217884255","observation_id":"dd7f8ced-0600-49ac-af64-b316247039f6","resolution":{"observed_at":"2026-08-06T19:45:12.778285Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.472473Z","title":"Scientific discovery in the age of artificial intelligence","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.472473Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:8a61bc5613c35e2aad35725ac29d2ff0a8a40878270a0375f2a9f95d7dbf3759","observation_id":"6c06f620-f0d5-4861-8604-8a6e9bb54367","resolution":{"observed_at":"2026-08-06T19:45:12.472473Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.753263Z","title":"Mathematical discoveries from program search with large language models","venue":null,"work_id":"664bc9c9-2812-4be5-8701-c682a31e7188","year":2023},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.475720Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:5c93ff1b5221eab7bcd1607bec47a214441a0363b28e9d0dd0defe1cd7ed8ba1","observation_id":"77330ca6-1f77-4156-8455-ffc5e81d6485","resolution":{"observed_at":"2026-08-06T19:45:12.758117Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.741426Z","title":"Solving Olympiad geometry without human demonstrations","venue":null,"work_id":"904dedcf-1afc-43bf-b8a9-121ced9cd361","year":2024},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.480544Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:c016be9850f1fdfb2f423f24dabbce9dad59acafa225ce9ce94c6828c34efffa","observation_id":"28cd12d9-34a5-4399-a34e-8e6dd3a599f2","resolution":{"observed_at":"2026-08-06T19:45:12.746064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.729246Z","title":"Competition-level code generation with AlphaCode","venue":null,"work_id":"cd4b8e85-37e7-4952-a249-28215e897e5b","year":2022},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.485096Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:1fdec05e5ba8b7113fa0a2b8695f86f4ec58ab9adac39bc242af59b7fadb7d29","observation_id":"60870031-b79e-467b-a627-acc0195b41b9","resolution":{"observed_at":"2026-08-06T19:45:12.733318Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.712625Z","title":"AlphaEvolve : A learning framework to discover novel alphas in quantitative investment","venue":null,"work_id":"a9fcdb65-1f75-4222-b164-fa0b0de44060","year":2021},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.488855Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:617236d8cc8bac0ca0e48b14556b7c4ea236f3bb4106f7dd3f24620e62fc0e19","observation_id":"e3b76b11-0f7e-4236-bc9f-58b61a2cf483","resolution":{"observed_at":"2026-08-06T19:45:12.718695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:45:12.494195Z","title":"Welcome to the era of experience","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.494195Z"},"links":{"citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:a58740eac7cbccd51dbd8b68723f5fe66fa9d02518ef36445ba71c38ed7ff716","observation_id":"25d85e02-ab7c-4a69-8873-a9e438c4756c","resolution":{"observed_at":"2026-08-06T19:45:12.494195Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-06T19:38:53.449978Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":0,"verified_fuzzy":31},"total_outbound_references":42},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2507.04719."}