{"as_of":"2026-08-09T12:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0bc57d35695e98a41be411dd7b9d5e2a971d93b0c4de3991efa280e992ce50c9","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-09T06:31:02.800959+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-07T23:33:10.458774Z","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:b604cd91682134558b5da38bb3cf8ff055fcc56987c68f2dcb4838f6d5754b82","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:0580e3603f80d888b3b0b57ed40357adb1a004e390606393ff67b16e120a1504","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:a92a89176d570bb9494b891ce50d4ba50738c8bdaf11185cc955b3b5d3f2b5a1","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:6968d853536d9cb270dbd257174c3417166f02b4c9c501d95f00e296e030914e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:e5f8fc148e6d763f6226659f208166fbe4778332d4f39ce398e77564fafa7df8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:ee324c7013c8c19623a83499b8e450ee01fdb0ef756e7a6947e603e062af2b78","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:c67242504c66d475174349fc8979144e83ef8e29a7422882122349017e60dda7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:612e83caa6186145c70ced0137d4a99f2552d6061d28496689dbb9f87e10bf10","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:23b65a94a81c0caf074f466f0470cfe095e9a0a7a1435da60748a9bcb0afed7f","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-07T23:33:10.458774Z","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:a73816c7e64eaebb1bb90f3cc0d983c4f55d4eecba38fc265f5dfd9c0161cdb3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:6a46f3f6c5fb92203fe3ca2ba902cb0e36d570967a0c7eed6b92cd6cefffa61d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:6bdecf03dba65ba79fb421bf58a790e9608cbbf8f5454d250f02d5a08329d10a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:88117dc84b7715509b3323e5ffd1195f99de4fd17dc2f6a098c6df8b8135abf9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:e0df5b192fc7c58128d396be190ed47693fb92031a669cf1bf2a271a6dabf060","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:7a9996a46e3dbb679bd695e301b83bb12ef6f73b459e66fb32fd87b1c60864e0","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-07T23:33:10.458774Z","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:b0e394a5dcbb651291ea92b67ed9265f1bacd156d7125b5bc877343f72cd8096","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:cf5c8475a16d5f0a74ac5b56371a174fef38806b40089de0e82dc73f3305c2db","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:bbe7159f4df9a910eac63780d59c4ad41a73ac2a04b13e13f5e48652167d9f1a","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-07T23:33:10.458774Z","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:34f5087c8b37f554a5693cc4858f8e581f42914029b257e4e9390d9f1c4d249c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:005cac3cc8718d211b4bce4a9a3e1ea7b11cffa0a03a9509a1a3482c47ec2304","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-07T23:36:07.412083Z","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-07T23:33:10.458774Z","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:3d49c9cd6148ea913d7642acd6102ce316a6a004a5ac897db5aaf41a3e3f2851","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-07T23:33:10.458774Z","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:894a14f462313ea60b94b53ae7d331254e077a53ee56410bf4553f4f88a9371d","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-07T23:33:10.458774Z","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:43acc44d5303ca1144e2554e3d43f00db0ea8f785f39aa390b2d622a727ebd33","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:556f72b0b4f8c993db7b0a5f30b57da8d04977fa64900a72d9b4a2c211d6860e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:cba5fce6adba68d13ed7398eef41ad2e65318601daa94367263f57e58273c1ae","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-08T12:00:22.357251Z","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-07T23:33:10.458774Z","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:723051477e4b824e33d39e3f61cef158983ec43a96c697378e338c61c0f8476e","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-07T23:33:10.458774Z","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:07cc366d321ca07b863feea5d61bc37537ddae02692bfe77a1cdb529ff5fd240","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-07T23:33:10.458774Z","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:e732d032ec68899c42c9b8d358e561c756d7e7e6b187b9c3c173e368666a7255","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:7d2d45d7ed9e358b60cef1e1645e464e21f722835225cf6d2aae63284a2b9383","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:78280538baa4d589ca20a4d838862e81a7a58bdb8aa3fd45d71b462c02a99a7a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:27fe8008499a694e70e6131c3eb0644c3bb351ebd65de31659863f540aea3e3f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:540b4a5484aac8903d5bc801ef7f9cf67c5e7814071ac465784cdb599219b081","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-08T15:57:39.040729Z","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-07T23:33:10.458774Z","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:a18eae3009155c73ea549425ce43c19f1bd5c5627476535aa6e0aacaf55bff3e","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-07T23:33:10.458774Z","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:e53ec9ff2e19ed799422c204560de497e4df0c02aca590fc5e61e50c27a4e110","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:9ea48fb5820d692b0cc81d3677ef3c9218fdb9c24e6e94967fdf79b7c48246bd","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:17c673a407745ee1c2d702d01b2ddac451d738c5b7c84595072a770bec4773c6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:03ea062f3b37e6f830e3867552ae5e73850c22aee31b3486b57ed912e75f0996","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-07T23:33:10.458774Z","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:7aeeedfeea14cb051bf4b7c092a2355b7dd81e40673db48fb55c7293f42ed339","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:410a579f5d44794a9607f6e8ba60f921f2fb06161a5f3fc932bd32511cca5da6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:0ddce6fa4573c6e8d513772d51409cdd7b4d3ffacd7af0405e0dabaf00ab1145","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:3f531089f32c751a6e3d6ee735ce153fa02d04266c369270b3f529a07ccd52ab","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T23:33:10.458774Z","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:00d2ca3fd2300d8983b75185df0f60d5651bc5f13d1b33e67e8184c6ad8eeba1","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-07T23:33:10.458774Z","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2507.04719."}