Paper Citation Record · LEDGER

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models

As of 14 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2506.00943.

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

pith.paper-citation-record.v1
2506.00943 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T11:59:49.302655Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+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

40 of 40 outbound references displayed

verified exact0
verified fuzzy37
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5d439430-f826-4cb2-8ea8-d60a3bbe58b4 · outbound

This paper cites Blockchains for business process management – Challenges and opportunities,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Blockchains for business process management – Challenges and opportunities,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:55.346660Z

Source-reported events for the cited work

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

Observation 06bf8cfa-ccba-4571-a768-3abe1091700f · outbound

This paper cites Verisolid: Correct-by-design smart contracts for Ethereum,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Verisolid: Correct-by-design smart contracts for Ethereum,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:55.191659Z

Source-reported events for the cited work

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

Observation 02613915-ad75-4570-8f02-f572efc86695 · outbound

This paper cites Relevance of on-chain asset tokenization in “Crypto Winter.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Relevance of on-chain asset tokenization in “Crypto Winter

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:55.020685Z

Source-reported events for the cited work

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

Observation 4a7cb235-0195-4e33-8035-3c73f64a6e60 · outbound

This paper cites A legal-relationship establishment in smart contracts: Ontological semantics for programming-language develop- ment,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models A legal-relationship establishment in smart contracts: Ontological semantics for programming-language develop- ment,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:54.864421Z

Source-reported events for the cited work

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

Observation 4ac2794b-a05b-4a98-91ac-bcfb4fba32e9 · outbound

This paper cites Evaluation of logic-based smart contracts for blockchain systems,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Evaluation of logic-based smart contracts for blockchain systems,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:54.718778Z

Source-reported events for the cited work

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

Observation e28d5af0-9845-4957-9f8c-b5caacaa39e7 · outbound

This paper cites Embedded supervision: How to build regulation into blockchain finance,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Embedded supervision: How to build regulation into blockchain finance,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:54.600251Z

Source-reported events for the cited work

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

Observation b7735e5f-74fc-4261-83d6-8cd50c7629b9 · outbound

This paper cites Program synthesis with large language models,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Program synthesis with large language models,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T11:59:46.387203Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa0dc556-c7dd-4c32-9540-e8105707baa9 · outbound

This paper cites Evaluating large language models trained on code,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Evaluating large language models trained on code,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T11:59:46.492222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 260bff28-d974-4489-90ec-ad3b4bccb0c3 · outbound

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

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Is your code generated by chatgpt really correct? Rigorous evaluation of large language models for code generation,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:54.436920Z

Source-reported events for the cited work

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

Observation 22745b39-4958-431c-8be5-eefd0fee72d8 · outbound

This paper cites Legalbench: A collaboratively built benchmark for measuring legal reasoning in large language models,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Legalbench: A collaboratively built benchmark for measuring legal reasoning in large language models,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:54.263680Z

Source-reported events for the cited work

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

Observation eca53811-b2ef-4988-bcc5-22cf9e7826c6 · outbound

This paper cites A complexity measure,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models A complexity measure,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:54.112622Z

Source-reported events for the cited work

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

Observation 20b495cd-fced-451a-b579-06dd4d4d6066 · outbound

This paper cites Modelling legal contracts as processes,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Modelling legal contracts as processes,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:53.914154Z

Source-reported events for the cited work

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

Observation 4e6193c4-6d77-4349-8895-13c140d76ae4 · outbound

This paper cites Petri Net,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Petri Net,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:53.762174Z

Source-reported events for the cited work

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

Observation 6d73493c-5224-4df2-a45e-88631081e2f1 · outbound

This paper cites Fundamental legal conceptions as applied in judicial reasoning,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Fundamental legal conceptions as applied in judicial reasoning,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:53.613572Z

Source-reported events for the cited work

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

Observation fbdd7d1b-6e82-4812-b7de-ccd37fbcdd97 · outbound

This paper cites Parvizimosaed,Symboleo: Specification and verification of legal contracts.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Parvizimosaed,Symboleo: Specification and verification of legal contracts

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:53.436876Z

Source-reported events for the cited work

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

Observation a44d795a-d292-4167-8f47-240bc4a21af5 · outbound

This paper cites From Petri NETS to Colored Petri NETS: A tutorial introduction to NETS based formalism for modeling and simulation,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models From Petri NETS to Colored Petri NETS: A tutorial introduction to NETS based formalism for modeling and simulation,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:53.260187Z

Source-reported events for the cited work

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

Observation a2317773-8d7b-4a72-8ffe-cda95116cb95 · outbound

This paper cites Modelling inter-organizational trade using documentary Petri nets,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Modelling inter-organizational trade using documentary Petri nets,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:53.057337Z

Source-reported events for the cited work

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

Observation 41ebce85-c821-4c39-8581-84251be42bb6 · outbound

This paper cites Formal analysis of smart contract based on colored Petri nets,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Formal analysis of smart contract based on colored Petri nets,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:52.885184Z

Source-reported events for the cited work

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

Observation 5df24d78-d5e5-4088-826a-221ba24ea8bd · outbound

This paper cites CPN/Tools: A tool for editing and simulat- ing coloured Petri Nets ETAPS tool demonstration related to TACAS,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models CPN/Tools: A tool for editing and simulat- ing coloured Petri Nets ETAPS tool demonstration related to TACAS,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:52.733222Z

Source-reported events for the cited work

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

Observation a9da8090-a41e-4790-a92e-486c41b55a2e · outbound

This paper cites CPN IDE: An extensible replacement for CPN tools that uses access/CPN,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models CPN IDE: An extensible replacement for CPN tools that uses access/CPN,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:52.563119Z

Source-reported events for the cited work

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

Observation dd9ce812-2908-4904-858a-4fb4389b883b · outbound

This paper cites Circle — USDC Terms — circle.com.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Circle — USDC Terms — circle.com

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:52.405200Z

Source-reported events for the cited work

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

Observation ca5e44e8-b132-4dc0-8a67-c474d35e8ed4 · outbound

This paper cites GPT-4o system card,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models GPT-4o system card,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:52.216094Z

Source-reported events for the cited work

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

Observation 2fe520cf-ea4e-4db4-8682-53ea092d0485 · outbound

This paper cites Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:52.060225Z

Source-reported events for the cited work

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

Observation da2bed48-2e23-489b-8e8a-93642643466e · outbound

This paper cites Anthropic - Claude 3.5 Sonnet.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Anthropic - Claude 3.5 Sonnet

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:51.890746Z

Source-reported events for the cited work

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

Observation 939ea19a-fccb-427e-bd1e-3eb77a339b1f · outbound

This paper cites The Llama 3 Herd of Models.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models The Llama 3 Herd of Models

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T11:59:47.808498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d32336ec-bbf3-43c4-a110-078577aadc7c · outbound

This paper cites Claude 3.5 sonnet model card addendum.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Claude 3.5 sonnet model card addendum

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:51.750012Z

Source-reported events for the cited work

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

Observation 5ed1894a-d144-4c19-baa0-d8de64c1cee0 · outbound

This paper cites Plan-and-solve prompting: Improving zero-shot chain- of-thought reasoning by large language models,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Plan-and-solve prompting: Improving zero-shot chain- of-thought reasoning by large language models,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:51.593355Z

Source-reported events for the cited work

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

Observation 73643926-d1f8-49f4-a172-bff5e3f23c01 · outbound

This paper cites Chain-of-thought prompting elicits reasoning in large language models,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Chain-of-thought prompting elicits reasoning in large language models,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:51.446149Z

Source-reported events for the cited work

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

Observation 80d9d78d-d2aa-447c-917b-1d40e947bb71 · outbound

This paper cites Evaluating software complexity measures,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Evaluating software complexity measures,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:51.326777Z

Source-reported events for the cited work

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

Observation 2e8cb547-5a93-479f-98d2-edaac8152d5a · outbound

This paper cites Properties of software measures,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Properties of software measures,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:51.179458Z

Source-reported events for the cited work

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

Observation 9790eb59-8948-4762-9520-023b5892c09f · outbound

This paper cites Automatic smart contract generation through llms: When the stochastic parrot fails,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Automatic smart contract generation through llms: When the stochastic parrot fails,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:51.047176Z

Source-reported events for the cited work

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

Observation ca42948c-bfa4-482b-b641-1a754af98bde · outbound

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

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Manticore: A user-friendly symbolic execution framework for binaries and smart contracts,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:50.853341Z

Source-reported events for the cited work

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

Observation 0f407298-4090-466a-8d55-cef791beb62a · outbound

This paper cites Making smart contracts smarter,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Making smart contracts smarter,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:50.700139Z

Source-reported events for the cited work

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

Observation 7d2e16ff-c8b9-4e05-be05-58a9de45b24c · outbound

This paper cites Symboleo: Towards a specification language for legal contracts,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Symboleo: Towards a specification language for legal contracts,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:50.523727Z

Source-reported events for the cited work

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

Observation de43c7ba-c1d8-4472-94ec-e3c326c2f174 · outbound

This paper cites Subcontracting, assignment, and substitution for legal contracts in Symboleo,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Subcontracting, assignment, and substitution for legal contracts in Symboleo,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:50.343945Z

Source-reported events for the cited work

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

Observation 45ab9155-94d8-4f5c-8d8e-8e9dfc3d571f · outbound

This paper cites On legal contracts, imperative and declarative smart contracts, and blockchain systems,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models On legal contracts, imperative and declarative smart contracts, and blockchain systems,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:50.172033Z

Source-reported events for the cited work

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

Observation 0861ce89-08c2-4cde-b6b5-4a9dbdf2d325 · outbound

This paper cites From institutions to code: Towards automated generation of smart contracts,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models From institutions to code: Towards automated generation of smart contracts,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:50.032382Z

Source-reported events for the cited work

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

Observation c159bb69-af16-4084-8ae5-784a34d50014 · outbound

This paper cites SPESC: A Specifica- tion Language for Smart Contracts,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models SPESC: A Specifica- tion Language for Smart Contracts,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:49.873152Z

Source-reported events for the cited work

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

Observation ba4b5640-d3be-4bfb-8cb4-4683030cc432 · outbound

This paper cites A model for verification and validation of law compliance of smart contracts in IoT environment,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models A model for verification and validation of law compliance of smart contracts in IoT environment,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:49.712838Z

Source-reported events for the cited work

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

Observation 699d09f2-b1c9-42fb-98c0-31167b7d5867 · outbound

This paper cites A unifying model of legal smart contracts,.

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models A unifying model of legal smart contracts,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:59:49.502780Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.