{"as_of":"2026-08-10T23:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9477388b6e02e2f42e220575dea75e42163d6326b2ce36fc2044b9a06f14d707","coverage":[{"denominator":18,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":18,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T11:50:26.030339Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":6,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":6,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T09:50:36.431267Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-09T03:45:55.782036Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.03303","snapshot_observed_at":"2026-07-12T00:53:42.929719Z","title":"LEAP: Supercharging LLMs for formal mathematics with agentic frameworks,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.03656","last_updated":"2026-07-04T01:13:32Z","snapshot_observed_at":"2026-08-07T07:09:58.002955Z","submitted_at":"2026-07-04T01:13:32Z","title":"AutoCedar: An Agentic Framework for Verifier-Guided Access Control Policy Synthesis","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-12T00:53:42.929719Z"},"links":{"cited_paper":"/paper/2606.03303","citing_paper":"/paper/2607.03656"},"observation_digest":"sha256:f6b42df295ac8b1394d786a20fdca25da4ac723dce39ee579d427eae430500af","observation_id":"53d895c0-5592-4c84-9755-05ea7616db2f","resolution":{"observed_at":"2026-07-12T00:53:42.929719Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"cited_work":{"arxiv_id":"2606.03303","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.03303","snapshot_observed_at":"2026-07-09T03:45:55.782036Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","venue":"cs.AI","work_id":"803cc255-790f-42dd-ba3b-19cabea79e5b","year":2026},"citing_paper":{"arxiv_id":"2607.07663","last_updated":"2026-07-08T17:19:50Z","snapshot_observed_at":"2026-07-30T01:44:04.256851Z","submitted_at":"2026-07-08T17:19:50Z","title":"Recursive Self-Improvement in AI: From Bounded Self-Refinement to Autonomous Research Loops","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-09T03:36:57.168246Z"},"links":{"cited_paper":"/paper/2606.03303","citing_paper":"/paper/2607.07663"},"observation_digest":"sha256:567a3280b9056c1dde5ec3803717c840882f579d6584ce2af0bfe604dba3217b","observation_id":"98ec3737-b0e1-4ed2-9b53-f6be09825a2c","resolution":{"observed_at":"2026-07-09T03:45:55.783221Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.03303","snapshot_observed_at":"2026-08-01T21:40:00.572352Z","title":"Leap: Supercharging llms for formal mathematics with agentic frameworks,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16372","last_updated":"2026-07-17T14:43:43Z","snapshot_observed_at":"2026-08-02T01:55:22.278621Z","submitted_at":"2026-07-17T14:43:43Z","title":"AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T21:40:00.572352Z"},"links":{"cited_paper":"/paper/2606.03303","citing_paper":"/paper/2607.16372"},"observation_digest":"sha256:587aaec2bd26398d2dcbfdd3bc12ff8e9a0abec273b2096a156434c23f9e4fdf","observation_id":"08c9e873-84ea-4d96-ba4b-1573dce7b8d4","resolution":{"observed_at":"2026-08-01T21:40:00.572352Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.03303","snapshot_observed_at":"2026-08-01T18:17:11.918372Z","title":"Le, Burak Gokturk, Thang Luong, Tomas Pfister, and Nanyun Peng","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-07T08:55:54.204026Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.918372Z"},"links":{"cited_paper":"/paper/2606.03303","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:12e8fbfc3913940736238b62628294fa19b0be09cc260add2952b275d21418f2","observation_id":"4115b213-8c27-466f-a966-459ae8a35e07","resolution":{"observed_at":"2026-08-01T18:17:11.918372Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.03303","snapshot_observed_at":"2026-07-31T17:33:57.974159Z","title":"Le, Burak Gokturk, et al","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28110","last_updated":"2026-07-30T12:17:31Z","snapshot_observed_at":"2026-08-08T13:32:42.890643Z","submitted_at":"2026-07-30T12:17:31Z","title":"BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-07-31T17:33:57.974159Z"},"links":{"cited_paper":"/paper/2606.03303","citing_paper":"/paper/2607.28110"},"observation_digest":"sha256:ae0929cf7ee4c289cddb67dc33290d633f55b6f258bf6e2539ba01faf6a23dc6","observation_id":"3511d432-bebe-4e19-8ac2-39e468c5efc4","resolution":{"observed_at":"2026-07-31T17:33:57.974159Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.03303","snapshot_observed_at":"2026-08-04T09:50:36.431267Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.02295","last_updated":"2026-08-03T14:24:12Z","snapshot_observed_at":"2026-08-07T21:20:58.762954Z","submitted_at":"2026-08-03T14:24:12Z","title":"MechGeo: Autoformalizing and Proving Euclidean Geometry in Lean 4","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T09:50:36.431267Z"},"links":{"cited_paper":"/paper/2606.03303","citing_paper":"/paper/2608.02295"},"observation_digest":"sha256:1204c6da47226686bd7424a56c3b99e05c8c4721f9d5c7c81311c967261685a1","observation_id":"fc423dd3-843f-40fb-b814-ff79628f4139","resolution":{"observed_at":"2026-08-04T09:50:36.431267Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2606.03303/citation-record","integrity":"/paper/2606.03303/integrity","json":"/paper/2606.03303/citation-record.json","paper":"/paper/2606.03303"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2603.12744","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T03:36:30.128719Z","title":"Taylor, Junyi Zhang, Ethan Ji, Vigyan Sahai, Haikang Deng, Yuanzhou Chen, Yifan Yuan, Di Wu, Jia-Chen Gu, Kai-Wei Chang, Nanyun Peng, Amit Sahai, and Wei Wang","venue":null,"work_id":"10ae8799-2cfd-400c-9439-810eaa0c005f","year":2026},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:25eb2ce41acaf7f9d6aae566bb669e74f5721b0f1e759bb01ad222fa41a375da","observation_id":"7426cb22-2918-404c-a90c-f6ff58c9355b","resolution":{"observed_at":"2026-07-02T03:36:30.130648Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.22763","last_updated":"2026-06-08T12:23:48Z","snapshot_observed_at":"2026-08-01T12:58:29.630459Z","submitted_at":"2026-05-21T17:24:57Z","title":"Advancing Mathematics Research with AI-Driven Formal Proof Search","version":2},"cited_work":{"arxiv_id":"2605.22763","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.22763","snapshot_observed_at":"2026-07-14T22:52:06.517226Z","title":"Advancing Mathematics Research with AI-Driven Formal Proof Search","venue":"cs.AI","work_id":"17e6404f-e141-4a97-8932-7c033498ead1","year":2026},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2605.22763","citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:14f0b51acbb8e5c978dd03cc5a4a9ce50d5c60c3d5ede5a85fba65efc7b97ba3","observation_id":"52bd8224-627f-47d1-a64c-ec6d08375f3f","resolution":{"observed_at":"2026-06-28T09:51:50.341229Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11354","last_updated":"2025-04-15T16:23:44Z","snapshot_observed_at":"2026-08-03T03:38:06.953412Z","submitted_at":"2025-04-15T16:23:44Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","version":1},"cited_work":{"arxiv_id":"2504.11354","doi":"10.18653/v1/2025.acl-long.1565","metadata_source":"pith","pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","venue":"cs.AI","work_id":"0ff53eb8-7b88-4c00-8ba0-5f90f9a97f90","year":2025},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:2599085a88b188e74af19053b83b59e717c8e2bd8e3522bba5c1f4ded133f8f6","observation_id":"cbeda18d-ad17-4fe7-abc0-a88d6ace03cc","resolution":{"observed_at":"2026-06-28T09:51:50.343361Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-12T16:19:43.22822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T16:19:43.22822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-28T09:50:30.271890Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:0166675747cf6bf4ba81a3a856e800f7a4cee59d31519c61b1c52ce2c132cd6b","observation_id":"3ed1d822-ec24-46de-99cd-fc717555748f","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:059e69d9c638efd239fc73d97b5e8e06257f57e4e08694e363bd8675ff110879","observation_id":"1bafdb70-fd94-4ceb-bcb5-faa1a6ba5c9f","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":"Purely multiset inductive identities show:Í 𝑌=𝐸 𝑘−1 esymm2 (𝑌)=𝐸 𝑘 𝐸𝑘−2Î 𝑌=(𝐸 𝑘)𝑘−1 4.Sum of Squares: For the multiset𝑍=𝑐 𝑘𝑌, we evaluate the sum of its squares𝑊={𝑧2 |𝑧∈𝑍}","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:91cc90a1943fe7c989f51b0f7a48cd47050dbafe4de59374eade5b0ec8ea2ecf","observation_id":"5ae5e082-d3cc-486f-961e-3105f1c8b137","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":"Since 𝑃 has degree𝑘 and 𝑐0 ≠ 0, both 𝑐0 and𝑐 𝑘 are non-zero integers","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:8a577a3f7f1b705f27dc48557a649a85b7304bab96f3a65c56081018828a1786","observation_id":"96cc0543-1010-428a-a12d-abdfb315b7a6","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":"Required Global Definitions, Variables, or Structures No new definitions, axioms, or structures are needed","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:9220f76f6a54d408b314a1a3b3f42ec6a25b4909b3d897262b5f0ab3881668e8","observation_id":"b7392351-2383-4c26-9591-d7b9ecce1948","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:eba6eb6a7fca1af1e5dfba650dce40a3a22d542a639eb248461df49e96588ec7","observation_id":"fd5e1c2f-849f-4fd2-9cbe-4f3e171d5ebe","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:77271962024485dcfabb6b0706dadf2d060404b51b5e5df9301d7d4ed2f97712","observation_id":"29b14d54-e7c4-423f-ac2f-d7834c938f6d","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:6dce054f6c4b74fc9f0bcaf744fe9f29cd5519a6f9dfdcc62ec1504446f3c325","observation_id":"1ed141d1-3b05-4846-aef7-34052e1002c4","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:6181b413c7ea0a6ef2ce475c615bb84e7b5e03c487484a4048e2a71851a44add","observation_id":"0ddf1c11-224d-477f-bcc9-a8b206a852c3","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":"InvokeVieta’sformulas(Polynomial.coeff_eq_esymm_roots_of_splits)toexpress 𝑐0,𝑐 1, and𝑐 2 in terms of𝑠.esymm𝑖","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:ddeaa51c85d14512afaf9f76641df40744ffff42a22ad4def04375a81862027f","observation_id":"ab3f7fb5-a688-44f5-8839-3a8b61bd7894","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:0bd506417978d43771d425b1813b6601260522994ffed843c327fbe742b1f7cf","observation_id":"14ebe7a8-8dcf-45fb-bba0-4cb7a4f0f159","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:632d61cf9f7dbf38c4aaa2ba754508b9b37ede33dfc5fa452a9c7bbe60075797","observation_id":"209696c3-a7f6-4ea8-bd45-a6cc02a0387a","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:187a22d51ba693e4d44489bca30a2f0531d32b04167c65f5f82cd7f0b3651a93","observation_id":"9eacbbba-bd90-494f-baf0-ce8afe73090a","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:b7f178eeaf205f0cbc832a8611221849b2ec74d89b3afc35e13fbaaacae93376","observation_id":"b08ab64a-6f4a-477e-8871-9d09148af0eb","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","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-06-28T09:50:30.271890Z","title":"Use norm_cast to translate this back to(𝑘:ℤ) ≤𝐾(𝑐)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-28T09:50:30.271890Z"},"links":{"citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:236d09c2a8ea41e9187b12c5066f95ff6095d3a10826486fb0f6d231f9edead9","observation_id":"969130d8-2570-4c20-910b-95df7a125409","resolution":{"observed_at":"2026-06-28T09:50:30.271890Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.03303","last_updated":"2026-06-03T06:16:05Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T09:54:41.536935Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks"},"reference_resolution":{"displayed":18,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":15,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":18},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 6 inbound Pith citation observations for arXiv:2606.03303."}