Paper Citation Record · LEDGER

Lower bounds for multivariate independence polynomials and their generalisations

As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 6 inbound Pith citation observations for arXiv:2602.02450.

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

pith.paper-citation-record.v1
2602.02450 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 6 of 6 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 6 of 6 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-11T00:26:17.026355Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 0ecf52a6-b330-42ff-afba-d17d6e59a70f · inbound

Automated Conjecture Resolution with Formal Verification cites this paper.

Automated Conjecture Resolution with Formal Verification Lower bounds for multivariate independence polynomials and their generalisations

Reference 31

Resolution: verified exact; arxiv_id, observed 2026-08-07T01:32:41.829734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f52cc58d-d938-40da-aa0d-d89d305a83f7 · inbound

Matlas: A Semantic Search Engine for Mathematics cites this paper.

Matlas: A Semantic Search Engine for Mathematics Lower bounds for multivariate independence polynomials and their generalisations

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-08-07T01:32:41.829734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2a237097-9ea1-48a4-9bd2-4898f7d8dbed · inbound

Degree-sequence bounds for independent sets via multivariate local occupancy cites this paper.

Degree-sequence bounds for independent sets via multivariate local occupancy Lower bounds for multivariate independence polynomials and their generalisations

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-08-07T01:32:41.829734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 324313cc-a73a-46a3-a9fc-3ca992ebb028 · inbound

Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory cites this paper.

Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Lower bounds for multivariate independence polynomials and their generalisations

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-08-07T01:32:41.829734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d7b48deb-5f23-44ce-b0f9-256961ded305 · inbound

Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory cites this paper.

Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Lower bounds for multivariate independence polynomials and their generalisations

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-08-07T01:32:41.829734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9aacc80c-04af-4ecb-97ac-ae2e073de9d0 · inbound

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier cites this paper.

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier Lower bounds for multivariate independence polynomials and their generalisations

Reference 129

Resolution: verified exact; arxiv_id, observed 2026-08-07T01:32:41.829734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.