{"as_of":"2026-08-08T09:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:92ec6cde0bc96c3c8577a3083276dfbbaee4a82ad526f8ebc42b89b3347f0526","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T01:55:38.834652Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"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.29681/citation-record","integrity":"/paper/2607.29681/integrity","json":"/paper/2607.29681/citation-record.json","paper":"/paper/2607.29681"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T01:55:37.573757Z","title":null,"venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:37.573757Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:d95423653510b4608d5da9aa01c95585ca51971978a27ce0a5f6e6aaecbb460a","observation_id":"446169e1-6f20-4d0f-be67-bd352ee8a660","resolution":{"observed_at":"2026-08-03T01:55:37.573757Z","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-08-03T01:55:37.603442Z","title":", TITLE =","venue":null,"work_id":null,"year":1956},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:37.603442Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:49b57256aeafe3901b79942f26e1aae9be42187a2ee31c0a0a2c77b4a4a678d8","observation_id":"255f1436-24fb-4ba4-967f-a55848370d7e","resolution":{"observed_at":"2026-08-03T01:55:37.603442Z","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-08-03T01:55:37.655519Z","title":"and Schrijver, Alexander , TITLE =","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:37.655519Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:eab6dd28e6663f799099bf342b2cfc829b6682966381082544e3fb285459b8f1","observation_id":"2b59c6d6-e540-404d-aadc-1e96c7056834","resolution":{"observed_at":"2026-08-03T01:55:37.655519Z","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-08-03T01:55:37.754040Z","title":"Improved lower bound on the","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:37.754040Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:b539693a0cad57dde9c31382ac1ff988377533607aa15f61fc7e7918216e8d5b","observation_id":"97f379e7-7811-426a-bd3d-509e4191cf53","resolution":{"observed_at":"2026-08-03T01:55:37.754040Z","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-08-03T01:55:37.821126Z","title":"Ashik and \\\"","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:37.821126Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:713bdc03ffd499c1b891259864b5ab16c2cc88401841255390833249628c5443","observation_id":"c6b7387d-276f-4e54-bb1c-3b5062704787","resolution":{"observed_at":"2026-08-03T01:55:37.821126Z","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-08-03T01:55:37.884732Z","title":null,"venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:37.884732Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:1d2cc673ef747e4421bf71d246c0605a7be50fe91a6673638d24032ed4ee7563","observation_id":"c59de102-7abb-4054-b83e-630877032e43","resolution":{"observed_at":"2026-08-03T01:55:37.884732Z","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-08-03T01:55:37.954088Z","title":"Electron","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:37.954088Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:2fbce70e098a6ffd713fcd615ce410ff46ccea3a16e093bf6ecb868632ff12c0","observation_id":"b00fa027-1588-456d-8b44-6391bd25f719","resolution":{"observed_at":"2026-08-03T01:55:37.954088Z","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-08-03T01:55:38.063245Z","title":"The asymptotic spectrum distance, graph limits, and the","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:38.063245Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:326188ca4e6d414645b24bab6083d0f3faaf55f4ba965024c13c1022c85f89aa","observation_id":"5734e052-280d-49eb-9f10-b7b00af30e09","resolution":{"observed_at":"2026-08-03T01:55:38.063245Z","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-08-03T01:55:38.167239Z","title":"2026 , eprint=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:38.167239Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:ca755bffa9acdfdbf46e99fdb56bc41007efb0be573842fa89ecc2831866bc6b","observation_id":"240eba58-1b07-4a61-a602-baaded4e8842","resolution":{"observed_at":"2026-08-03T01:55:38.167239Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.27869","last_updated":"2026-07-30T08:44:15Z","snapshot_observed_at":"2026-08-07T23:36:48.947635Z","submitted_at":"2026-07-30T08:44:15Z","title":"A Recursive Construction Improving the Lower Bound on the Shannon Capacity of $C_7$","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.27869","snapshot_observed_at":"2026-08-03T01:55:38.282754Z","title":"A Recursive Construction Improving the Lower Bound on the","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:38.282754Z"},"links":{"cited_paper":"/paper/2607.27869","citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:6b16892e0db6a32916e6a506585ada1ee279e428b8a082da5c7b8ed14d4380bb","observation_id":"5d931c41-7518-48c0-983b-e85d32f8bc21","resolution":{"observed_at":"2026-08-03T01:55:38.282754Z","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-08-03T01:55:38.450438Z","title":"The Lean 4 Theorem Prover and Programming Language , booktitle =","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:38.450438Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:7d7b8f61cff4140c6ed8754f24b8ff5dfe8b51c9cc0b273c424f2b454f58822d","observation_id":"bdda71da-fb89-43d5-b1cf-dbfb313a3fb0","resolution":{"observed_at":"2026-08-03T01:55:38.450438Z","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-08-03T01:55:38.578444Z","title":"2019 , eprint=","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:38.578444Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:70257cdefa15db3b48fe2ac745b740f3fa5d766a7391bc241c04af58ca77db1b","observation_id":"1166b77b-265b-46b2-98eb-0e6c943426e6","resolution":{"observed_at":"2026-08-03T01:55:38.578444Z","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-08-03T01:55:38.725290Z","title":"Mathematical discoveries from program search with large language models , journal =","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:38.725290Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:424332f76cc0caf09925298e3ae817b61c7a19456c38c8904c65a1d7c720ff16","observation_id":"69c32d3e-82dc-490c-865c-a4bbd057fa5f","resolution":{"observed_at":"2026-08-03T01:55:38.725290Z","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-08-03T01:55:38.834652Z","title":"Ars Combin","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-03T01:55:38.834652Z"},"links":{"citing_paper":"/paper/2607.29681"},"observation_digest":"sha256:bda7e2fe41bc49647ea26a57236f50850a7a9ef6f5c78d6d6e3c488cbf6f1095","observation_id":"b33eca7a-472f-49b5-9525-ccbb9462da5b","resolution":{"observed_at":"2026-08-03T01:55:38.834652Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.29681","last_updated":"2026-07-31T17:57:08Z","latest_version":1,"primary_category":"math.CO","snapshot_observed_at":"2026-08-07T23:37:23.133099Z","submitted_at":"2026-07-31T17:57:08Z","title":"Lean-verified lower bounds for the Shannon capacity of odd cycles"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":14},"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 8 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2607.29681."}