Paper Citation Record · LEDGER

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo

As of 12 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2411.15898.

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

pith.paper-citation-record.v1
2411.15898 v1

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T13:49:45.760493Z

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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

30 of 30 outbound references displayed

verified exact3
verified fuzzy8
unresolved18
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a3de83ac-bca9-4b05-8e04-31648663e4d8 · outbound

This paper cites From legal contracts to formal specifications: A systematic literature review,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo From legal contracts to formal specifications: A systematic literature review,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.587770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5dc9b9d1-8607-45bc-aa0b-697248f9a4c4 · outbound

This paper cites Specification and analysis of legal contracts with Symboleo,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Specification and analysis of legal contracts with Symboleo,

Reference 2

Resolution: verified exact; doi, observed 2026-08-12T13:49:45.883235Z

Source-reported events for the cited work

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

Observation f0fb172b-6c74-4881-812d-0f9886b3ed31 · outbound

This paper cites AutoMTLSpec: Learning to generate MTL specifications from natural language contracts,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo AutoMTLSpec: Learning to generate MTL specifications from natural language contracts,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.600486Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36ee3f4c-d3c0-4f0d-b200-5a8515cf6434 · outbound

This paper cites Text mining tool for translating terms of contract into technical specifications: Development and application in the railway sector,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Text mining tool for translating terms of contract into technical specifications: Development and application in the railway sector,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.606774Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e141e58c-bfc6-4e51-8290-ad5b764a4233 · outbound

This paper cites Semantic annotation of legal contracts with ContrattoA,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Semantic annotation of legal contracts with ContrattoA,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.612220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 963afcd8-8462-4ca8-8728-c615a87e392a · outbound

This paper cites Towards legal contract formalization with controlled natural language templates,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Towards legal contract formalization with controlled natural language templates,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.617892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29de7019-d654-437f-83d6-1cecd6ab7a0b · outbound

This paper cites A web-based environment for the specification and generation of smart legal contracts,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo A web-based environment for the specification and generation of smart legal contracts,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:49:47.382070Z

Source-reported events for the cited work

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

Observation b292bc35-dc55-4a79-95a1-57dd03bc9717 · outbound

This paper cites ChatGPT 4o,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo ChatGPT 4o,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:49:47.364693Z

Source-reported events for the cited work

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

Observation 8aaf01c6-04f1-4b3e-bb36-8958d7530511 · outbound

This paper cites DSL-Xpert: LLM- driven generic DSL code generation,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo DSL-Xpert: LLM- driven generic DSL code generation,

Reference 9

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:49:46.857207Z

Source-reported events for the cited work

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

Observation 70f60be5-7881-4138-899d-7107a52aa403 · outbound

This paper cites A Comparative Study of DSL Code Generation: Fine-Tuning vs. Optimized Retrieval Augmentation.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo A Comparative Study of DSL Code Generation: Fine-Tuning vs. Optimized Retrieval Augmentation

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.640375Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21ff25f8-cfca-4f01-b3f9-140774b7b3ad · outbound

This paper cites On the use of GPT-4 for creating goal models: An exploratory study,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo On the use of GPT-4 for creating goal models: An exploratory study,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.652976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 867bcfc3-e545-4fa7-bb42-89448fbd87f8 · outbound

This paper cites SymboleoPC: checking properties of legal contracts,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo SymboleoPC: checking properties of legal contracts,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.664036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3456355e-b148-4201-ba7a-2dc5e98a1d9e · outbound

This paper cites Automated generation of smart contract code from legal contract specifications with Symboleo2SC,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Automated generation of smart contract code from legal contract specifications with Symboleo2SC,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.670009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5564fa6f-c988-456d-a29d-3beca2fdc11e · outbound

This paper cites A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.675036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95964d5e-883b-4052-97b2-e8724b6fb0b0 · outbound

This paper cites Llama 3.2,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Llama 3.2,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:49:47.346584Z

Source-reported events for the cited work

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

Observation 2b48ae92-a48e-407b-935f-085b8d764610 · outbound

This paper cites Claude 3.5 haiku,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Claude 3.5 haiku,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:49:47.327421Z

Source-reported events for the cited work

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

Observation 06edbc3f-8d52-463a-af9f-6562e14bb4b4 · outbound

This paper cites Mistral 7b,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Mistral 7b,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:49:47.309596Z

Source-reported events for the cited work

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

Observation 51f20225-b17b-4f77-8568-69ff95628f88 · outbound

This paper cites Gemini 1.5 pro 002,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Gemini 1.5 pro 002,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:49:47.291531Z

Source-reported events for the cited work

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

Observation 225f39f3-e21c-4ad1-8560-7656ba061be6 · outbound

This paper cites Towards ontological foundations for conceptual modeling: The unified foundational ontology (UFO) story,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Towards ontological foundations for conceptual modeling: The unified foundational ontology (UFO) story,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.701021Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33ca810a-12dd-475b-9145-9dfb97d8caa8 · outbound

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

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Symboleo: Towards a specification language for legal contracts,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.706938Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 553c4639-981a-41ee-ae81-7d3978653ed4 · outbound

This paper cites Bettini, Implementing domain-specific languages with Xtext and Xtend.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Bettini, Implementing domain-specific languages with Xtext and Xtend

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:49:47.273568Z

Source-reported events for the cited work

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

Observation 6a68641c-16bb-4af4-89db-f66acb3c1935 · outbound

This paper cites Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo,

Reference 24

Resolution: verified exact; doi, observed 2026-08-12T13:49:45.819507Z

Source-reported events for the cited work

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

Observation 5dda15c2-ea11-4c36-a872-a8921a4a266d · outbound

This paper cites A survey on RAG meeting LLMs: Towards retrieval- augmented large language models,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo A survey on RAG meeting LLMs: Towards retrieval- augmented large language models,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.722273Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bd1c142-fd4e-46d5-8b53-a3683fb7c96e · outbound

This paper cites Model generation with LLMs: From requirements to UML sequence diagrams,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Model generation with LLMs: From requirements to UML sequence diagrams,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.727140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation caf4088f-8dbc-42a0-b93c-11d669191288 · outbound

This paper cites Multi-step iterative automated domain modeling with large language models,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Multi-step iterative automated domain modeling with large language models,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.732345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4eba2024-60f1-48ad-be1c-fba7da2556da · outbound

This paper cites SpecGen: Automated generation of formal program specifications via large language models,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo SpecGen: Automated generation of formal program specifications via large language models,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:49:47.252854Z

Source-reported events for the cited work

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

Observation 1e8d2ac8-6ad3-4940-9f27-afaa9eff4d09 · outbound

This paper cites Symbols of One-Loop Integrals From Mixed Tate Motives.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Symbols of One-Loop Integrals From Mixed Tate Motives

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.750171Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bae4fc23-42b0-4a77-aa67-97021b28075a · outbound

This paper cites Extracting formal smart-contract specifications from natural language with LLMs,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo Extracting formal smart-contract specifications from natural language with LLMs,

Reference 30

Resolution: verified exact; doi, observed 2026-08-12T13:49:45.801023Z

Source-reported events for the cited work

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

Observation 43bf8ea3-9a1a-41ff-9d30-eee8959899a8 · outbound

This paper cites SymboleoNLP: A tool for generating formal specifications from legal contract templates,.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo SymboleoNLP: A tool for generating formal specifications from legal contract templates,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.760493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f26a791f-b3ed-4ccc-8a85-78930187f384 · outbound

This paper cites SpecGen: Automated Generation of Formal Program Specifications via Large Language Models.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.744071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.