Paper Citation Record · LEDGER

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts

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

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

pith.paper-citation-record.v1
2607.23308 v1

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-31T23:53:53.619088Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

44 of 44 outbound references displayed

verified exact0
verified fuzzy0
unresolved44
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation af8d7506-1e52-4278-a824-da4918ee8dd5 · outbound

This paper cites Soltype: Refinement types for arithmetic overflow in solidity,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Soltype: Refinement types for arithmetic overflow in solidity,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:50.044114Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd518142-dec7-4f0b-98c0-a957cb4f79a5 · outbound

This paper cites Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:50.120779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5cd6348-4b82-49cd-ae1d-81c760d8ef13 · outbound

This paper cites Cross-contract static analysis for detect- ing practical reentrancy vulnerabilities in smart contracts,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Cross-contract static analysis for detect- ing practical reentrancy vulnerabilities in smart contracts,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:50.255267Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 216a1cbb-dbda-4965-8ceb-9c4f2a81c02e · outbound

This paper cites The dao attacked: Code issue leads to $60 million ether theft,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts The dao attacked: Code issue leads to $60 million ether theft,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:50.335860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99e54435-da78-4f48-a99c-43f5d54c1f0a · outbound

This paper cites Property-based testing in practice,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Property-based testing in practice,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:50.459549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c050864-0989-4a13-a1cc-54a5528d0633 · outbound

This paper cites PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:50.530073Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6819aca-df94-4971-8c4f-d1049dae2557 · outbound

This paper cites Can Large Language Models Write Good Property-Based Tests?.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Can Large Language Models Write Good Property-Based Tests?

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:50.595428Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 968fd078-c1ec-4cee-8ed4-7aaa407565cb · outbound

This paper cites Retrieval-based prompt selection for code-related few-shot learning,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Retrieval-based prompt selection for code-related few-shot learning,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:50.650670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8218f3f9-a4d8-4876-8eb3-29064ba95a4e · outbound

This paper cites com / Vectorized / solady / commit / 58362f785c90c6693e44f358fac594b0851bb357, 2024.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts com / Vectorized / solady / commit / 58362f785c90c6693e44f358fac594b0851bb357, 2024

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:50.716474Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37caf57e-c015-464c-b596-2e809c1553d9 · outbound

This paper cites [On- line].

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts [On- line]

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:50.839996Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 110141ac-bca5-4441-bcfb-cf4aaec84dcb · outbound

This paper cites an unresolved cited work.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:50.921431Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75541771-a688-46dc-9c2f-1f501d24ab41 · outbound

This paper cites A systematic review of fuzzing,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts A systematic review of fuzzing,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.018262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ed6f95f-d5aa-407e-9fef-a780295f9a25 · outbound

This paper cites Barboni,Sumo: Mutation testing tool for solidity smart contracts, https : / / github.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Barboni,Sumo: Mutation testing tool for solidity smart contracts, https : / / github

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.078769Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b322dc01-3a12-476a-9c2d-5e278dd25918 · outbound

This paper cites [Online].

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts [Online]

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.191815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79172e33-3e98-4be2-9d01-633d6361be5c · outbound

This paper cites Llm-guided formal veri- fication coupled with mutation testing,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Llm-guided formal veri- fication coupled with mutation testing,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.258644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4456fcfe-a28a-4f94-9278-75ae461c58af · outbound

This paper cites emanuelecivini.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts emanuelecivini

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.319272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f529f744-e38f-4014-95ea-b5ac76125195 · outbound

This paper cites xyz / crowdfund / solady, Accessed: 2025-05-02, 2025.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts xyz / crowdfund / solady, Accessed: 2025-05-02, 2025

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.384158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2439a0b-99aa-48a9-9e50-7df7311da94a · outbound

This paper cites Smart contract: Attacks and protections,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Smart contract: Attacks and protections,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.444737Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97859722-42da-48b3-a7d5-3eccbc846bbf · outbound

This paper cites A survey of ethereum smart contract se- curity: Attacks and detection,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts A survey of ethereum smart contract se- curity: Attacks and detection,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.503477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2e9de9a-5189-4fa4-a88f-f62281bcbfe8 · outbound

This paper cites Smart contract vulnerability analysis and security audit,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Smart contract vulnerability analysis and security audit,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.569137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2891b14-e6f4-4013-bbd2-1fa2322c3fb3 · outbound

This paper cites Gptscan: Detecting logic vul- nerabilities in smart contracts by combining gpt with program analysis,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Gptscan: Detecting logic vul- nerabilities in smart contracts by combining gpt with program analysis,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.622895Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fa58d1e-4f8e-4fa3-b34b-1bf39ff64581 · outbound

This paper cites Finding permission bugs in smart contracts with role min- ing,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Finding permission bugs in smart contracts with role min- ing,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.685085Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27f095f7-0b75-4091-8ca2-0d9807aebfc8 · outbound

This paper cites Slither: A static analysis framework for smart contracts,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Slither: A static analysis framework for smart contracts,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.742156Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19d0c0a4-8722-4689-8bd8-1a40530baa51 · outbound

This paper cites Madmax: Surviv- ing out-of-gas conditions in ethereum smart con- tracts,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Madmax: Surviv- ing out-of-gas conditions in ethereum smart con- tracts,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.826709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e0e1b4d-6e94-4b5b-8aa9-ea01693cf1cb · outbound

This paper cites Smartcheck: Static analysis of ethereum smart contracts,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Smartcheck: Static analysis of ethereum smart contracts,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.917435Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01d675c7-4c93-43ae-b0ad-8bd74914972a · outbound

This paper cites Manticore: A user-friendly symbolic execution framework for binaries and smart contracts,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Manticore: A user-friendly symbolic execution framework for binaries and smart contracts,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:51.992120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c6fd0e4-83ee-467c-8dd5-6c3a69782f2a · outbound

This paper cites Team,Mythril: Security analysis tool for ethereum smart contracts, 2018.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Team,Mythril: Security analysis tool for ethereum smart contracts, 2018

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:52.080373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb9298db-c6aa-44d6-b557-61e41734b435 · outbound

This paper cites Making smart contracts smarter,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Making smart contracts smarter,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:52.185210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c72f07b9-4320-4be7-9dfb-710df872057c · outbound

This paper cites Formal verification of smart contracts: Short paper,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Formal verification of smart contracts: Short paper,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:52.256579Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abf820c1-7850-4e39-9191-d01b35d1b0a5 · outbound

This paper cites Zeus: Analyzing safety of smart contracts,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Zeus: Analyzing safety of smart contracts,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:52.348029Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad2eabec-2e51-408e-ac10-4918cd166f54 · outbound

This paper cites Finding software vulnerabilities by smart fuzzing,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Finding software vulnerabilities by smart fuzzing,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:52.402901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bd195bc-54c3-4edb-ae0b-cb5bedffda7a · outbound

This paper cites Fuzzing: A survey,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Fuzzing: A survey,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:52.455834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5825f6e7-f2c8-4c19-bbc2-fc0274a6af79 · outbound

This paper cites Fuzzing: State of the art,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Fuzzing: State of the art,

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:52.529871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39515a95-847a-4bcc-9884-27f42158a8eb · outbound

This paper cites Contract- fuzzer: Fuzzing smart contracts for vulnerability detection,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Contract- fuzzer: Fuzzing smart contracts for vulnerability detection,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:52.612870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00f192cb-07c2-465c-bc65-e9cc890d1861 · outbound

This paper cites [Online].

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts [Online]

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:52.614916Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf239abe-b56b-46a3-ba82-a426f9f6ddc4 · outbound

This paper cites Formal Specification and Verification of Smart Contracts for Azure Blockchain.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Formal Specification and Verification of Smart Contracts for Azure Blockchain

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:52.638699Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e30911ac-1b96-49d0-a521-eb4eeb3a8fd1 · outbound

This paper cites Invcon: A dynamic invari- ant detector for ethereum smart contracts,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Invcon: A dynamic invari- ant detector for ethereum smart contracts,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:52.791464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f79b7d62-108d-4cc5-826a-222627305189 · outbound

This paper cites Automated Invariant Generation for Solidity Smart Contracts.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Automated Invariant Generation for Solidity Smart Contracts

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:52.957854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac128dff-ac7b-44d0-bf75-da583e114943 · outbound

This paper cites Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models,

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:53.123893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37c217d1-9653-4eff-900f-34539bf2a2fd · outbound

This paper cites Large language models are edge- case generators: Crafting unusual programs for fuzzing deep learning libraries,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Large language models are edge- case generators: Crafting unusual programs for fuzzing deep learning libraries,

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:53.351188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 387ddb04-bcf6-435d-a6dd-4e339ef9d072 · outbound

This paper cites Smartinv: Multimodal learning for smart contract invariant inference,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Smartinv: Multimodal learning for smart contract invariant inference,

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:53.432055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eccbd183-e512-404b-841c-adb36c475d93 · outbound

This paper cites LASP: LLM Assisted Secu- rity Property Generation for SoC Verification,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts LASP: LLM Assisted Secu- rity Property Generation for SoC Verification,

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:53.497568Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06e5fde0-3efd-47c4-bdbc-a100afd5b0fb · outbound

This paper cites LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems

Reference 47

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:53.558270Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a12dca0-ad62-44d4-93dd-2484c5b76bf7 · outbound

This paper cites Learning contract invariants using reinforcement learning,.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Learning contract invariants using reinforcement learning,

Reference 48

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:53.619088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.