Paper Citation Record · LEDGER

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification

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

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

pith.paper-citation-record.v1
2410.19940 v4

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 8 of 8 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+00:00

measured 8 of 8 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-11T11:50:26.030339Z

measured 1 of 1 external citation measurements

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

Source: pith, 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

2
pith, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation c3a005d4-058e-4325-bc63-c84f36677422 · inbound

The Search for Constrained Random Generators cites this paper.

The Search for Constrained Random Generators Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification

Reference 24

Resolution: verified exact; local_arxiv, observed 2026-05-17T22:15:21.820500Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 72184f4e-e596-4a88-84d2-56f10489176c · inbound

PROMISE: Proof Automation as Structural Imitation of Human Reasoning cites this paper.

PROMISE: Proof Automation as Structural Imitation of Human Reasoning Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-05-10T23:25:53.922372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 784fe8d8-7662-4e0c-83b7-769ad8f7ba29 · inbound

Certified Program Synthesis with a Multi-Modal Verifier cites this paper.

Certified Program Synthesis with a Multi-Modal Verifier Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification

Reference 27

Resolution: verified exact; local_arxiv, observed 2026-05-10T08:22:37.480498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 380c0787-e186-4316-92d1-f186a6eb6c99 · inbound

On Reasoning-Centric LLM-based Automated Theorem Proving cites this paper.

On Reasoning-Centric LLM-based Automated Theorem Proving Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification

Reference 11

Resolution: metadata mismatch; local_arxiv, observed 2026-05-10T02:27:36.553534Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation bf732cd2-4dc3-40ea-858f-6bb6cb801c9f · inbound

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers cites this paper.

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-05-11T23:16:14.490611Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation b145b88a-c568-4a50-89fe-94b1cbddfe24 · inbound

A Learning Method for Symbolic Systems Using Large Language Models cites this paper.

A Learning Method for Symbolic Systems Using Large Language Models Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-05-12T01:36:14.640703Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 39373a11-7d0e-4bcd-860b-950f00a293ef · inbound

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification cites this paper.

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification

Reference 48

Resolution: metadata mismatch; local_arxiv, observed 2026-05-12T04:21:20.461248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 3271f915-1146-4a27-9c05-a4f26ab82569 · inbound

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover cites this paper.

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification

Reference 47

Resolution: verified exact; local_arxiv, observed 2026-06-29T20:23:57.864456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.