{"as_of":"2026-08-17T22:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4633bf1507a510f4217cfebf80cfb546451050f90a29087621eff79d2159c827","coverage":[{"denominator":78,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":78,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T06:05:42.675713Z","state":"measured"},{"denominator":78,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":78,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2504.19188/citation-record","integrity":"/paper/2504.19188/integrity","json":"/paper/2504.19188/citation-record.json","paper":"/paper/2504.19188"},"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-16T06:05:43.997012Z","title":null,"venue":null,"work_id":"947ec3bf-4435-43d3-9bd6-e2fd62c12d84","year":2022},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.342230Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:c806d3c4980a6b84a9808a84d3f26f963ad8a8f0dcce3f629b6765e2b075768c","observation_id":"e3eedcd3-62f3-498d-b7e6-029d6fed47ee","resolution":{"observed_at":"2026-08-16T06:05:44.001514Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.11259","last_updated":"2020-06-19T17:48:09Z","snapshot_observed_at":"2026-08-06T13:07:49.195329Z","submitted_at":"2020-06-19T17:48:09Z","title":"Learning to Prove from Synthetic Theorems","version":1},"cited_work":{"arxiv_id":"2006.11259","doi":null,"metadata_source":"pith","pith_arxiv_id":"2006.11259","snapshot_observed_at":"2026-08-16T06:05:43.404339Z","title":"Learning to Prove from Synthetic Theorems","venue":"cs.LO","work_id":"8f1e76b9-48c9-4bbb-a4b7-6b8d65e988aa","year":2020},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.347912Z"},"links":{"cited_paper":"/paper/2006.11259","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:cbeb21e321151e6fd8452897c53a5f455c9aa5c9fb85a4b19f8d877475dd67a7","observation_id":"9a1000b3-28bd-472e-889e-e5f7beab24b5","resolution":{"observed_at":"2026-08-16T06:05:43.409339Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.982245Z","title":null,"venue":null,"work_id":"8f398d90-13c5-4cb9-a237-d6507fb8ebd9","year":2022},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.353180Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:62e69427684188bc2a5b4a5facdba33d64a6b2f48b338ae3cc47b56e67718956","observation_id":"30040727-4a26-4402-912d-8466c50eaf94","resolution":{"observed_at":"2026-08-16T06:05:43.986891Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.12433","last_updated":"2023-02-24T03:28:46Z","snapshot_observed_at":"2026-08-16T15:53:03.437287Z","submitted_at":"2023-02-24T03:28:46Z","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.12433","snapshot_observed_at":"2026-08-16T06:05:42.358300Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.358300Z"},"links":{"cited_paper":"/paper/2302.12433","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:19be5c4a466ed0e837fe6346c7ebf3a0409fbca080caa4f520c4fe150ecc0aa2","observation_id":"aaf153b5-b0af-41a2-885a-f8f2f9993865","resolution":{"observed_at":"2026-08-16T06:05:42.358300Z","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-16T06:05:43.966946Z","title":null,"venue":null,"work_id":"0261851a-bc14-47d2-9348-60355d47ceb4","year":2024},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.363787Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:0bb409d73b8d1fc489ab4872db9f201be0236492fafb634d38f167335d17694f","observation_id":"339c1e55-b132-4c46-82f5-a54c12e15eb0","resolution":{"observed_at":"2026-08-16T06:05:43.971542Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:42.368745Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.368745Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:b671fcba63d2a79a0167bd81ed12c6d33ab5de01a37fa8f366f3cbfe4946eb2c","observation_id":"ebec495a-6093-4c75-93d3-c958f37d3c2b","resolution":{"observed_at":"2026-08-16T06:05:42.368745Z","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-16T06:05:42.374062Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.374062Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:3a3337694cef5380756c8287179b6f26f576eeec275e245b760590bd260e574c","observation_id":"d7e18198-6d1e-482a-9f85-313dc24ecb3a","resolution":{"observed_at":"2026-08-16T06:05:42.374062Z","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-16T06:05:43.933104Z","title":null,"venue":null,"work_id":"75d412fd-0f44-4012-9457-1c356111f968","year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.378687Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:16d987519761e93e41a4696d067395abe732c85fffea81453298f60764f57a5e","observation_id":"d775e4a0-9836-4090-8583-d1e7ca15a17a","resolution":{"observed_at":"2026-08-16T06:05:43.937221Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.919689Z","title":null,"venue":null,"work_id":"857a9578-6d67-4fa7-8cd8-571a409af574","year":2021},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.383187Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:a31a4996f1fb49de03265c8c56347592fe749d4cf42bfb19abee9a5f8e460739","observation_id":"8d839bcc-2dc3-4721-80a5-47cf30b1f368","resolution":{"observed_at":"2026-08-16T06:05:43.923411Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:42.387919Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.387919Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:57ec2006b139a2a6b428abcdc4950b395d5a0afd8fa2c96b33589f6df83b2d0f","observation_id":"e5baf325-a46c-4f9f-9ee9-5892aa989eeb","resolution":{"observed_at":"2026-08-16T06:05:42.387919Z","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-16T06:05:43.896369Z","title":null,"venue":null,"work_id":"b284aadb-5427-4c4e-8fa8-c2e3b4eec224","year":2015},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.392519Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:3df9b0e3ea996169b426f71aca1f850216bc976a9a2d6447a94151442d90420a","observation_id":"5d81836b-b162-428e-bade-3ff85fbaf48f","resolution":{"observed_at":"2026-08-16T06:05:43.900202Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-14T11:44:44.147508Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-16T06:05:42.396400Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.396400Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:04858468fa3a5da65cf1a22b79c21223b9f93c6552a487ff3d3e1ee4aee4c1c5","observation_id":"e0583d58-e69a-48e4-9cf6-375495831d27","resolution":{"observed_at":"2026-08-16T06:05:42.396400Z","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-16T06:05:43.882692Z","title":null,"venue":null,"work_id":"8318c7b2-d505-40f4-a3a5-0fe4ef9c4bb2","year":2003},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.400967Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:827853352e07529f8c89c88a163d25745f1bcccca3330cd4173b6853629fb86b","observation_id":"a1693a7d-c7db-4061-8882-2db926b72b1d","resolution":{"observed_at":"2026-08-16T06:05:43.887541Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2004.14959","last_updated":"2020-04-30T17:08:03Z","snapshot_observed_at":"2026-08-14T22:53:01.742560Z","submitted_at":"2020-04-30T17:08:03Z","title":"Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.14959","snapshot_observed_at":"2026-08-16T06:05:42.404972Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.404972Z"},"links":{"cited_paper":"/paper/2004.14959","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:b1f91bd313d07475d83e560d13fb6b8928bed914c6b6eca79e5115609c94644c","observation_id":"a6072ffe-3dd3-42f0-aede-19e05734d726","resolution":{"observed_at":"2026-08-16T06:05:42.404972Z","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-16T06:05:43.868422Z","title":null,"venue":null,"work_id":"dbd25d69-0ab0-4375-910f-c8c3e7257a1b","year":2020},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.409270Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:acbdeebd8bd4fc39e5ae75db653ff3b3fdb9f2932fbb34a9bf0c2342b7d9118f","observation_id":"2db80847-a2dc-4b8b-b70d-6c90e892abd4","resolution":{"observed_at":"2026-08-16T06:05:43.872671Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.854015Z","title":null,"venue":null,"work_id":"d2bdde07-f045-4ef7-8244-b24369ad1248","year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.413201Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:5fb86f9c2e3158ab526e8ceec0d1ee9baa4870d75269ec09483193870b126f6b","observation_id":"07e4369a-6146-48ca-9c41-c047161873c7","resolution":{"observed_at":"2026-08-16T06:05:43.858548Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.08676","last_updated":"2023-05-15T14:32:48Z","snapshot_observed_at":"2026-08-17T15:43:11.917880Z","submitted_at":"2023-05-15T14:32:48Z","title":"An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations","version":1},"cited_work":{"arxiv_id":"2305.08676","doi":null,"metadata_source":"pith","pith_arxiv_id":"2305.08676","snapshot_observed_at":"2026-08-16T06:05:43.334665Z","title":"An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations","venue":"cs.AI","work_id":"a26a94d8-c651-45ab-8822-9c523ebd534a","year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.417241Z"},"links":{"cited_paper":"/paper/2305.08676","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:fbd82a3b851373339a9c91ab9107d9afdb0c1175aa34fa11789fc7b24b21b41e","observation_id":"38933512-bdbe-42ba-a7b0-17d8ff8ebfa8","resolution":{"observed_at":"2026-08-16T06:05:43.339994Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2102.06203","last_updated":"2022-03-16T02:59:37Z","snapshot_observed_at":"2026-08-16T18:46:08.345300Z","submitted_at":"2021-02-11T18:59:24Z","title":"Proof Artifact Co-training for Theorem Proving with Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2102.06203","snapshot_observed_at":"2026-08-16T06:05:42.421488Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.421488Z"},"links":{"cited_paper":"/paper/2102.06203","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:ebaa6c66c0ca403be672a954382830a7b0dc69d14d8e958b0aaf3f467e03984d","observation_id":"459819cd-9963-4b07-aa27-e247d6fe2490","resolution":{"observed_at":"2026-08-16T06:05:42.421488Z","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-16T06:05:43.838473Z","title":null,"venue":null,"work_id":"715462d6-bfd0-4077-bb15-10f8a8b289ec","year":2025},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.425442Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:b3a0f175daf3145a14ee91644fdbdc5a547ec3882bb32447075d1f57766fc4fa","observation_id":"d417269b-684e-4896-acb3-039c4e0ad461","resolution":{"observed_at":"2026-08-16T06:05:43.842685Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1806.00608","last_updated":"2018-12-21T18:37:30Z","snapshot_observed_at":"2026-08-16T11:54:41.067983Z","submitted_at":"2018-06-02T09:19:08Z","title":"GamePad: A Learning Environment for Theorem Proving","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1806.00608","snapshot_observed_at":"2026-08-16T06:05:42.429569Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.429569Z"},"links":{"cited_paper":"/paper/1806.00608","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:f350bd557485d077aa230840f6fed91a78c36f9085e42743dc8015b453468329","observation_id":"c4748428-e68a-4eac-9cd0-c544cd035f5e","resolution":{"observed_at":"2026-08-16T06:05:42.429569Z","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-16T06:05:43.825162Z","title":null,"venue":null,"work_id":"01628c28-4e9b-4703-aaa3-7c96798b5e50","year":2016},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.433708Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:bc3c4822331e07518d2c946d3010eebd5be18e9d01ea7a5e850c1b954f8fc59f","observation_id":"b97a4d19-6fea-42c2-a6f9-1f57079f13f3","resolution":{"observed_at":"2026-08-16T06:05:43.829175Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.03755","last_updated":"2023-11-09T09:58:15Z","snapshot_observed_at":"2026-08-16T14:45:24.377865Z","submitted_at":"2023-11-07T06:42:15Z","title":"Multilingual Mathematical Autoformalization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.03755","snapshot_observed_at":"2026-08-16T06:05:42.437834Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.437834Z"},"links":{"cited_paper":"/paper/2311.03755","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:de69fc2c452941140880cbfb6330820e45c0c1425a6086bbc0b06e9f8415a837","observation_id":"a3d155fe-6a45-4fd9-a2af-69b90930a9fc","resolution":{"observed_at":"2026-08-16T06:05:42.437834Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.12283","last_updated":"2023-02-20T16:10:20Z","snapshot_observed_at":"2026-08-16T16:22:05.693119Z","submitted_at":"2022-10-21T22:37:22Z","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.12283","snapshot_observed_at":"2026-08-16T06:05:42.441934Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.441934Z"},"links":{"cited_paper":"/paper/2210.12283","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:c0c744c9ca61fb1231f37b4d260758a4c6eef984840a24bfb119e61719bded54","observation_id":"fa7d64c8-a0c7-40e4-8860-b8b3b43a3f80","resolution":{"observed_at":"2026-08-16T06:05:42.441934Z","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-16T06:05:43.810580Z","title":null,"venue":null,"work_id":"b6db88d5-2617-4149-b57b-ae4545fa93c1","year":2021},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.445857Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:e28c01b93b152787aebe8e44b06323fc0754bd354590a5f7fe43432ec0ee2f45","observation_id":"51472a1d-d56a-4cd5-9e56-3384017ea13a","resolution":{"observed_at":"2026-08-16T06:05:43.815287Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.794932Z","title":null,"venue":null,"work_id":"f10f9237-e556-4450-8289-629532133ac6","year":2022},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.449556Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:0f90edfdf066a66c5fc07c15dde1790fd105cc6be6e42fedb1b918b84ee4c497","observation_id":"8ba54b3d-675f-48a3-857a-c20a9b690795","resolution":{"observed_at":"2026-08-16T06:05:43.800137Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.779075Z","title":null,"venue":null,"work_id":"1fd25156-f6f9-4963-b9ff-02b6cd4771df","year":2013},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.453368Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:a0d4ca2ea4f520dc61fd16b1c9f47b5e88f76e1acf042b4f50aa34351104f56c","observation_id":"65ad04b7-607b-4316-b8e5-69e6bbd8fa2a","resolution":{"observed_at":"2026-08-16T06:05:43.783689Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1807.10268","last_updated":"2018-07-26T17:54:58Z","snapshot_observed_at":"2026-08-14T18:47:21.212065Z","submitted_at":"2018-07-26T17:54:58Z","title":"Premise selection with neural networks and distributed representation of features","version":1},"cited_work":{"arxiv_id":"1807.10268","doi":null,"metadata_source":"pith","pith_arxiv_id":"1807.10268","snapshot_observed_at":"2026-08-16T06:05:43.249560Z","title":"Premise selection with neural networks and distributed representation of features","venue":"cs.AI","work_id":"cba54fd6-4e12-470d-a515-5fa63b6fb9cb","year":2018},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.457440Z"},"links":{"cited_paper":"/paper/1807.10268","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:9f7d6820f98321038d3f34a365a70e505ef8fee9036e8a3c451f1f6da447fa51","observation_id":"0b3a123e-d2d4-4fab-947d-c06c54f93d53","resolution":{"observed_at":"2026-08-16T06:05:43.256682Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:42.461551Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.461551Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:9d3734f3e9e4d53a69ed2ed30dd24bc75d8038acbf663e422b94c8a6ee44f8f1","observation_id":"f0394959-1899-4a12-9cef-1f34e3d33bb3","resolution":{"observed_at":"2026-08-16T06:05:42.461551Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.10040","last_updated":"2025-03-15T12:25:58Z","snapshot_observed_at":"2026-08-16T13:34:27.937520Z","submitted_at":"2024-07-14T01:43:07Z","title":"Lean-STaR: Learning to Interleave Thinking and Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.10040","snapshot_observed_at":"2026-08-16T06:05:42.465366Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.465366Z"},"links":{"cited_paper":"/paper/2407.10040","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:5c0d77d1cbda836583bcf658b39f856ee6ca4b93183076bad9814c705e6e0d95","observation_id":"9cf8732c-3eb1-4ee4-917c-5a36d0fd7496","resolution":{"observed_at":"2026-08-16T06:05:42.465366Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-08-15T13:54:00.996017Z","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-16T06:05:42.469169Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.469169Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:97440c492f396b6165fee3eaaa23c3c9bf01d82ced99f603d70170660202c109","observation_id":"35310ba6-ba24-4895-94aa-04c933b55073","resolution":{"observed_at":"2026-08-16T06:05:42.469169Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.04295","last_updated":"2023-12-05T08:38:01Z","snapshot_observed_at":"2026-08-16T23:25:24.853153Z","submitted_at":"2023-09-08T12:34:28Z","title":"FIMO: A Challenge Formal Dataset for Automated Theorem Proving","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.04295","snapshot_observed_at":"2026-08-16T06:05:42.473197Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.473197Z"},"links":{"cited_paper":"/paper/2309.04295","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:e4af1aa949d4f0341649324e8b77f27db2ebe35493b46fb2c12e6c035c5f86e5","observation_id":"f98f4317-5bdd-4525-8e55-537c4fc8ad7a","resolution":{"observed_at":"2026-08-16T06:05:42.473197Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1701.06972","last_updated":"2017-01-24T16:39:05Z","snapshot_observed_at":"2026-08-15T10:04:00.801098Z","submitted_at":"2017-01-24T16:39:05Z","title":"Deep Network Guided Proof Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1701.06972","snapshot_observed_at":"2026-08-16T06:05:42.477204Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.477204Z"},"links":{"cited_paper":"/paper/1701.06972","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:058aff69f53324e4251c552cb25c3a61d21f2b786766e66b8e14f3ea13709269","observation_id":"97591dd1-2f54-490b-b4ae-0705772baa81","resolution":{"observed_at":"2026-08-16T06:05:42.477204Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.01940","last_updated":"2024-10-14T03:46:00Z","snapshot_observed_at":"2026-08-16T13:46:28.008805Z","submitted_at":"2024-06-04T03:48:08Z","title":"Process-Driven Autoformalization in Lean 4","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.01940","snapshot_observed_at":"2026-08-16T06:05:42.481678Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.481678Z"},"links":{"cited_paper":"/paper/2406.01940","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:5ebb795f09c3e21a56e95caa68167807e4b5755e06f1e1b297fec10503d24fb9","observation_id":"76f3f9e5-56dd-40b4-b27c-bf1490036709","resolution":{"observed_at":"2026-08-16T06:05:42.481678Z","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-16T06:05:43.753574Z","title":null,"venue":null,"work_id":"1c42aa85-5e59-4f2b-bd07-6a6b625176bc","year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.487637Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:ff07cd486867d98703fb687e0632c3ade5f8dcaf1186c810715379cd491d09f8","observation_id":"70cfc211-6e16-45f1-8667-1d5b5cf2853e","resolution":{"observed_at":"2026-08-16T06:05:43.758056Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04488","last_updated":"2024-03-18T14:16:22Z","snapshot_observed_at":"2026-08-16T15:49:52.513390Z","submitted_at":"2023-03-08T10:22:00Z","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04488","snapshot_observed_at":"2026-08-16T06:05:42.492544Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.492544Z"},"links":{"cited_paper":"/paper/2303.04488","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:3ef340a1f779867fb111d8d95602f93540467460fa704deb8d980ffeab462f40","observation_id":"8388912e-80d9-40e1-99c8-78d0f5cae809","resolution":{"observed_at":"2026-08-16T06:05:42.492544Z","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-16T06:05:42.497283Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.497283Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:b71eacb6f6e44d2e3f457839f2035362b54161fa57b70cdeb3fc45daefb039a4","observation_id":"2a1d5cc7-11d3-420d-adb7-19e7eee2f358","resolution":{"observed_at":"2026-08-16T06:05:42.497283Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.17216","last_updated":"2024-05-27T14:35:10Z","snapshot_observed_at":"2026-08-16T13:49:01.308161Z","submitted_at":"2024-05-27T14:35:10Z","title":"Autoformalizing Euclidean Geometry","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.17216","snapshot_observed_at":"2026-08-16T06:05:42.501609Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.501609Z"},"links":{"cited_paper":"/paper/2405.17216","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:a1c1880a741f3c5a3ee5d08da10e5ca8912b5b7ef9a80ef901fbffe74df0ee2b","observation_id":"d4d4c8a4-ec65-4310-a4e1-4dfc56ad579a","resolution":{"observed_at":"2026-08-16T06:05:42.501609Z","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-16T06:05:43.729905Z","title":null,"venue":null,"work_id":"c66cfd3b-714e-4f55-8cf9-8dc691a81daa","year":2020},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.506383Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:d1c2388aa16cc0f4f256dacac4e52b9b3af68fc0469052e4d127e443489aff07","observation_id":"aec59c7d-ab35-49ef-ba0c-aded57a10e73","resolution":{"observed_at":"2026-08-16T06:05:43.734006Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.716289Z","title":null,"venue":null,"work_id":"9791e768-2ad6-4334-8595-10796a6aaa67","year":1994},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.510765Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:e45f780c42318e6d4b2f3322061e28330d26edcb35b4c79fcae40081938a9c30","observation_id":"6566d812-ba39-4dec-956b-e001bd622332","resolution":{"observed_at":"2026-08-16T06:05:43.720276Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.702877Z","title":null,"venue":null,"work_id":"0250ca64-373b-4554-9a72-3b128f05ec44","year":2017},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.515483Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:c429f96e47ab8716f1455633d3a6d5f2b3abf6d73f16936de2882c138f282b04","observation_id":"c57ca47f-8de2-4cd1-9116-bcced4a46409","resolution":{"observed_at":"2026-08-16T06:05:43.706988Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2004.08212","last_updated":"2020-03-11T14:59:37Z","snapshot_observed_at":"2026-08-07T13:21:27.525380Z","submitted_at":"2020-03-11T14:59:37Z","title":"Stateful Premise Selection by Recurrent Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.08212","snapshot_observed_at":"2026-08-16T06:05:42.520161Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.520161Z"},"links":{"cited_paper":"/paper/2004.08212","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:451a1dbc4db76e5e7f6b5a38bb94e1759eb97b6ce8345ce6474c93cd1ebb4452","observation_id":"6622c7c3-8e23-4aa4-b24e-53d75d589852","resolution":{"observed_at":"2026-08-16T06:05:42.520161Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-16T17:23:59.526328Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-16T06:05:42.524951Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.524951Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:2d53f0070841cb0b7d4f13f540977f26f3519f0a6172c59b6c792ee4000660f3","observation_id":"729f3ea5-ac43-49d9-96f4-3c8f7dea2ca2","resolution":{"observed_at":"2026-08-16T06:05:42.524951Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03393","last_updated":"2020-09-07T19:50:10Z","snapshot_observed_at":"2026-08-15T02:27:43.801647Z","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-16T06:05:42.529197Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.529197Z"},"links":{"cited_paper":"/paper/2009.03393","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:abaf3ad14ebd9913d8b772e39279ac34a41ecdfa8cb68b576dfff721bef24679","observation_id":"ca2f2499-70ea-44bc-a903-f732ebdb4b80","resolution":{"observed_at":"2026-08-16T06:05:42.529197Z","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-16T06:05:43.689263Z","title":null,"venue":null,"work_id":"f46fcabe-a91c-480f-b1db-9e3ccb0afd8e","year":2019},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.533408Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:98b39a34ad9e430370b26f0fa7b41a63f35d467d88d44afa320de36bc40bc20c","observation_id":"748c4581-4a36-4c35-9d20-e8f123d7807f","resolution":{"observed_at":"2026-08-16T06:05:43.693378Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.671961Z","title":null,"venue":null,"work_id":"bd239d0f-8694-4130-8c13-c5de21c86e28","year":2020},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.537262Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:c65c034d3d50d193c976e11aed600c00c92e961e42794762e389022053a6213b","observation_id":"373a77d5-e04c-475a-9e06-bafe144b877a","resolution":{"observed_at":"2026-08-16T06:05:43.675861Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.657884Z","title":null,"venue":null,"work_id":"78050d57-5dd0-4b70-af5c-fb3bf5c24827","year":2021},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.541198Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:ac768633ae89dcc752d5313a02df3055698d81f4b4ccb8e3c8c5b6c7dee06025","observation_id":"c99d0bfa-0c48-4904-a93d-d9b6aa5a1d02","resolution":{"observed_at":"2026-08-16T06:05:43.662231Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.02949","last_updated":"2024-06-23T13:54:33Z","snapshot_observed_at":"2026-08-16T14:29:33.127350Z","submitted_at":"2024-01-05T18:52:09Z","title":"Graph2Tac: Online Representation Learning of Formal Math Concepts","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.02949","snapshot_observed_at":"2026-08-16T06:05:42.545014Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.545014Z"},"links":{"cited_paper":"/paper/2401.02949","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:151838284e682ba1defd6b9a82e4b68436a2ff4e2c0b05d111cf68557697dc27","observation_id":"837962fa-4f39-4ffe-bffa-72b2e1aa865c","resolution":{"observed_at":"2026-08-16T06:05:42.545014Z","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-16T06:05:43.643014Z","title":null,"venue":null,"work_id":"93358067-a5dd-4617-bdb9-77601c852e06","year":2020},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.548772Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:6145d7bc0d39b2b3669a85ecfad465a76b219c4a32f6bfed5ba0c628d1ef537e","observation_id":"3476f508-3f45-4bbc-b559-f04fcf377959","resolution":{"observed_at":"2026-08-16T06:05:43.647161Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.628973Z","title":null,"venue":null,"work_id":"f07ccd95-306c-4452-a362-0d63f9cc403f","year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.552607Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:fb552483203b99d3954f69a82a0fdc834c32ce958234d58a6851b9ccb262775c","observation_id":"e10d688d-fee9-4cfd-b177-5694af9bfdf3","resolution":{"observed_at":"2026-08-16T06:05:43.633249Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.612176Z","title":null,"venue":null,"work_id":"26e4b287-2ece-4087-a08c-129a53c7435b","year":2002},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.556859Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:9ef5fe5bdf462a97798133fe3f18ebdc190bd112f14159618c38941e2a3e1b1b","observation_id":"a91924b2-2be5-4862-8127-25782ceec0c6","resolution":{"observed_at":"2026-08-16T06:05:43.616554Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.598556Z","title":null,"venue":null,"work_id":"74ccb903-4696-4b86-a6b0-17a8121921bb","year":2021},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.560837Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:51e39670c18832e2a26c7d9be8df03a99e2ff34b7b27b3ed2264291966e3bd3e","observation_id":"d9914d1a-97e5-4d95-83e9-d908cb6cb09c","resolution":{"observed_at":"2026-08-16T06:05:43.602971Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.583147Z","title":null,"venue":null,"work_id":"9d54b742-cc29-4747-9153-694029b5bd3e","year":2024},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.564547Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:8af760f3a1353251cfc3c972dbd789f1d258afba700a932835be7b5bda1e9aa4","observation_id":"d9d729d0-0097-491a-a09d-8f033ebea4e0","resolution":{"observed_at":"2026-08-16T06:05:43.587829Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:42.568467Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.568467Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:2321da949f1b18a9a720104b101062cafe6dbf2bb54cf72912b4b72ccf26935a","observation_id":"ecf4eb9d-cfde-4e00-87e9-d3380d896bfa","resolution":{"observed_at":"2026-08-16T06:05:42.568467Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11354","last_updated":"2025-04-15T16:23:44Z","snapshot_observed_at":"2026-08-15T23:16:36.618851Z","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-16T06:05:42.572510Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.572510Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:44d30d70438a3e5879aa813ec6a124b050565f8f5183a7c27334da1fdcd422fc","observation_id":"6bab50be-d3c2-4c96-8502-4cb3c0761c55","resolution":{"observed_at":"2026-08-16T06:05:42.572510Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14414","last_updated":"2024-05-23T10:35:08Z","snapshot_observed_at":"2026-08-16T13:50:16.012931Z","submitted_at":"2024-05-23T10:35:08Z","title":"Proving Theorems Recursively","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14414","snapshot_observed_at":"2026-08-16T06:05:42.576894Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.576894Z"},"links":{"cited_paper":"/paper/2405.14414","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:630ccbfc50fe7a8f7ebe55b89ceb9351b3341a61ad631e78cd168db815cceef8","observation_id":"a3af786a-e08e-4b79-8ed8-c5963be173d5","resolution":{"observed_at":"2026-08-16T06:05:42.576894Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-16T14:56:07.682640Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-08-16T06:05:42.581026Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.581026Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:44630609d8c3018f5c537cf16bbe206eca60a60c80aa7a538e2992e7228bf2f1","observation_id":"a9b22bd6-c97b-46d7-ae01-e0268174098c","resolution":{"observed_at":"2026-08-16T06:05:42.581026Z","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-16T06:05:43.558400Z","title":null,"venue":null,"work_id":"bd8f3c37-d2d1-4cea-933d-4b5978c5da3d","year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.585128Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:4dd3ed6c68159ee2c8f23fde6dd93c834bb61b69ff058d7ba81a2229d701e9c4","observation_id":"97b45ef6-9d11-430c-89b1-391db336ecd0","resolution":{"observed_at":"2026-08-16T06:05:43.563115Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.543791Z","title":null,"venue":null,"work_id":"c6cc9bcb-7668-4bda-8a36-669cc4ef6734","year":2017},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.589587Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:e9a720bcfd0949fded3cef52964a5d4139cea23e96da6392b43d01bcb9bc43ee","observation_id":"80b4d027-272a-434f-afb0-b6048fdaa5f8","resolution":{"observed_at":"2026-08-16T06:05:43.548328Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:42.593532Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.593532Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:3e8661c6228aa26b15f414f96d86c8c9fea135821d467ec1fcd943e75f6fbe38","observation_id":"a2869101-dd2e-4a8e-a3ae-e6c8d08d8a12","resolution":{"observed_at":"2026-08-16T06:05:42.593532Z","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-16T06:05:43.518720Z","title":null,"venue":null,"work_id":"42d61abb-ada9-47f1-8678-468f2ae4f909","year":2018},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.597398Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:efc065c9b83002f252237b0171137ca152abfd9b49c5dbcb6b774a59f0f0a020","observation_id":"24c0076c-6469-48cb-98f8-2bb2cc6f4a50","resolution":{"observed_at":"2026-08-16T06:05:43.523228Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.03205","last_updated":"2025-05-27T07:37:52Z","snapshot_observed_at":"2026-08-16T20:13:44.712824Z","submitted_at":"2025-03-05T05:50:31Z","title":"MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.03205","snapshot_observed_at":"2026-08-16T06:05:42.601088Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.601088Z"},"links":{"cited_paper":"/paper/2503.03205","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:7524b9e81c461d6916149028706d97414abda5a5dfe46ea78484e724350aec0f","observation_id":"97ffde73-9f25-4ab3-94b9-81ecbf38f0d3","resolution":{"observed_at":"2026-08-16T06:05:42.601088Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.18457","last_updated":"2023-10-27T20:10:56Z","snapshot_observed_at":"2026-08-16T14:48:09.556620Z","submitted_at":"2023-10-27T20:10:56Z","title":"LLMSTEP: LLM proofstep suggestions in Lean","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.18457","snapshot_observed_at":"2026-08-16T06:05:42.604965Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.604965Z"},"links":{"cited_paper":"/paper/2310.18457","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:1a0f632e9b0879d88a9b0e554b33626b2d1bdac90a354513517b3bb9282bedce","observation_id":"0b02b037-9388-4318-b3d1-188b5d6ee502","resolution":{"observed_at":"2026-08-16T06:05:42.604965Z","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-16T06:05:43.504412Z","title":null,"venue":null,"work_id":"58121fde-f7ea-4539-a5a6-c7d26562e74a","year":2022},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.609060Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:379cfc80f6e8c814bce720c04c92ca0f8402ce7839895314638535b6639355c5","observation_id":"908e0dd9-9eed-425a-807c-e99b690e9803","resolution":{"observed_at":"2026-08-16T06:05:43.508255Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.490670Z","title":null,"venue":null,"work_id":"5cdbd2cc-082f-48d4-9972-daa6abc167d4","year":2022},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.613331Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:3ecfcc232334c7547bef90e776956356d304b50b1672612a74eda12509d7bd2c","observation_id":"1fdc886b-c56d-4606-a74b-a51b74ab26da","resolution":{"observed_at":"2026-08-16T06:05:43.494947Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.477102Z","title":null,"venue":null,"work_id":"56b615e0-f234-4fed-a1b0-8c9f10482c06","year":2022},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.617567Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:d2e58838ba51bc14c99f29a3482355eb9182f3dcb8671b2d43fd39dc497b54b5","observation_id":"de236324-1400-4ff2-803d-f684f8973272","resolution":{"observed_at":"2026-08-16T06:05:43.481200Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.17227","last_updated":"2024-07-24T12:28:03Z","snapshot_observed_at":"2026-08-16T13:31:27.051187Z","submitted_at":"2024-07-24T12:28:03Z","title":"LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.17227","snapshot_observed_at":"2026-08-16T06:05:42.622695Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.622695Z"},"links":{"cited_paper":"/paper/2407.17227","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:070106b48ebb442e1130d732eccfa78a3747187e2109f9d97e485dd0b6bff109","observation_id":"8ddb11df-c999-4d33-8563-d445e06ffc03","resolution":{"observed_at":"2026-08-16T06:05:42.622695Z","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-08-16T13:50:18.721796Z","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-16T06:05:42.627684Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.627684Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:9bbcb9b3c4292dd73fecd928d31adfb32310288ee7da5c3909541f6030ee3ab7","observation_id":"2b19eb41-7053-4b41-a9d7-91b9f6399871","resolution":{"observed_at":"2026-08-16T06:05:42.627684Z","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-16T06:05:42.632588Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.632588Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:449a28986e0d499832cebdcfaf281bb45732d32fb80976b0e595af3511566385","observation_id":"10d19ab5-e6b1-4a8a-a6a8-c211a7a06711","resolution":{"observed_at":"2026-08-16T06:05:42.632588Z","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-16T06:05:43.462560Z","title":null,"venue":null,"work_id":"430234a1-2590-470f-8fe1-343e72b88f28","year":2019},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.636961Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:525a710f9673301b992a25b364e9e111e1e88c9081f8168caa7f4793581c2363","observation_id":"6e3bce53-da4f-4db3-8e5c-b165fd794861","resolution":{"observed_at":"2026-08-16T06:05:43.467219Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:43.448346Z","title":null,"venue":null,"work_id":"bb80a370-619f-4247-9d05-d26cf4bf3ed1","year":2024},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.641407Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:a296f8053a3d4eaf655bcd15b87e20f460151a4ae59801b2e15e16bbdb0feee4","observation_id":"5c10a1aa-9bc1-4219-8b6f-73d66551f053","resolution":{"observed_at":"2026-08-16T06:05:43.452754Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T06:05:42.645838Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.645838Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:49aa92a400c3871b72edea55c4c89e5471a91b256a489c3ec9b2f896e2e55d93","observation_id":"eab06b92-ac23-4fa7-a983-bed0b6610ebe","resolution":{"observed_at":"2026-08-16T06:05:42.645838Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.03847","last_updated":"2025-06-18T16:07:47Z","snapshot_observed_at":"2026-08-16T13:45:38.293139Z","submitted_at":"2024-06-06T08:25:43Z","title":"Lean Workbook: A large-scale Lean problem set formalized from natural language math problems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.03847","snapshot_observed_at":"2026-08-16T06:05:42.649624Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.649624Z"},"links":{"cited_paper":"/paper/2406.03847","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:423b58ef1f3e9fd21442c6c9ad5d13cc50a0b8341b36616cc952d9e653ba46d6","observation_id":"15432486-6619-4368-bfde-1a491751d122","resolution":{"observed_at":"2026-08-16T06:05:42.649624Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-16T14:19:55.594578Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-16T06:05:42.653998Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.653998Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:7d0b279df1fd78da4d61a0ffb448a9007897528f9ee1fad837052c346c7956bc","observation_id":"95c691fa-1943-4a6c-a254-59357180d861","resolution":{"observed_at":"2026-08-16T06:05:42.653998Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.06122","last_updated":"2025-07-14T04:41:15Z","snapshot_observed_at":"2026-08-16T12:42:58.361121Z","submitted_at":"2025-04-08T15:15:26Z","title":"Leanabell-Prover: Posttraining Scaling in Formal Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.06122","snapshot_observed_at":"2026-08-16T06:05:42.658395Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.658395Z"},"links":{"cited_paper":"/paper/2504.06122","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:0b8bfa6940bb969f363cd53fa68cee84159bdec774a9678c3741d4e5f79f5cda","observation_id":"4ea7f93b-6263-41de-a04f-f9896cb7e33f","resolution":{"observed_at":"2026-08-16T06:05:42.658395Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.16366","last_updated":"2023-05-25T11:35:52Z","snapshot_observed_at":"2026-08-16T15:29:47.122524Z","submitted_at":"2023-05-25T11:35:52Z","title":"Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.16366","snapshot_observed_at":"2026-08-16T06:05:42.662751Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.662751Z"},"links":{"cited_paper":"/paper/2305.16366","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:f0ba4e998ad19bfb2d0958abb3b1985b4f323862e619b8810f9888b6841b0121","observation_id":"89f47794-857d-405f-9dd8-f2f584226261","resolution":{"observed_at":"2026-08-16T06:05:42.662751Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.00110","last_updated":"2022-02-28T06:03:23Z","snapshot_observed_at":"2026-08-16T23:45:44.761660Z","submitted_at":"2021-08-31T23:21:12Z","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.00110","snapshot_observed_at":"2026-08-16T06:05:42.666982Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.666982Z"},"links":{"cited_paper":"/paper/2109.00110","citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:da57b8861394aafb04ada7fe6c7aa108f5fb969497b85eda13d027755dcdbd3f","observation_id":"1c8ca818-dca9-47f5-9798-25e89a911d61","resolution":{"observed_at":"2026-08-16T06:05:42.666982Z","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-16T06:05:42.671324Z","title":"online\" 'onlinestring :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.671324Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:36fca619958c438ea05d8c9c558e32ea410f85ace41fa3d0a20e79d0f049e00f","observation_id":"26024eaa-2476-4fb2-be37-eab0493ccbaf","resolution":{"observed_at":"2026-08-16T06:05:42.671324Z","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-16T06:05:42.675713Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-16T06:05:42.675713Z"},"links":{"citing_paper":"/paper/2504.19188"},"observation_digest":"sha256:5901b6cceaa5b2f901bc06d71c9929fe66ffc565369a664304d199a523902d66","observation_id":"fa8e4672-de58-42c4-a56a-afedaadb3cc0","resolution":{"observed_at":"2026-08-16T06:05:42.675713Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2504.19188","last_updated":"2025-04-27T10:35:05Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-17T04:45:23.619054Z","submitted_at":"2025-04-27T10:35:05Z","title":"Hierarchical Attention Generates Better Proofs"},"reference_resolution":{"displayed":78,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":75,"verified_exact":3,"verified_fuzzy":0},"total_outbound_references":78},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 78 of 78 outbound references and 0 inbound Pith citation observations for arXiv:2504.19188."}