Paper Citation Record · LEDGER

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model

As of 11 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 1 inbound Pith citation observation for arXiv:2501.02901.

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

pith.paper-citation-record.v1
2501.02901 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T22:07:48.943382Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T10:15:37.174272Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T10:15:37.878029Z

Reference resolution

42 of 42 outbound references displayed

verified exact1
verified fuzzy3
unresolved38
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d954fc62-b6ee-4ae3-b5a8-3223f80e849a · outbound

This paper cites https://github.com/openai/human-eval/.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model https://github.com/openai/human-eval/

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:07:49.908634Z

Source-reported events for the cited work

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

Observation 6b55926c-86ac-4830-9bb4-b656b089d445 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:07:49.896419Z

Source-reported events for the cited work

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

Observation 652b7be0-8247-4a52-937c-165f620f7e39 · outbound

This paper cites https://github.com/CAIFANQI/DeCon.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model https://github.com/CAIFANQI/DeCon

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:07:49.882937Z

Source-reported events for the cited work

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

Observation 5ccc2591-03cc-4c17-84ce-bdf99915b6e2 · outbound

This paper cites Ahrens and Ulrich Dieter.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Ahrens and Ulrich Dieter

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:07:49.871655Z

Source-reported events for the cited work

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

Observation 8e58bb3c-fee3-491a-a448-deb525ad87aa · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.793118Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32d05662-2556-4620-8f94-35aaac6be3f9 · outbound

This paper cites CodeT: Code Generation with Generated Tests.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model CodeT: Code Generation with Generated Tests

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.797883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7dd4d7e5-cdab-4023-b839-7f24c5357d51 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Evaluating Large Language Models Trained on Code

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.802845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 993dda65-cfa9-4806-98ee-0182a9785e21 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:07:49.860092Z

Source-reported events for the cited work

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

Observation 750ddc84-f30e-4e31-8b28-b19704b907cf · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.812911Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce44b5c5-5bde-40ca-b2c5-34e0768730c3 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:07:49.846466Z

Source-reported events for the cited work

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

Observation a1cb87ca-72b2-4050-add9-53298c6e897e · outbound

This paper cites Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.822455Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e960ea9a-63e7-41f1-9e06-55a2e64ad7a4 · outbound

This paper cites Evans and Alberto Savoia.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Evans and Alberto Savoia

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.827330Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e871ebc-4d21-4ab1-bd9b-ed1d5dd42b60 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:07:49.835235Z

Source-reported events for the cited work

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

Observation a68b7566-81c8-4fbc-8ebc-33745a3462a2 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.834729Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72845c4e-acd0-4c2b-9c75-d633afd7a909 · outbound

This paper cites InCoder: A Generative Model for Code Infilling and Synthesis.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model InCoder: A Generative Model for Code Infilling and Synthesis

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.838512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8c121b0-7eaf-42ff-b401-33c6ab974809 · outbound

This paper cites The Pile: An 800GB Dataset of Diverse Text for Language Modeling.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model The Pile: An 800GB Dataset of Diverse Text for Language Modeling

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.842666Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b67d1a8-8311-4bd6-828c-f77426faf3c1 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:07:49.823379Z

Source-reported events for the cited work

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

Observation 0ebfaf09-1897-4c70-ba2c-409d03562dc5 · outbound

This paper cites AgentCoder: Multi-Agent-based Code Generation with Iterative Testing and Optimisation.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model AgentCoder: Multi-Agent-based Code Generation with Iterative Testing and Optimisation

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.850704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c42f138-a066-4cbb-bac3-86e9fa989653 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.854899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0f913fc-1c7f-484a-8e2f-4df74c2124bf · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.858607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4152d650-f5b2-4df8-8069-fe2272d3d64d · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:07:49.811477Z

Source-reported events for the cited work

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

Observation b7cf9782-44bf-47f6-bb36-084c9229c228 · outbound

This paper cites StarCoder: may the source be with you!.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model StarCoder: may the source be with you!

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.865962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1edf6571-6205-4144-a8b1-64f4c4e4105d · outbound

This paper cites Competition-Level Code Generation with AlphaCode.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Competition-Level Code Generation with AlphaCode

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.869760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fe4b8c3-7b57-491e-a09c-92219c493669 · outbound

This paper cites CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generation.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generation

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.873641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00ceb0f6-bf66-479e-8f9e-42aba4dd0d60 · outbound

This paper cites WizardCoder: Empowering Code Large Language Models with Evol-Instruct.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model WizardCoder: Empowering Code Large Language Models with Evol-Instruct

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.877483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ef85566-dd31-4919-bf67-69ea1baebdcc · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:07:49.799199Z

Source-reported events for the cited work

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

Observation 46c1aa4c-8ef5-4db8-9adc-085748bcf468 · outbound

This paper cites OctoPack: Instruction Tuning Code Large Language Models.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model OctoPack: Instruction Tuning Code Large Language Models

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.884650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0d68835-b109-422e-b1ba-4428ea5d1054 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.888655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70330488-b980-45f7-bd06-b035b65da8d0 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.896823Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e782099e-edb0-4ba7-9688-efb86da86da0 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.900622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c776560c-1c97-4188-9985-b69a879a133c · outbound

This paper cites Using Large Language Models to Generate JUnit Tests: An Empirical Study.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Using Large Language Models to Generate JUnit Tests: An Empirical Study

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.904748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d62bcfa-5047-42e3-9fdb-5d939b69bddb · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.908881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f04e66a8-d173-42ef-912d-8271fd0a7936 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.912655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d731636d-895c-43e5-b26c-f7ebe1b67207 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:07:49.773564Z

Source-reported events for the cited work

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

Observation c56d6850-24f1-452b-981f-f1fc51bd82a9 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.920427Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d1e6a30-7419-455a-8fb5-19eb077edd3a · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.924127Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2024a73-6f09-4f11-ac34-f19d93cb6a31 · outbound

This paper cites The Program Testing Ability of Large Language Models for Code.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model The Program Testing Ability of Large Language Models for Code

Reference 37

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:07:49.137902Z

Source-reported events for the cited work

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

Observation 92e7a887-9372-4fa8-8e40-2449c0627ea3 · outbound

This paper cites Leveraging Large Language Models for Automated Proof Synthesis in Rust.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Leveraging Large Language Models for Automated Proof Synthesis in Rust

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.931800Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4501f35c-e69d-470c-a646-080cd0645d5c · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.935658Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2d434e1-b001-4a30-87e5-cfb0eea0818a · outbound

This paper cites No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.939457Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88afd5df-87fa-4162-b59a-6dab96aed078 · outbound

This paper cites an unresolved cited work.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.943382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 121afebf-4144-40ef-b951-44afdb9e7859 · outbound

This paper cites CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.892487Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation eb0478e7-befc-4ddf-8116-e9c4b62f79d2 · inbound

Benchmarking LLMs for Unit Test Generation from Real-World Functions cites this paper.

Benchmarking LLMs for Unit Test Generation from Real-World Functions DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-08-06T10:15:37.951397Z

Source-reported events for the cited work

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