Paper Citation Record · LEDGER

Lean-verified lower bounds for the Shannon capacity of odd cycles

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.29681 v1

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T01:55:38.834652Z

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

14 of 14 outbound references displayed

verified exact0
verified fuzzy0
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 446169e1-6f20-4d0f-be67-bd352ee8a660 · outbound

This paper cites an unresolved cited work.

Lean-verified lower bounds for the Shannon capacity of odd cycles Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:37.573757Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 255f1436-24fb-4ba4-967f-a55848370d7e · outbound

This paper cites , TITLE =.

Lean-verified lower bounds for the Shannon capacity of odd cycles , TITLE =

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:37.603442Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b59c6d6-e540-404d-aadc-1e96c7056834 · outbound

This paper cites and Schrijver, Alexander , TITLE =.

Lean-verified lower bounds for the Shannon capacity of odd cycles and Schrijver, Alexander , TITLE =

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:37.655519Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97f379e7-7811-426a-bd3d-509e4191cf53 · outbound

This paper cites Improved lower bound on the.

Lean-verified lower bounds for the Shannon capacity of odd cycles Improved lower bound on the

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:37.754040Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6b7387d-276f-4e54-bb1c-3b5062704787 · outbound

This paper cites Ashik and \".

Lean-verified lower bounds for the Shannon capacity of odd cycles Ashik and \"

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:37.821126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c59de102-7abb-4054-b83e-630877032e43 · outbound

This paper cites an unresolved cited work.

Lean-verified lower bounds for the Shannon capacity of odd cycles Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:37.884732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b00fa027-1588-456d-8b44-6391bd25f719 · outbound

This paper cites Electron.

Lean-verified lower bounds for the Shannon capacity of odd cycles Electron

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:37.954088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5734e052-280d-49eb-9f10-b7b00af30e09 · outbound

This paper cites The asymptotic spectrum distance, graph limits, and the.

Lean-verified lower bounds for the Shannon capacity of odd cycles The asymptotic spectrum distance, graph limits, and the

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:38.063245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 240eba58-1b07-4a61-a602-baaded4e8842 · outbound

This paper cites 2026 , eprint=.

Lean-verified lower bounds for the Shannon capacity of odd cycles 2026 , eprint=

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:38.167239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d931c41-7518-48c0-983b-e85d32f8bc21 · outbound

This paper cites A Recursive Construction Improving the Lower Bound on the Shannon Capacity of $C_7$.

Lean-verified lower bounds for the Shannon capacity of odd cycles A Recursive Construction Improving the Lower Bound on the Shannon Capacity of $C_7$

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:38.282754Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdda71da-fb89-43d5-b1cf-dbfb313a3fb0 · outbound

This paper cites The Lean 4 Theorem Prover and Programming Language , booktitle =.

Lean-verified lower bounds for the Shannon capacity of odd cycles The Lean 4 Theorem Prover and Programming Language , booktitle =

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:38.450438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1166b77b-265b-46b2-98eb-0e6c943426e6 · outbound

This paper cites 2019 , eprint=.

Lean-verified lower bounds for the Shannon capacity of odd cycles 2019 , eprint=

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:38.578444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69c32d3e-82dc-490c-865c-a4bbd057fa5f · outbound

This paper cites Mathematical discoveries from program search with large language models , journal =.

Lean-verified lower bounds for the Shannon capacity of odd cycles Mathematical discoveries from program search with large language models , journal =

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:38.725290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b33eca7a-472f-49b5-9525-ccbb9462da5b · outbound

This paper cites Ars Combin.

Lean-verified lower bounds for the Shannon capacity of odd cycles Ars Combin

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T01:55:38.834652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.