{"as_of":"2026-08-06T06:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bbcebac4e1225380eed000841bf9ea90ca1950959a6d0dd59c3592d27cb5d048","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":18,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":18,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T16:11:23.266209Z","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-09T18:46:26.486917Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":"2412.16075","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-07-09T18:46:26.486917Z","title":"Formal mathematical reasoning: A new frontier in ai.arXiv preprint 2412.16075","venue":"cs.AI","work_id":"4c5194b7-19f7-4cef-892d-fa99ec4245d3","year":2024},"citing_paper":{"arxiv_id":"2506.13131","last_updated":"2025-06-16T06:37:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-06-16T06:37:18Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","version":1},"reference_index":114,"source":"pdf_text","source_observed_at":"2026-05-10T21:27:23.987121Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2506.13131"},"observation_digest":"sha256:0b6f068e3b7c31a58f50e8cd887e696495287102005bc89eb5bb96d056b95a83","observation_id":"067637d8-8e93-47f4-884c-8634dc6ec5e9","resolution":{"observed_at":"2026-05-10T21:27:24.748956Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-08-05T16:11:23.266209Z","title":"Formal mathematical reasoning: A new frontier in AI , 2024 b","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.18914","last_updated":"2025-08-26T10:38:18Z","snapshot_observed_at":"2026-08-05T16:11:09.217502Z","submitted_at":"2025-08-26T10:38:18Z","title":"FormaRL: Enhancing Autoformalization with no Labeled Data","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-05T16:11:23.266209Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2508.18914"},"observation_digest":"sha256:652772199f080587ae148d3f48a99aeecc13dc4744e5f7c2ff846a9277cdc5ae","observation_id":"d208237d-31a9-44e0-a98f-3467aca6df50","resolution":{"observed_at":"2026-08-05T16:11:23.266209Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":"2412.16075","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-07-09T18:46:26.486917Z","title":"Formal mathematical reasoning: A new frontier in ai.arXiv preprint 2412.16075","venue":"cs.AI","work_id":"4c5194b7-19f7-4cef-892d-fa99ec4245d3","year":2024},"citing_paper":{"arxiv_id":"2511.02521","last_updated":"2026-06-25T18:44:49Z","snapshot_observed_at":"2026-08-04T00:14:46.929656Z","submitted_at":"2025-11-04T12:16:37Z","title":"Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-18T01:34:03.866227Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2511.02521"},"observation_digest":"sha256:a22ae0d22d6333af571c256d8511b6267033ae37d1ba8d188112e8d2829700df","observation_id":"22a714ed-5a4c-4139-80a5-191eb874b120","resolution":{"observed_at":"2026-05-18T01:35:36.373061Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-08-04T00:14:48.570599Z","title":"Formal mathematical reasoning: A new frontier in AI,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.02521","last_updated":"2026-06-25T18:44:49Z","snapshot_observed_at":"2026-08-04T00:14:46.929656Z","submitted_at":"2025-11-04T12:16:37Z","title":"Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T00:14:48.570599Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2511.02521"},"observation_digest":"sha256:67c48eea9ca897c67aec5022b9213fbd157c06070b90c885a56c7054cc12bbe3","observation_id":"cb83a3fd-34b5-4831-bca2-b26d88560300","resolution":{"observed_at":"2026-08-04T00:14:48.570599Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-08-03T17:53:56.607718Z","title":"Formal mathematical reasoning: A new frontier in ai.arXiv preprint arXiv:2412.16075, 2024a","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2512.07795","last_updated":"2026-05-30T17:04:27Z","snapshot_observed_at":"2026-08-03T17:53:52.486125Z","submitted_at":"2025-12-08T18:26:58Z","title":"ReasonBENCH: Benchmarking the (In)Stability of LLM Reasoning","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T17:53:56.607718Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2512.07795"},"observation_digest":"sha256:e57ed7e59a48c16bf01f97ddf51edc37cdc2c82751d3429a9ef55a49f90dc723","observation_id":"d59f6aef-fe9b-4707-8377-3265b5601076","resolution":{"observed_at":"2026-08-03T17:53:56.607718Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-08-03T07:46:08.986721Z","title":"So the final answer is {boxed_format}","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.19302","last_updated":"2026-05-27T06:20:08Z","snapshot_observed_at":"2026-08-05T20:32:45.804559Z","submitted_at":"2026-01-27T07:42:20Z","title":"Formula-One Prompting: A Composable Equation-First Prefix for Applied Mathematics","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T07:46:08.986721Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2601.19302"},"observation_digest":"sha256:afa1cbc27860ec4a7475fd218e4dbc8cf829aaff4c1023e6e9024bf07db68e88","observation_id":"9bbf999c-26dd-4536-8aa4-e8bcbc6b491f","resolution":{"observed_at":"2026-08-03T07:46:08.986721Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":"2412.16075","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-07-09T18:46:26.486917Z","title":"Formal mathematical reasoning: A new frontier in ai.arXiv preprint 2412.16075","venue":"cs.AI","work_id":"4c5194b7-19f7-4cef-892d-fa99ec4245d3","year":2024},"citing_paper":{"arxiv_id":"2604.12610","last_updated":"2026-04-14T11:36:29Z","snapshot_observed_at":"2026-08-02T05:17:11.221332Z","submitted_at":"2026-04-14T11:36:29Z","title":"Transforming External Knowledge into Triplets for Enhanced Retrieval in RAG of LLMs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T15:42:59.063869Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2604.12610"},"observation_digest":"sha256:934f74dcd1d6c3973cf4a1196961e651331153cbb2853e1c72d865ef67ba9d29","observation_id":"6212b372-0b25-4f39-8c9b-6e2c666b068e","resolution":{"observed_at":"2026-05-11T09:56:05.497914Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":"2412.16075","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-07-09T18:46:26.486917Z","title":"Formal mathematical reasoning: A new frontier in ai.arXiv preprint 2412.16075","venue":"cs.AI","work_id":"4c5194b7-19f7-4cef-892d-fa99ec4245d3","year":2024},"citing_paper":{"arxiv_id":"2604.16347","last_updated":"2026-03-16T14:19:33Z","snapshot_observed_at":"2026-07-06T23:03:43.854612Z","submitted_at":"2026-03-16T14:19:33Z","title":"Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-15T10:24:19.295736Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2604.16347"},"observation_digest":"sha256:9030e65ec0db3e062f21a0f5bd6ee2b7aaafd97c7eb5df3c7837750300752708","observation_id":"749da4cd-c1d1-4ef0-aa3e-7c6bf3a200eb","resolution":{"observed_at":"2026-05-15T10:25:26.629750Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":"2412.16075","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-07-09T18:46:26.486917Z","title":"Formal mathematical reasoning: A new frontier in ai.arXiv preprint 2412.16075","venue":"cs.AI","work_id":"4c5194b7-19f7-4cef-892d-fa99ec4245d3","year":2024},"citing_paper":{"arxiv_id":"2604.25155","last_updated":"2026-04-28T02:57:20Z","snapshot_observed_at":"2026-08-04T04:22:10.934988Z","submitted_at":"2026-04-28T02:57:20Z","title":"Rethinking Wireless Communications through Formal Mathematical AI Reasoning","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-07T15:42:24.167986Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2604.25155"},"observation_digest":"sha256:90df9174c72673a9ce4cd70d61cf500dd5279a0601844d1f3a362f2761ea1bad","observation_id":"6a10b476-d1ed-443c-982f-de6970de5114","resolution":{"observed_at":"2026-05-12T00:11:16.551605Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":"2412.16075","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-07-09T18:46:26.486917Z","title":"Formal mathematical reasoning: A new frontier in ai.arXiv preprint 2412.16075","venue":"cs.AI","work_id":"4c5194b7-19f7-4cef-892d-fa99ec4245d3","year":2024},"citing_paper":{"arxiv_id":"2605.19984","last_updated":"2026-05-19T15:24:18Z","snapshot_observed_at":"2026-08-03T22:32:47.333100Z","submitted_at":"2026-05-19T15:24:18Z","title":"A conceptual framework for learning to listen by reward: Curiosity-driven search for novel sources","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-20T04:22:17.531826Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2605.19984"},"observation_digest":"sha256:f26492efe8ee95f191c4c02ff0a2b0ac5745039639faa6e783d3aa204f37af05","observation_id":"5d1a4b47-4817-4c95-ad84-343f66b1cc8a","resolution":{"observed_at":"2026-05-20T04:23:02.990346Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":"2412.16075","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-07-09T18:46:26.486917Z","title":"Formal mathematical reasoning: A new frontier in ai.arXiv preprint 2412.16075","venue":"cs.AI","work_id":"4c5194b7-19f7-4cef-892d-fa99ec4245d3","year":2024},"citing_paper":{"arxiv_id":"2605.21160","last_updated":"2026-05-20T13:27:39Z","snapshot_observed_at":"2026-07-06T23:31:37.061253Z","submitted_at":"2026-05-20T13:27:39Z","title":"Learning First Integrals via Backward-Generated Data and Guided Reinforcement Learning","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-21T05:55:25.350890Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2605.21160"},"observation_digest":"sha256:d6f4cda9a773db5057eca79ca4153d8093b5eb9939e24e47ddcd368995c704ac","observation_id":"990b8fe7-f51e-41d1-9038-c995046faa22","resolution":{"observed_at":"2026-05-21T05:59:41.154782Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":"2412.16075","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-07-09T18:46:26.486917Z","title":"Formal mathematical reasoning: A new frontier in ai.arXiv preprint 2412.16075","venue":"cs.AI","work_id":"4c5194b7-19f7-4cef-892d-fa99ec4245d3","year":2024},"citing_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":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-05-22T05:10:45.453144Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2605.22763"},"observation_digest":"sha256:5faac95388027a26526970715a1b1b4a6d201017a1e13900dd4715c9f572da7a","observation_id":"d73f18ac-ef5b-4875-95eb-29c60ca94b1d","resolution":{"observed_at":"2026-05-22T05:11:06.287326Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":"2412.16075","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-07-09T18:46:26.486917Z","title":"Formal mathematical reasoning: A new frontier in ai.arXiv preprint 2412.16075","venue":"cs.AI","work_id":"4c5194b7-19f7-4cef-892d-fa99ec4245d3","year":2024},"citing_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},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-06-30T16:56:39.110356Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2605.22763"},"observation_digest":"sha256:94aec3c65630d8be6b99391db075f4c353cf6dd37f2dc9eecd5f9d4a5a28ae98","observation_id":"7628de66-7f19-4d13-8c84-7f299b74b4be","resolution":{"observed_at":"2026-06-30T17:04:57.643161Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":"2412.16075","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-07-09T18:46:26.486917Z","title":"Formal mathematical reasoning: A new frontier in ai.arXiv preprint 2412.16075","venue":"cs.AI","work_id":"4c5194b7-19f7-4cef-892d-fa99ec4245d3","year":2024},"citing_paper":{"arxiv_id":"2606.08728","last_updated":"2026-07-26T11:27:42Z","snapshot_observed_at":"2026-08-02T12:04:58.846884Z","submitted_at":"2026-06-07T16:50:07Z","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-27T18:39:44.696961Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:5212c53f43ab5c6830ac12828d1590da54fab5becbc1643e529191131dd8ef0f","observation_id":"5775e607-1276-47ab-8606-765f2e77655a","resolution":{"observed_at":"2026-07-02T22:47:26.017745Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-08-02T12:05:03.800424Z","title":"Formal mathematical reasoning: A new frontier in AI,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.08728","last_updated":"2026-07-26T11:27:42Z","snapshot_observed_at":"2026-08-02T12:04:58.846884Z","submitted_at":"2026-06-07T16:50:07Z","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","version":4},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T12:05:03.800424Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:196b1977a78af789b24d2e0c62b9a8ad88df6c5b52862c4a2b32ffe07cf6996d","observation_id":"0e8b2c80-8544-47b6-91db-ae16bb6e78df","resolution":{"observed_at":"2026-08-02T12:05:03.800424Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-07-11T15:42:50.296348Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.04655","last_updated":"2026-07-06T04:20:06Z","snapshot_observed_at":"2026-08-02T16:20:05.798847Z","submitted_at":"2026-07-06T04:20:06Z","title":"FormalRx: Rectify and eXamine Semantic Failures in Autoformalization","version":1},"reference_index":140,"source":"arxiv_source","source_observed_at":"2026-07-11T15:42:50.296348Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2607.04655"},"observation_digest":"sha256:b1f1f78959d9ed4c6862cfd90815520e69f7b12759f51a7385d25ef8256c12cd","observation_id":"6dad3966-0862-49e0-92e9-47db301af197","resolution":{"observed_at":"2026-07-11T15:42:50.296348Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":"2412.16075","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-07-09T18:46:26.486917Z","title":"Formal mathematical reasoning: A new frontier in ai.arXiv preprint 2412.16075","venue":"cs.AI","work_id":"4c5194b7-19f7-4cef-892d-fa99ec4245d3","year":2024},"citing_paper":{"arxiv_id":"2607.07162","last_updated":"2026-07-08T08:53:15Z","snapshot_observed_at":"2026-07-11T23:18:57.588016Z","submitted_at":"2026-07-08T08:53:15Z","title":"The Technological Turn in Mathematics","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-09T18:44:12.294921Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2607.07162"},"observation_digest":"sha256:1850d36a15785acbbf155a5d642d3fe5273b0fc0bea47f4b1be7529f5f8c2fa3","observation_id":"47b3237d-08b8-41f8-8baa-86954caef918","resolution":{"observed_at":"2026-07-09T18:46:26.488550Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-08-01T04:34:01.479021Z","title":"Formal mathematical reasoning: A new frontier in AI.arXiv preprint arXiv:2412.16075, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22511","last_updated":"2026-08-04T17:10:35Z","snapshot_observed_at":"2026-08-06T05:45:44.133135Z","submitted_at":"2026-07-24T17:32:35Z","title":"CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T04:34:01.479021Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2607.22511"},"observation_digest":"sha256:03787a4e47b4715e614694d5f12305447d5c29906094df474569452824e61a2c","observation_id":"dc9bc086-7a3c-4140-b08f-0bcef6924036","resolution":{"observed_at":"2026-08-01T04:34:01.479021Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2412.16075/citation-record","integrity":"/paper/2412.16075/integrity","json":"/paper/2412.16075/citation-record.json","paper":"/paper/2412.16075"},"outbound":[],"paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 18 inbound Pith citation observations for arXiv:2412.16075."}