{"as_of":"2026-08-09T00:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:17c2387a4c95c46e73d1af50e8ad4474f445dc5e9ec6b6209025b69e38e7d731","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-14T16:45:48.565415Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.01544/citation-record","integrity":"/paper/2607.01544/integrity","json":"/paper/2607.01544/citation-record.json","paper":"/paper/2607.01544"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:1991c9dc37d6ddae12ff83ca56d7ae0bbb9a4e93a3e6bcdd0a6777485476e450","observation_id":"dbbbd700-868f-4273-811d-1cc1d477473d","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:b3cc6d2d31e5dbcffd8f60959badc3d179d8eecc47c8d8b1e4526784e2e37264","observation_id":"664273bd-f5ab-4408-a03a-ee239042e0ab","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:0172fc1752e8a6f12592dadb63715e7047b31b1ea60d8beeab8524b94bcdd2be","observation_id":"c540ab5e-7cb2-4299-8be1-d04d964f2fe1","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:c8bf628dcb74a36498b997d8cb8e46980569c0c4a36469e637e6e5ad6b6868cc","observation_id":"d73222f1-8e74-400d-892d-e5134f99eafe","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:802597d4e983e49626d4e99586f872ab9d01e839f9d926970e55b2bba6a882eb","observation_id":"d3a4b740-c135-4b31-81ba-8849a01b8e81","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1949},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:f20f3a395fb1f43210c26e4f0ef0c779fa59aad69fd54b1f531ec1f9956ef59d","observation_id":"8e7dec68-4452-45bc-8c33-a9c1a8ad618b","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:58ce6515856e7dd75c2db708d9dc22d17ac8aff92e643e558a9df55fe56e601b","observation_id":"45af045b-91f6-4dc1-8722-e5c83da1569f","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:c557a1852df6d75445e6366bf719c8bf3ed6c2eac745e8b90fd1881671efd02f","observation_id":"4ed92118-51e3-4c91-95b3-346713cf4bc0","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Bringmann, A","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:634b3c755d6d48f67d7a8a1ea4d00949b3acd5912942a636a0cbaa321ff14523","observation_id":"5323dfd4-b119-497b-8595-166889aa5117","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Buzzard, Division by zero in type theory: a F AQ , Xena Project blog, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:94da725e62055480d5d016a405d9f66cbda9760567bd00915c71c17e1cb5d545","observation_id":"5040fe98-ef8f-4837-91b4-06d5f65487b5","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:0da1a02838586f4a05dbdec812240d43f82ef6782ee3e94bb94d7f0a4c3f269e","observation_id":"42d9b869-e932-471f-b116-c993b29aa9d8","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","resolver_source":null,"status":"malformed_identifier"},"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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1955},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:d165b589b1a02873093f2345b6b884d4ee15aa89b5995301cd8773f3929dbea7","observation_id":"9c1df6a5-0159-4992-bafe-a99248f7e55d","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"de Moura, S","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:b96ab2078e42336413978486e549352a9665bef1740b4f1f6349228dcfadd601","observation_id":"d10ae93f-38a5-4169-9927-9ffd0ddda550","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Diamond and J","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:ecad7d1b9b733a2ceb707c68210a1e6d9357e028edd6a184b28f4a3f8f49f956","observation_id":"ae8126da-5923-4e8a-b682-0aa0d9bb0fd7","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Di Francesco, P","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:63e9960444900c8f780451d3456b0413fbd6573a7bbe2323a66de704a374c965","observation_id":"7cba0578-798b-46c1-ac2e-5ce295d3a183","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Eichler and D","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:83986bf4e14d77182de2a1830d2130f413acb8ce6ef949be13408a1312ef0a3b","observation_id":"105784ad-af75-4eed-872c-07c457cc38da","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:f2045ec7cf64858bff63dbaffdb87142c6694e08067fe5f30a7a4f741cb1ecf7","observation_id":"dbb888b8-d198-454e-b621-cc024d334ab5","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Gasper and M","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:98a9d5837fb09d5937f4ed1227b06bf7fab85685a0cb7d01aa350d8b8aee3b75","observation_id":"f091db97-2fa2-4b58-b009-0d9dd41277a0","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.03071","last_updated":"2026-04-03T14:51:01Z","snapshot_observed_at":"2026-08-03T21:01:45.224658Z","submitted_at":"2026-04-03T14:51:01Z","title":"Automatic Textbook Formalization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.03071","snapshot_observed_at":"2026-07-14T16:45:48.565415Z","title":"Gloeckle, A","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"cited_paper":"/paper/2604.03071","citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:b9904d250999dded57bc9c576a5cf617caf354f81062457d4318f0d6810bb31a","observation_id":"69c467ad-10a5-4fb1-978f-4a7f444a865a","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:9f48f1465e9a5758255e1bb55ae9449e64ebace8164ee2b645e01d7f1894fdf3","observation_id":"4844f1af-a2b8-4e0e-bb0b-78880efe006a","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"math/0409584","last_updated":"2018-09-29T09:09:59Z","snapshot_observed_at":"2026-07-07T05:43:42.213215Z","submitted_at":"2004-09-29T18:34:37Z","title":"Foundations for almost ring theory -- Release 7.5","version":13},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"math/0409584","snapshot_observed_at":"2026-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"cited_paper":"/paper/math/0409584","citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:2672a018d378b27a3dc7349bd596476512650e7c70250fdb31b83b9900a51c48","observation_id":"fe26473c-1764-4246-a70d-9b1adea8024c","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.00738","last_updated":"2025-05-31T22:58:31Z","snapshot_observed_at":"2026-08-07T11:56:46.208962Z","submitted_at":"2025-05-31T22:58:31Z","title":"An Introduction to Algebraic Combinatorics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.00738","snapshot_observed_at":"2026-07-14T16:45:48.565415Z","title":"Grinberg, An introduction to algebraic combinatorics , arXiv preprint arXiv:2506.00738 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"cited_paper":"/paper/2506.00738","citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:7b8466df33b17221ed73fd796185aaa734084ac916cf2daae13b9a6a4b3088fa","observation_id":"9c103e49-63bc-4198-a299-4e7ccbd1d3af","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Nipkow, M","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:db9bb849819f2b407e9134e6674c5dabc3701f91083ae8a4e195ceb7d126e8b0","observation_id":"27e4d53e-338f-41f1-ada1-c42cfcb82f8c","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:202b84f72846af948f296c769fb2719ba663f3f6a96dd55acb47f686e4980412","observation_id":"f51804a2-ea82-4f72-a453-1c6d0ace1a95","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:b0018fd84ff8bf227cd1c48b166bdecd318d2012b052027c6b13f9bc3640d2bb","observation_id":"a6305650-108b-48dd-af0b-6eb5768445d5","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:40412b8c5ea8224d181b9ca848ff20a164f5226d700b260dfd50e2ec48d50716","observation_id":"48ff6960-4997-4ace-a1e9-07cf8d7c77f0","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Lepowsky and H","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:d3579de27067048a5af0c0ea4678a32f43397e795f872a54bdc4e2e68da95dbf","observation_id":"17400c2f-fc27-4459-95d9-7fec1bf85516","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:97db9131d1d4e199805f33d6a9b5eaab69c02b09cc3fbd618644bec61c21bdfe","observation_id":"6732077f-7980-42aa-bab0-ba13f20db702","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Eberl, Theta Functions, Archive of Formal Proofs , December 2024, https://isa-afp.org/entries/Theta_ Functions.html, Formal proof development","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:ef5f6afb0d7bff4d91afd1e127519981c327e64e40bd9edf6251f951bd818d66","observation_id":"5a6e2694-5c58-434b-8b3a-cf791fe58390","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:db8527199fc0f5c7a822c75cf81ec975e2b7e3529ebb04598761409bfdb31c25","observation_id":"c1f9a4cd-e8b1-4d27-8bfa-dec890407578","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Eberl, The Rogers–Ramanujan Identities, Archive of Formal Proofs , December 2024, https://isa-afp.org/ entries/Rogers_Ramanujan.html, Formal proof development","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:793f93a1aeeed39d0aff8edc567272c7fa5bc40ba1cd677ce4863eb9e2b571e1","observation_id":"6a0c01e6-98f4-4b5f-98c3-5fa80c26f6b7","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:5bcc5836634c1143795122ff2cc350489c100a6ba545ec28c749ffcc5a06bd8d","observation_id":"53256089-27c6-4c7f-b14d-4d72c9cb2bd7","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Ono, The Web of Modularity: Arithmetic of the Coefficients of Modular Forms and q-series, CBMS Regional Conference Series in Mathematics, vol","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:50472e21b641d7480540ca6df70fe818222fa4c14b3d1dcbf0163d37468685d8","observation_id":"69ab366a-9909-4b4c-aa88-73c61574cc68","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:95dbd1f695a56da00e7275f8d0b9d64c68d57f079c46295f7d1de1254c0abfb9","observation_id":"1d3223f6-d72d-4f74-a733-f2ead88b9ce1","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1919},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:05fe76d6e7f132978b3026617e532637196a043197472466c76d81792a3d3477","observation_id":"fbc3a8e1-1507-4ffc-9ef0-dbe8b1cc16d5","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Serre, Formes modulaires et fonctions zêta p-adiques","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:53a5f922d2eab282e297458b4a51b82b187406600fd19f61ef7084903b591c61","observation_id":"6ae5d00c-2486-4b8c-b21f-50a371e87985","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Schoeneberg, Elliptic Modular Functions: An Introduction , Springer, Berlin, 1974","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:9658adb699a49e12600a5738a4d79bf8f0a4224713971d3a8d2d84c4bfda30a5","observation_id":"d3b333bd-b619-418c-ae42-2a0c4073237b","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Schur, Ein Beitrag zur additiven Zahlentheorie und zur Theorie der Kettenbrüche , Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin (1917), 302–321","venue":null,"work_id":null,"year":1917},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:3396b4f5322e1fadd7c52a0e756e5e83711e75c70b31aec0b366d0502d563749","observation_id":"240e1868-87e9-43fa-847b-cee80bcf73a4","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:7213e3b935234bab20ca8c49aaf54a95df137a74f93afe7e93b2d55d0a92b995","observation_id":"c57a71b6-fdd2-490b-9eb6-ea5a29ee0f47","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2001.04301","last_updated":"2020-01-21T15:09:43Z","snapshot_observed_at":"2026-07-30T20:39:52.227532Z","submitted_at":"2020-01-13T14:40:59Z","title":"Tabled Typeclass Resolution","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2001.04301","snapshot_observed_at":"2026-07-14T16:45:48.565415Z","title":"Selsam, S","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"cited_paper":"/paper/2001.04301","citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:61b921adc2321c3abd53d72a22f2ea738a778aa23cde53ba264383c2b4968c8f","observation_id":"bc74fbaf-230f-4044-94e7-c75a442130d1","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1929},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:9baf5077dfd780ec3ab41681fb2e9d368b403767f6b6cd555e4938a0d5b638ef","observation_id":"dca0557c-16ec-4b08-ac33-1c39c520e6bd","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:48c2ae1d52fa26d6ce7db707a96fc2c7c0f8a72d8b30eb046d88a2635a2232e8","observation_id":"6b172cc7-b577-4029-b226-5a2d97d6d890","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","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-07-14T16:45:48.565415Z","title":"Zagier, Elliptic Modular Forms and Their Applications , in The 1-2-3 of Modular Forms (J","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-14T16:45:48.565415Z"},"links":{"citing_paper":"/paper/2607.01544"},"observation_digest":"sha256:891e84e464e1491a5ff6e95583b6b40d5c6e692f31c6a3bd46f1280ca2611e5d","observation_id":"5f03ff84-2531-4339-81e1-dd612c5f6bb2","resolution":{"observed_at":"2026-07-14T16:45:48.565415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.01544","last_updated":"2026-07-13T17:51:35Z","latest_version":2,"primary_category":"math.NT","snapshot_observed_at":"2026-07-16T23:19:39.492742Z","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":42,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":43},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2607.01544."}