{"as_of":"2026-08-14T14:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3c52cc708b53ee027ac7222a5b328813c4e72941a9d06809b15969e84fc59658","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T07:46:35.864646Z","state":"measured"},{"denominator":30,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":30,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T04:37:20.797340Z","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-03T09:17:48.540059Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"cited_work":{"arxiv_id":"2606.03835","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.03835","snapshot_observed_at":"2026-07-03T09:17:48.540059Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","venue":"cs.DB","work_id":"521748ef-e9df-4679-b1e9-ec970088f8ba","year":2026},"citing_paper":{"arxiv_id":"2606.11430","last_updated":"2026-08-09T18:31:54Z","snapshot_observed_at":"2026-08-13T23:28:25.117027Z","submitted_at":"2026-06-09T20:29:18Z","title":"Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-27T10:27:09.499856Z"},"links":{"cited_paper":"/paper/2606.03835","citing_paper":"/paper/2606.11430"},"observation_digest":"sha256:aec0dfb6a5a452905bd9ac7a72e87fce1212d907799a401d9eac55f692e0e9c9","observation_id":"84cff988-89f7-4ecf-bb28-129471b10b0c","resolution":{"observed_at":"2026-07-03T09:17:48.541347Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.03835","snapshot_observed_at":"2026-08-02T11:50:19.114898Z","title":"Mayeux, Formalizing all indexed mathematics as a bench- mark for general reasoning, with the example of implementing dilatations of categories, arXiv:2606.03835, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.11430","last_updated":"2026-08-09T18:31:54Z","snapshot_observed_at":"2026-08-13T23:28:25.117027Z","submitted_at":"2026-06-09T20:29:18Z","title":"Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T11:50:19.114898Z"},"links":{"cited_paper":"/paper/2606.03835","citing_paper":"/paper/2606.11430"},"observation_digest":"sha256:09731633a828027bcdfa275e520a5f016a6e7b85ddf8f55cd70d41d0c97cef19","observation_id":"786e51e6-65dc-4861-ae4f-153360f398fd","resolution":{"observed_at":"2026-08-02T11:50:19.114898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.03835","snapshot_observed_at":"2026-08-14T04:37:20.797340Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.08643","last_updated":"2026-08-09T11:30:49Z","snapshot_observed_at":"2026-08-14T04:26:00.583246Z","submitted_at":"2026-08-09T11:30:49Z","title":"The set of primes is supernatural: a Lean formalization of the statement of the conjecture","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T04:37:20.797340Z"},"links":{"cited_paper":"/paper/2606.03835","citing_paper":"/paper/2608.08643"},"observation_digest":"sha256:ce0a18acea86feab9a785a625ffa38113887f38fc61b767a0460ee2ed4e0cfe4","observation_id":"7056b03f-2b73-483a-ad34-1c86c87facc5","resolution":{"observed_at":"2026-08-14T04:37:20.797340Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.03835","snapshot_observed_at":"2026-08-11T19:49:30.996009Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.09305","last_updated":"2026-08-10T08:52:54Z","snapshot_observed_at":"2026-08-13T23:42:57.521273Z","submitted_at":"2026-08-10T08:52:54Z","title":"Dilatations of categories, via their lean formalization","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T19:49:30.996009Z"},"links":{"cited_paper":"/paper/2606.03835","citing_paper":"/paper/2608.09305"},"observation_digest":"sha256:b9c2e05072300a64baa8879a78bb147be83fda2f06394e2fd8a69b2719660b2a","observation_id":"2d6411f0-2421-4b4f-9a15-fd39c76a7202","resolution":{"observed_at":"2026-08-11T19:49:30.996009Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2606.03835/citation-record","integrity":"/paper/2606.03835/integrity","json":"/paper/2606.03835/citation-record.json","paper":"/paper/2606.03835"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T07:46:35.864646Z","title":"Avigad, Varieties of mathematical understanding, Bull","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:a96ceef0d34ea55ec0d35a9d8c1daaacf290fbd328064d5ffeee21162a438275","observation_id":"ceea26b7-dbc3-4fc4-be35-82642a80f55d","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Avigad, Automated reasoning for mathematics, in Automated reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:b9d270ca2b4ca2268160734f1a97eb2799670f020928d64345229812cd3ebb6c","observation_id":"14dd019e-5777-4c43-a1ae-5967487eccb9","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Avigad, J","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:7d9c12206e6830f3da045a555848e08a478bafe6846693d998aa426eab0146cc","observation_id":"357f401f-3eaa-4a44-b48b-673adfb05568","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Avigad, J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:6e3b5dedd37d20d1fa6b8c49cf0de2a1d3522c14516a32c94a2136f43e6a47b3","observation_id":"7f12d656-d03b-4356-83ed-65ada09a5a0d","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Barroso, U","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:b023414052295d4bd77e5eed1c25a6e42ce4abf300c8a8e386594d90a8bbc107","observation_id":"6e67ea56-2f16-43dc-bf3b-1bf297e0ba09","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Boyer, A mechanically proof-checked encyclopedia of mathematics: Should we build one? Can we?","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:909f186e912875faec5f8cccf027d4d1f20f0f8633b4d67528ba3c555f211135","observation_id":"49adf781-cff8-456d-9633-5631251e2c9d","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Springer, Berlin","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:f1628df065aa477d33e11f404843fa44d41e18160138b977b581d44e8de261c9","observation_id":"90bb9ec8-ded8-468f-8655-e7f8e6e1cc1b","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"de Bruijn, The mathematical language Automath, its usage, and some of its extensions","venue":null,"work_id":null,"year":1970},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:2b0d28ad995b9ce560edd41a187661ec4bdcc158d6ba34ea031683a4023244ff","observation_id":"19f869d3-b151-4a76-a2f3-177fc64ba1e6","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Buzzard, Computers and mathematics, Lond","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:a72b2d2b3876b5340cb6a53796e9fae81ba86aac190d2b5fc360a825385f7fee","observation_id":"d438199a-6f72-4990-b9ef-0709971a9903","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Buzzard, Mathematical reasoning and the computer, Bull","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:a2ccb82b85fdd028c4b3f97d6233522a200baa47e69ed24079ba0cd52eccffaa","observation_id":"8dfa3e20-8e1f-44f8-bd17-385b2d925171","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Coquand, G","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:4a3f22f713c4c02c00aac869ec761b71f1e103cbaaaea8262aa05a716b14b45c","observation_id":"63d5bcad-7b3b-4b3b-be37-ba85417a7c9f","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Gabriel, M","venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:f3b17f6039bca749f33eb56898dad241639de1938f776ee876f0d683c75200b5","observation_id":"5851962e-6dba-483f-b4d3-aec953253171","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Gordon, HOL: A proof generating system for higher-order logic,(Technical Report No","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:cca5cec615673c456f153a7fecbee1e187dc067b1b86d6f24e87e504d2903f9f","observation_id":"2c5a5a7e-5bf8-4374-a6d8-ae28b925d351","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Hamming, The mechanization of science Proceedings of the 1961 16th ACM national meeting","venue":null,"work_id":null,"year":1961},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:ca4e1637b04d03259dfe888e790818989f4d18577b3143c384139d4cc82b1d32","observation_id":"528da37a-bd3c-42b9-b365-4855d3901de8","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Rabe, QED reloaded: towards a pluralistic formal library of math- ematical knowledge, Journal of Formalized Reasoning, 9 (2016), no","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:3c87a5b308ed3a1ca6c3b6afdf0e4f89355ecb76146ef906b22ea266fa4f6e2a","observation_id":"5c01d8a7-2a09-430a-9907-8d8bd4d13746","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Massot, Teaching mathematics using lean and controlled natural language, in 15th International Conference on Interactive Theorem Proving, Art","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:687a7665d578e720d74212f43c6d20f5041d4467b4dd0bbaf883485edb376dac","observation_id":"5138eb77-1aff-4605-8f34-e7a902c0ee6b","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:b2bbbf91ebbafc421e8507388acd2b6f458c740e060b97a27677e6f135d94f27","observation_id":"6955e887-fd2a-4df3-8a6e-ec5a06bba5d4","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","resolver_source":null,"status":"parse_uncertain"},"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-28T07:46:35.864646Z","title":"Mayeux, Dilatations of Categories, Higher Structures, 9 (2025), no","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:226634304f140b9ae5632ae156966b47e609ed8fce0f1da04719cd7693c60398","observation_id":"6e5f6cc8-8dd1-4af3-8356-c3687277e0ad","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Milner, Logic for Computable Functions: Description of a Machine Implemen- tation","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:f00dd453f3daf40c32d56c6c804aa357e0094dead1c59a01cc77b841fc9b2d1b","observation_id":"2d2e7a16-3003-4dac-9c0c-ec0db110552c","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Milner, The use of machines to assist in rigorous proof, Philos","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:c6d713fe258fe1a2bb31c676841ecc320ef9aea40553a418c8948cb218eb2b8c","observation_id":"4e448938-2a06-42c9-aee6-15dd76db6236","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Mousavi, M","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:32027b6ab676522e5a715847e733df1745f85b67d85952567dd39e983740608b","observation_id":"8017cc15-40cc-468a-87d0-245d6c9c830c","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:63f74e7519710e349f2b609f1e0e3bbd2561ca767f4d2b52d628322b735b07f5","observation_id":"945e771f-da1b-44db-a081-9a6ccdf28bd6","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Newell, J","venue":null,"work_id":null,"year":1956},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:9d598d57290b1d7581e9419e0a4e8269996fef7a81d742026ca0f011a3af8b72","observation_id":"ee35228c-9d0b-43c7-b351-328aba7f55b9","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:e5e185361939c28b36b29deba58c5b5b23882a14aaca9abf4a0ce91d21a5675d","observation_id":"b4ec7378-8713-46b7-bba7-c6ab2d9a18a0","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"de Moura and S","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:baab98f58288609889a1106dc1ee43ce12824a0d2c5d000b33db065a41e7b85c","observation_id":"4a871d39-6894-4559-bfe9-c64bfd058c72","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","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-28T07:46:35.864646Z","title":"Paulson: Isabelle","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-28T07:46:35.864646Z"},"links":{"citing_paper":"/paper/2606.03835"},"observation_digest":"sha256:873f336394f595f7afe08c842fb0d01885e8be9744abc89e47bb4e9ae7be2a4e","observation_id":"feb80bfd-6dc3-4297-b76b-86c06cfd0177","resolution":{"observed_at":"2026-06-28T07:46:35.864646Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","latest_version":2,"primary_category":"cs.DB","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":25,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":26},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 4 inbound Pith citation observations for arXiv:2606.03835."}