Paper Citation Record · LEDGER

miniCodeProps: a Minimal Benchmark for Proving Code Properties

As of 18 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 9 inbound Pith citation observations for arXiv:2406.11915.

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

pith.paper-citation-record.v1
2406.11915 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 9 of 9 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 9 of 9 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T16:59:23.490482Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-01T21:26:13.999304Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 6251974d-f5b8-4493-a3f7-8526db1f0273 · inbound

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement cites this paper.

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement miniCodeProps: a Minimal Benchmark for Proving Code Properties

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-11T20:02:27.460873Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6aa3455c-8c23-4932-8db7-842b938377ed · inbound

Formal Mathematical Reasoning: A New Frontier in AI cites this paper.

Formal Mathematical Reasoning: A New Frontier in AI miniCodeProps: a Minimal Benchmark for Proving Code Properties

Reference 278

Resolution: unresolved; no resolver link, observed 2026-08-11T10:51:30.738010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b67947af-7c7d-49b7-ba22-1978f101dd98 · inbound

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants cites this paper.

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants miniCodeProps: a Minimal Benchmark for Proving Code Properties

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-15T16:59:23.490482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc4c65f7-8470-48db-bca8-15ee52964351 · inbound

BRIDGE: Building Representations In Domain Guided Program Synthesis cites this paper.

BRIDGE: Building Representations In Domain Guided Program Synthesis miniCodeProps: a Minimal Benchmark for Proving Code Properties

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-05-17T05:24:04.833673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e62bc26d-451a-425d-985f-f4006bdd3360 · inbound

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs cites this paper.

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs miniCodeProps: a Minimal Benchmark for Proving Code Properties

Reference 11

Resolution: verified exact; arxiv_id, observed 2026-05-15T10:59:57.109801Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 60878fd3-e9d3-43b2-998a-3e4baf5f5353 · inbound

VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation cites this paper.

VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation miniCodeProps: a Minimal Benchmark for Proving Code Properties

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-05-12T08:01:32.542398Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ebad445a-474c-41a4-bbae-d8bc2940496d · inbound

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems cites this paper.

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems miniCodeProps: a Minimal Benchmark for Proving Code Properties

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-05-25T04:55:23.761583Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5c1d1f80-fcc4-4e42-9564-6ce51559029f · inbound

FVSpec: Real-World Property-Based Tests as Lean Challenges cites this paper.

FVSpec: Real-World Property-Based Tests as Lean Challenges miniCodeProps: a Minimal Benchmark for Proving Code Properties

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-07-01T21:26:14.000712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a99012e3-3620-4f0c-83d0-122167a4ede8 · inbound

Vero: Can AI Agents Build Formally Verified Software Repositories? cites this paper.

Vero: Can AI Agents Build Formally Verified Software Repositories? miniCodeProps: a Minimal Benchmark for Proving Code Properties

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.371264Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.