Paper Citation Record · LEDGER

Adaptive Plan-Execute Framework for Smart Contract Security Auditing

As of 7 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 1 inbound Pith citation observation for arXiv:2505.15242.

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

pith.paper-citation-record.v1
2505.15242 v2

Coverage vector

measured 46 of 46 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T15:26:14.626696Z

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

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-16T07:28:33.568974Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-16T07:30:44.333726Z

Reference resolution

46 of 46 outbound references displayed

verified exact0
verified fuzzy18
unresolved28
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3969b2a4-b33f-4146-9e79-dc388f4a6316 · outbound

This paper cites Demystifying exploitable bugs in smart contracts.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Demystifying exploitable bugs in smart contracts

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:18.381017Z

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 3bcb4c04-7163-448c-8725-6fb932460b20 · outbound

This paper cites Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:18.227653Z

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 6b648281-1207-4966-8ec6-2353fc683fc7 · outbound

This paper cites Propertygpt: Llm-driven formal verification of smart contracts through retrieval-augmented property generation.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Propertygpt: Llm-driven formal verification of smart contracts through retrieval-augmented property generation

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:18.115964Z

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 dcdba3b0-6c6b-44bd-a665-21ebfd28401c · outbound

This paper cites Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:17.963889Z

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 2ffbe38b-fab0-4706-bf44-10cb76dd369a · outbound

This paper cites Do you still need a manual smart contract audit?.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Do you still need a manual smart contract audit?

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:11.682528Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26f14b0c-811a-4bfc-9152-1a75af2060ba · outbound

This paper cites Survey on quality assurance of smart contracts.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Survey on quality assurance of smart contracts

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:17.812563Z

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 1f80edda-f436-4695-972f-7c96ea4b17d4 · outbound

This paper cites On the dangers of stochastic parrots: Can language models be too big? In Proceedings of the 2021 ACM conference on fairness, accountability, and transparency, pages 610--623, 2021.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing On the dangers of stochastic parrots: Can language models be too big? In Proceedings of the 2021 ACM conference on fairness, accountability, and transparency, pages 610--623, 2021

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:11.827547Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79726640-d52f-459f-9bc7-4a66a5b4f83c · outbound

This paper cites Evaluation of openai o1: Opportunities and challenges of agi.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Evaluation of openai o1: Opportunities and challenges of agi

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:11.914664Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 736ec2ca-2f0d-4f7a-a40b-c03748cba596 · outbound

This paper cites Deliberative Alignment: Reasoning Enables Safer Language Models.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Deliberative Alignment: Reasoning Enables Safer Language Models

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:12.003241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee9850c4-ccdd-4ee3-ae4c-55bb8c4879f3 · outbound

This paper cites Hugginggpt: Solving ai tasks with chatgpt and its friends in hugging face.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Hugginggpt: Solving ai tasks with chatgpt and its friends in hugging face

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:12.102822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 207853bd-a40c-443e-83cc-3b6914073041 · outbound

This paper cites A survey on large language model based autonomous agents.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing A survey on large language model based autonomous agents

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:12.208745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84d1b8a7-3045-4662-96c3-9f85509ec7ae · outbound

This paper cites A survey of smart contract formal specification and verification.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing A survey of smart contract formal specification and verification

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:17.594679Z

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 3a2ae1a9-e01e-4f38-9f46-42fc8a3b7562 · outbound

This paper cites Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:12.442882Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fde2acfb-c699-4e6b-9ecc-77bf0603ec91 · outbound

This paper cites AuditGPT: Auditing Smart Contracts with ChatGPT.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing AuditGPT: Auditing Smart Contracts with ChatGPT

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:12.557135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e90fdee1-cdff-4ed9-9100-8288505d400b · outbound

This paper cites an unresolved cited work.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:26:17.463252Z

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 38567900-d88f-445f-8b55-0fe223091290 · outbound

This paper cites Empirical review of automated analysis tools on 47,587 ethereum smart contracts.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Empirical review of automated analysis tools on 47,587 ethereum smart contracts

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:17.294621Z

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 ded6b843-9984-4873-b5e4-39865cb40195 · outbound

This paper cites When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:12.866998Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1dd68255-a9a6-4350-88bb-9fba891ba19f · outbound

This paper cites Large language models and the perils of their hallucinations.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Large language models and the perils of their hallucinations

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:17.150635Z

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 066c217c-0a8f-42b5-986e-aa99c39c9459 · outbound

This paper cites Diversevul: A new vulnerable source code dataset for deep learning based vulnerability detection.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Diversevul: A new vulnerable source code dataset for deep learning based vulnerability detection

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:17.006500Z

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 07edfcde-5e84-4b1d-8b7e-a82813f305c9 · outbound

This paper cites GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:13.036116Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ffe85801-18c4-4cef-9398-79328a1b078b · outbound

This paper cites Camel: Communicative agents for" mind" exploration of large language model society.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Camel: Communicative agents for" mind" exploration of large language model society

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:13.082465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c48a790-95d3-453d-a573-f257b0a2e4d9 · outbound

This paper cites Chain-of-Thought Reasoning Without Prompting.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Chain-of-Thought Reasoning Without Prompting

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:13.122627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 403785b7-965b-412a-a913-4beaed87582f · outbound

This paper cites Tree of thoughts: Deliberate problem solving with large language models.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Tree of thoughts: Deliberate problem solving with large language models

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:13.177313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f39c021-5f0a-44cf-81c7-0b49ceef9056 · outbound

This paper cites Graph of thoughts: Solving elaborate problems with large language models.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Graph of thoughts: Solving elaborate problems with large language models

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:16.845686Z

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 6e51e0d1-30ee-489b-b853-9b9911e84d62 · outbound

This paper cites Gptswarm: Language agents as optimizable graphs.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Gptswarm: Language agents as optimizable graphs

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:16.709398Z

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 d32f368a-84ee-419a-8dc6-b888bcf36654 · outbound

This paper cites Data Interpreter: An LLM Agent For Data Science.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Data Interpreter: An LLM Agent For Data Science

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:13.311109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afcdeb10-6931-4ceb-924d-adab9c5c6c0d · outbound

This paper cites AFlow: Automating Agentic Workflow Generation.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing AFlow: Automating Agentic Workflow Generation

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:13.352015Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c4f8dc7-3ecf-4c08-8cb1-acb93e041926 · outbound

This paper cites Large Language Models are Better Reasoners with Self-Verification.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Large Language Models are Better Reasoners with Self-Verification

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:13.393129Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4cb4cdc5-6c07-4a28-9c37-f088224dd47b · outbound

This paper cites Large Language Models Are Human-Level Prompt Engineers.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Large Language Models Are Human-Level Prompt Engineers

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:13.438126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 345b1eb6-4d59-4c95-bc1e-b6fb1541e42f · outbound

This paper cites Black-Box Prompt Optimization: Aligning Large Language Models without Model Training.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Black-Box Prompt Optimization: Aligning Large Language Models without Model Training

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:13.480337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28be587e-801e-4581-aa4c-0999b086ce5c · outbound

This paper cites Efficient mini-batch training for stochastic optimization.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Efficient mini-batch training for stochastic optimization

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:16.549223Z

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 9e5591d4-a46c-4cd3-9b3c-cf015c4255c6 · outbound

This paper cites Mini-batch optimization enables training of ode models on large-scale datasets.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Mini-batch optimization enables training of ode models on large-scale datasets

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:16.377787Z

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 2b9318d7-d9f6-4bd8-a42d-2f22c25a7ba2 · outbound

This paper cites Attention is all you need.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Attention is all you need

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:13.603641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac2bdd52-b8ae-4984-949d-d1231ba10521 · outbound

This paper cites Ragas: Automated evaluation of retrieval augmented generation.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Ragas: Automated evaluation of retrieval augmented generation

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:16.211603Z

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 e65a23f1-52b1-4007-927c-b8bc8c00c146 · outbound

This paper cites Semantic-enriched code knowledge graph to reveal unknowns in smart contract code reuse.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Semantic-enriched code knowledge graph to reveal unknowns in smart contract code reuse

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:16.096594Z

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 b2c48b32-fc43-430d-8e1f-1910d87de10b · outbound

This paper cites Storage state analysis and extraction of ethereum blockchain smart contracts.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Storage state analysis and extraction of ethereum blockchain smart contracts

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:15.889337Z

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 704b310a-91d4-4ce3-8ac5-3d099a487e50 · outbound

This paper cites Exploring \ ChatGPT's \ capabilities on vulnerability management.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Exploring \ ChatGPT's \ capabilities on vulnerability management

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:15.733486Z

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 9c3f30cc-5737-473a-b7d7-fac73f9fdc74 · outbound

This paper cites Multitask-based evaluation of open-source llm on software vulnerability.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Multitask-based evaluation of open-source llm on software vulnerability

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:26:15.539529Z

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 28799e41-b1cb-4c1b-8776-eaeb1ba026e7 · outbound

This paper cites u ttler, Mike Lewis, Wen-tau Yih, Tim Rockt \.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing u ttler, Mike Lewis, Wen-tau Yih, Tim Rockt \

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:14.004948Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a64b5c32-9aba-4517-b497-230ab993bc2e · outbound

This paper cites Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:14.115645Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6bdcc00b-4d59-4b18-96e3-d63513bd9311 · outbound

This paper cites GPTScore: Evaluate as You Desire.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing GPTScore: Evaluate as You Desire

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:14.211628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6dc5840-15db-4a9d-b2d2-9ce088f2ed82 · outbound

This paper cites G-Eval: NLG Evaluation using GPT-4 with Better Human Alignment.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing G-Eval: NLG Evaluation using GPT-4 with Better Human Alignment

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:14.261627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2769800b-4406-4c1e-8e46-04605919d1df · outbound

This paper cites Measuring short-form factuality in large language models.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Measuring short-form factuality in large language models

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:14.383511Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5793f6b-7db9-4fb4-8eb2-6c11fed80625 · outbound

This paper cites Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:14.456635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58d1c4a5-4177-47fd-819e-6495a4341e30 · outbound

This paper cites IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:14.517308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1f43b9f-4274-4781-9a81-0cd7520e3b15 · outbound

This paper cites LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:14.626696Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 81a05a42-b3db-4e4b-ae01-83287cdf5d58 · inbound

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing cites this paper.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Adaptive Plan-Execute Framework for Smart Contract Security Auditing

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-05-16T07:30:44.336240Z

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.