{"as_of":"2026-08-06T20:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ee9d6a47a2c09e89ecd5d311d1b4afa349ed43921e1154dfec6cbbe79e93e793","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T18:29:49.616565Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-12T19:37:29.398609Z","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-04T09:29:43.418703Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.07455","snapshot_observed_at":"2026-07-12T19:37:29.398609Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2604.15713","last_updated":"2026-06-02T05:13:23Z","snapshot_observed_at":"2026-07-31T17:48:52.405823Z","submitted_at":"2026-04-17T05:34:49Z","title":"Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-12T19:37:29.398609Z"},"links":{"cited_paper":"/paper/2604.07455","citing_paper":"/paper/2604.15713"},"observation_digest":"sha256:73bfb2c8b6b6594c67c61d554be343efcecbc8c63f31daa25cf04c96fc971ded","observation_id":"d270c12f-a821-436e-9067-5c1eabcf431d","resolution":{"observed_at":"2026-07-12T19:37:29.398609Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"cited_work":{"arxiv_id":"2604.07455","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.07455","snapshot_observed_at":"2026-07-04T09:29:43.418703Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","venue":"cs.AI","work_id":"ad70d91c-7c89-4a5d-ba7a-7da6a1df88e3","year":2026},"citing_paper":{"arxiv_id":"2606.22337","last_updated":"2026-06-23T07:45:44Z","snapshot_observed_at":"2026-07-30T07:34:33.895682Z","submitted_at":"2026-06-21T05:03:37Z","title":"Theorist Toolbox: Tools for Agent Based LLM-assisted economic theory Research","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-26T10:01:18.103014Z"},"links":{"cited_paper":"/paper/2604.07455","citing_paper":"/paper/2606.22337"},"observation_digest":"sha256:7da7f33b6bb88829d9df4863c55f2d68cb9277c5d1f23c0cd985b8bb7a5ce7c5","observation_id":"63b5b64f-c841-4a5d-9afa-94007786197c","resolution":{"observed_at":"2026-07-04T09:29:43.419969Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2604.07455/citation-record","integrity":"/paper/2604.07455/integrity","json":"/paper/2604.07455/citation-record.json","paper":"/paper/2604.07455"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1324ecda-abf6-4fe1-aa15-30f5374ae4dd","year":1966},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:3c2b5eb6fcdfca532d01a129abd0f7513dde47a8ada1e54a855183642ebe5e76","observation_id":"d1068af8-ea26-4a75-a117-383456f989e9","resolution":{"observed_at":"2026-05-17T01:53:51.487891Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Bancerek et al","venue":null,"work_id":"4cfee230-e8fa-4a46-acc6-3fc1abc60731","year":2017},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:8bb1c9b337738748487e4ee72588fe56bd720e54dcd174420aa60fe5d50c81ac","observation_id":"a5992116-06c5-4fc6-adcc-6ddbed0324a4","resolution":{"observed_at":"2026-05-17T01:53:51.494739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Blanchette, C","venue":null,"work_id":"7b4efee0-bbd2-4c32-9e5a-ed61dd31e95d","year":2016},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:2220181a1ef3170b339380b77b761b504c6837567ce308fbdd5f1be72134c491","observation_id":"775ba46c-51b2-43de-9df3-e33519c96eb1","resolution":{"observed_at":"2026-05-17T01:53:51.511019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2cfa107d-194c-49a6-86cf-b65faddc9a52","year":1964},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:6c363b4b1bbe2ddcd81ba5b74272305a8ca649d9fbc81d5778835001d39f00d9","observation_id":"b95e6a21-ba35-43e0-8f6a-21f06bd80766","resolution":{"observed_at":"2026-05-17T01:53:51.497048Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Paulson, W.Li: Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types In:Exp","venue":null,"work_id":"92f0bbc9-5c46-484a-8898-2bb0a81de3bb","year":2022},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:4c6ce2dc23d11fbe0a3aa97454c9124fa445c82a3f0d6422a8168bb0769780b2","observation_id":"1c0b3f34-e8e3-4eb7-97c7-16d31ab1aaeb","resolution":{"observed_at":"2026-05-17T01:53:51.502015Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Brown, C","venue":null,"work_id":"3ba38189-cb6b-4775-a345-ce20ecafe549","year":2025},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:ec50983245b8098243571ff068c58ab1476d9c64052fac398ba6e2b372c86e78","observation_id":"80211dfd-cf40-4066-ac91-941d0f134e0f","resolution":{"observed_at":"2026-05-17T01:53:51.506503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Ganesalingam: The language of mathematics: A linguistic and philosophical investigation","venue":null,"work_id":"df0fc346-e80a-4959-8214-ec6adf718646","year":2013},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:5acb4d8d3b129ea5e06d124fae20d8fb91249227d4613ba48d91de317eaaae63","observation_id":"4fe513c3-6c22-466b-b822-591cf66c62bd","resolution":{"observed_at":"2026-05-17T01:53:51.492540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"034daa03-dac1-46d5-9086-e8850ed45557","year":2026},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:c5980335d6741a18099af2b4e9616b861a55abac5f9c51a94861ccab49fa2003","observation_id":"7d915024-f726-423f-9445-134123a7b63f","resolution":{"observed_at":"2026-05-17T01:53:51.485732Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Hölzl, F","venue":null,"work_id":"f775ef39-195a-499c-a76e-2f0d2d67ae11","year":2013},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:8de44e4d95ddecd0035b737901d7c30b2a1ec8ced63aa51f1ece798fb103eae2","observation_id":"eddb2084-c0ef-4a2d-9825-2756091084ef","resolution":{"observed_at":"2026-05-17T01:53:51.490166Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1d76d8be-bb68-4828-adb1-806561b50907","year":2023},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:a4d9d54dfff1b06b69cc7053cd56562d7548624e90b287b4aeacba9976a0aa7d","observation_id":"846d782c-ffc8-471b-8f34-dbea1a6956bb","resolution":{"observed_at":"2026-05-17T01:53:51.499621Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Kaliszyk, J","venue":null,"work_id":"af10931f-26ef-4d60-aaad-ca23c8b6e847","year":2014},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:0710d56730ab21b34d00084cb9d1c850a44734ab558b34870d16b39781dfa241","observation_id":"0d2d24e0-d3a7-4907-98cf-8140278167b5","resolution":{"observed_at":"2026-05-17T01:53:51.504183Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Kaliszyk, J","venue":null,"work_id":"48128d49-e2fc-40da-9215-fc8a729424e9","year":2015},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:533d64ae8213e117901dc080083f7ec70e70f7ed78c879fe42acaf1db56fcc95","observation_id":"2ded98cc-f87a-4193-b548-f3b930ced70c","resolution":{"observed_at":"2026-05-17T01:53:51.481459Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Paulson: Isabelle/Copilot: An AI-driven assistant for Is- abelle/HOL (2026).https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users/ 2026-02/msg00039.html","venue":null,"work_id":"5ff8b7fa-f1ee-4b02-8d70-2a8d1f1c5bc3","year":2026},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:c093c6611525d3c4426b1341afa2aea5611b9c5ed46948aa8df95e66fa5e9f67","observation_id":"2a16c37d-1eba-4761-825f-86e50af9fe60","resolution":{"observed_at":"2026-05-17T01:53:51.479271Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Becker, D.Mulligan, et","venue":null,"work_id":"8213038e-df9f-4692-a627-207bc8452cb5","year":2026},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:a2840d2d6d5e6b8e2336e75538320bcbfa31f5195ff78fb2a571882272d32946","observation_id":"e6e1c128-8ad9-4eb0-baa2-53a3ee9e71df","resolution":{"observed_at":"2026-05-17T01:53:51.508783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Munkres:Topology, 2nd edn","venue":null,"work_id":"ef983f79-ebcd-4f5a-ac57-765f1a3f23a5","year":2000},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:42f604413e31820816eda124176b7c9c8bb035be3f2f27b071402275568587dd","observation_id":"34685ae9-6cb9-4fc9-ab9c-a4bba5eb9951","resolution":{"observed_at":"2026-05-17T01:53:51.483615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"LNCS 2283","venue":null,"work_id":"6c2401d0-819a-42f4-9d64-be74223a1781","year":2002},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:459efe4e14935abe3569844106a3e43b73b738f579eb0b76dd582d16c84c3bcc","observation_id":"9ebef2d1-68c3-4695-9f2c-f006d82b2dcf","resolution":{"observed_at":"2026-05-17T01:53:51.465039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9c8d11c3-fc76-4c05-9d65-1ea2949a94de","year":1988},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:9375067c58029e94cb41e67a38339d20371b0c16f23d528721542b00a9decd89","observation_id":"a455f6f1-d279-4ed9-9036-eaebba9e33c6","resolution":{"observed_at":"2026-05-17T01:53:51.476868Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Paulson: Porting the HOL Light analysis library: some lessons","venue":null,"work_id":"2a0b640d-da30-4de6-ad40-d8593276772b","year":2017},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:87f34122e9596c873881c7a662765e6f62655bff1746031ceec047a55f080416","observation_id":"eb961769-5bf3-49d3-9a72-378dd2ad5346","resolution":{"observed_at":"2026-05-17T01:53:51.472160Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Simon: Checking Number Theory Proofs in Natural Language","venue":null,"work_id":"0382a1db-e3a3-42bc-b92c-c730382e281f","year":1990},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:060b699527e33d1768455b02111d1d2fbe985424485bae8ba782224a93392fb3","observation_id":"7a9afb90-6e86-4bc2-99eb-23fe92df5e63","resolution":{"observed_at":"2026-05-17T01:53:51.467760Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Sutcliffe: The TPTP Problem Library and Associated Infrastructure - From CNF to TH0","venue":null,"work_id":"5382f0f4-0f51-413e-a2ae-422b9aeade14","year":2017},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:e125ca42321091ee56a52feaa5ac88f2bcbf961a93fd33a249cd47e56a95fbcc","observation_id":"87f4d1bb-9318-4fc2-ae18-5af9168bf0be","resolution":{"observed_at":"2026-05-17T01:53:51.461493Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2601.03298","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T01:26:24.618518Z","title":"Floris van Doorn, Patrick Massot, and Oliver Nash","venue":null,"work_id":"081a5022-331d-4e0f-a78f-f105553d1b05","year":2026},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:07fdf229dabe0adea2172075de5877d6bc4093bb8ff48f925754d4f516b0fce0","observation_id":"6e6f024f-24a4-4b97-a643-b4a7b675786d","resolution":{"observed_at":"2026-05-11T00:30:52.230462Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"14171c42-c7f0-434c-af71-fa94811cff5a","year":2018},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:8cb6c7c9c64824c277c9916b6d3a717e441de32de9c84b9a7a955fc527fe813e","observation_id":"08ff8aab-7a55-4701-866f-84de0e251638","resolution":{"observed_at":"2026-05-17T01:53:51.474445Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d7a1fa1b-ef98-4f44-b1bc-c263b5b7f168","year":1991},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:4ec925f622ffeb5b05b3126071a7425358b3134506c791cca76c0c50f1445aba","observation_id":"269f0212-21fb-45bf-9005-1d9b454f19a5","resolution":{"observed_at":"2026-05-17T01:53:51.441162Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b3c0e773-4348-4921-ac20-650e384d7743","year":2022},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:3ecea3678b2e01f6266355402dd58d0b8e2ec71a986ae7f2797fee6d9e9674d1","observation_id":"97431fdb-9776-46c5-8179-43ea7f0aeccb","resolution":{"observed_at":"2026-05-17T01:53:51.469892Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Zinn: Understanding informal mathematical discourse","venue":null,"work_id":"cb11af1e-f7e9-464a-a120-d53b5356f3fe","year":2004},"citing_paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-10T18:29:49.616565Z"},"links":{"citing_paper":"/paper/2604.07455"},"observation_digest":"sha256:7c070da1f5f126034bb3b0fe184a5430f931cba91dd0bc0dc9c9c2b4d4a5c7b2","observation_id":"33cb1114-fa3f-4d4c-b732-ea0880f2689b","resolution":{"observed_at":"2026-05-17T01:53:51.443736Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.07455","last_updated":"2026-04-08T18:00:36Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-06T05:50:11.529088Z","submitted_at":"2026-04-08T18:00:36Z","title":"Munkres' General Topology Autoformalized in Isabelle/HOL"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":16},"total_outbound_references":25},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 2 inbound Pith citation observations for arXiv:2604.07455."}