{"as_of":"2026-08-21T17:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7c49bb1a919bf90a196e30ab2c829b608cc2d4df1558946e4cb97938b5ff1ae4","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T13:49:45.760493Z","state":"measured"},{"denominator":30,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":30,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.15898/citation-record","integrity":"/paper/2411.15898/integrity","json":"/paper/2411.15898/citation-record.json","paper":"/paper/2411.15898"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.587770Z","title":"From legal contracts to formal specifications: A systematic literature review,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.587770Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:b357174e19989d4833b24fc728daf23976a896fc8327174b1df078f50c00b656","observation_id":"a3de83ac-bca9-4b05-8e04-31648663e4d8","resolution":{"observed_at":"2026-08-12T13:49:45.587770Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10270-022-01053-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-19T11:03:45.297681Z","title":"Specification and analysis of legal contracts with Symboleo,","venue":"Software & Systems Modeling","work_id":"b5566ba2-8340-4446-ac68-a31d6a51b7c3","year":2022},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.594305Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:f03a3a0168089d0bbacce3c8173325985d626b63bf3f4352daa0ad30abf64947","observation_id":"5dc9b9d1-8607-45bc-aa0b-697248f9a4c4","resolution":{"observed_at":"2026-08-12T13:49:45.883235Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.600486Z","title":"AutoMTLSpec: Learning to generate MTL specifications from natural language contracts,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.600486Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:81cb09a7f12b7cb00dabdfc43cb9a97aaa27231430ad8ebbdd73344b67a407e7","observation_id":"f0fb172b-6c74-4881-812d-0f9886b3ed31","resolution":{"observed_at":"2026-08-12T13:49:45.600486Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.606774Z","title":"Text mining tool for translating terms of contract into technical specifications: Development and application in the railway sector,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.606774Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:a811ca05043230a394a970d877fac0df6e6417ff4605c3f2d57e656c7741ba32","observation_id":"36ee3f4c-d3c0-4f0d-b200-5a8515cf6434","resolution":{"observed_at":"2026-08-12T13:49:45.606774Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.612220Z","title":"Semantic annotation of legal contracts with ContrattoA,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.612220Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:564b2c525917aa2012f65e779cfe13057e9f1b9e3f852eab16e3a33fc4b5b5a1","observation_id":"e141e58c-bfc6-4e51-8290-ad5b764a4233","resolution":{"observed_at":"2026-08-12T13:49:45.612220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.617892Z","title":"Towards legal contract formalization with controlled natural language templates,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.617892Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:2f173a5468ea1789b620fc1dd31e88ed348bb9d6fc68f2968661f068f4e8f5ac","observation_id":"963afcd8-8462-4ca8-8728-c615a87e392a","resolution":{"observed_at":"2026-08-12T13:49:45.617892Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:47.376615Z","title":"A web-based environment for the specification and generation of smart legal contracts,","venue":null,"work_id":"a4d2d5ad-573c-496a-b316-8a316c4c4be6","year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.623542Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:2d4c67cdcf9f8af3d042a15558de69d0fd70ec9b32c3ea92011c109d2602e8ae","observation_id":"29de7019-d654-437f-83d6-1cecd6ab7a0b","resolution":{"observed_at":"2026-08-12T13:49:47.382070Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:47.359030Z","title":"ChatGPT 4o,","venue":null,"work_id":"6e44cb81-472c-4ab9-bc92-7c95424f966c","year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.629581Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:2d7a2530d1ffd2acbdb2ee791d2bd7151dcb6e3eca36016d177415d624965613","observation_id":"b292bc35-dc55-4a79-95a1-57dd03bc9717","resolution":{"observed_at":"2026-08-12T13:49:47.364693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2620.36877","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:46.847866Z","title":"DSL-Xpert: LLM- driven generic DSL code generation,","venue":null,"work_id":"34a16045-7004-47dd-8d11-089dd055afb7","year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.635013Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:3b7e0003fd488ee6382206102e3fd73b8119d780cbc931dbb26d3bcce2f99c94","observation_id":"8aaf01c6-04f1-4b3e-bb36-8958d7530511","resolution":{"observed_at":"2026-08-12T13:49:46.857207Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.02742","last_updated":"2024-07-03T01:28:51Z","snapshot_observed_at":"2026-08-19T23:51:07.374350Z","submitted_at":"2024-07-03T01:28:51Z","title":"A Comparative Study of DSL Code Generation: Fine-Tuning vs. Optimized Retrieval Augmentation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.02742","snapshot_observed_at":"2026-08-12T13:49:45.640375Z","title":"A comparative study of DSL code generation: Fine-tuning vs. optimized retrieval augmentation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.640375Z"},"links":{"cited_paper":"/paper/2407.02742","citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:e6f38bf147779ce149bb1df50132fa89fdb505f55aecb7e49a2d26b5eb1b2d11","observation_id":"70f60be5-7881-4138-899d-7107a52aa403","resolution":{"observed_at":"2026-08-12T13:49:45.640375Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.652976Z","title":"On the use of GPT-4 for creating goal models: An exploratory study,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.652976Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:3570b099cc8241faa3bc939a5d9c470b36eb325a6c0abd6a5a1f6aa9fe805a37","observation_id":"21ff25f8-cfca-4f01-b3f9-140774b7b3ad","resolution":{"observed_at":"2026-08-12T13:49:45.652976Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.664036Z","title":"SymboleoPC: checking properties of legal contracts,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.664036Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:3fa4cf740c46ffb9233ac11c85fb32e8ee633e1126e9ad4daeaf726b348add8b","observation_id":"867bcfc3-e545-4fa7-bb42-89448fbd87f8","resolution":{"observed_at":"2026-08-12T13:49:45.664036Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.670009Z","title":"Automated generation of smart contract code from legal contract specifications with Symboleo2SC,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.670009Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:72390ad47d92f53ba04ba87e7ac15915ecbd54ef03544f6aa88e16a22dca547d","observation_id":"3456355e-b148-4201-ba7a-2dc5e98a1d9e","resolution":{"observed_at":"2026-08-12T13:49:45.670009Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.07927","last_updated":"2025-03-16T06:23:34Z","snapshot_observed_at":"2026-08-16T14:09:52.485275Z","submitted_at":"2024-02-05T19:49:13Z","title":"A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.07927","snapshot_observed_at":"2026-08-12T13:49:45.675036Z","title":"A systematic survey of prompt engineering in large language models: Techniques and applications,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.675036Z"},"links":{"cited_paper":"/paper/2402.07927","citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:1274edc7fd544ed8bdf805ec6f0b2b35c1a025e25950069cb2e46778ee174183","observation_id":"5564fa6f-c988-456d-a29d-3beca2fdc11e","resolution":{"observed_at":"2026-08-12T13:49:45.675036Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:47.341025Z","title":"Llama 3.2,","venue":null,"work_id":"bdcd97b3-1428-4b30-8d48-eb0699ae8ced","year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.680238Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:f27e351826298208cc86c001c56a3c20903b0de69f81edd664d6ee7915a9a36d","observation_id":"95964d5e-883b-4052-97b2-e8724b6fb0b0","resolution":{"observed_at":"2026-08-12T13:49:47.346584Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:47.322093Z","title":"Claude 3.5 haiku,","venue":null,"work_id":"b07050fd-cdc7-4c41-92e8-047ec9689f93","year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.685572Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:c0fc21a2822ee587d83d8a5dd3101d9a768396b14fb65dcd44ad4b17a539f2b3","observation_id":"2b48ae92-a48e-407b-935f-085b8d764610","resolution":{"observed_at":"2026-08-12T13:49:47.327421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:47.303984Z","title":"Mistral 7b,","venue":null,"work_id":"5b887d6c-ac87-4377-8a9b-5253e087e269","year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.690507Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:784003f82ef6b77569f1a1be796e8dcf00c2aca6fa0aae08efd9f6e81d9bb6de","observation_id":"06edbc3f-8d52-463a-af9f-6562e14bb4b4","resolution":{"observed_at":"2026-08-12T13:49:47.309596Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:47.286139Z","title":"Gemini 1.5 pro 002,","venue":null,"work_id":"5c884328-94e3-4766-ae3d-da7cd3ae1675","year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.695480Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:6e72f2554e8387bc0091a436e91e03537cacd87a11448600bb8eece593ef0490","observation_id":"51f20225-b17b-4f77-8568-69ff95628f88","resolution":{"observed_at":"2026-08-12T13:49:47.291531Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.701021Z","title":"Towards ontological foundations for conceptual modeling: The unified foundational ontology (UFO) story,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.701021Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:aaab32616b17002c89ce52555fadb922fc74d0b60ff9f0b734858bfa44f7b316","observation_id":"225f39f3-e21c-4ad1-8560-7656ba061be6","resolution":{"observed_at":"2026-08-12T13:49:45.701021Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.706938Z","title":"Symboleo: Towards a specification language for legal contracts,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.706938Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:ef0ca98908609b85a27f30b94da04bf3ee0bae809b36148836b00f829d891010","observation_id":"33ca810a-12dd-475b-9145-9dfb97d8caa8","resolution":{"observed_at":"2026-08-12T13:49:45.706938Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:47.267929Z","title":"Bettini, Implementing domain-specific languages with Xtext and Xtend","venue":null,"work_id":"cf99cd06-8926-49f9-8bfa-68e8190935ae","year":2016},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.711817Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:2d720066e45a023746d031af623a3dea358fc41d463937d108752f53a70054fc","observation_id":"553c4639-981a-41ee-ae81-7d3978653ed4","resolution":{"observed_at":"2026-08-12T13:49:47.273568Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.14183387","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.813922Z","title":"Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo,","venue":null,"work_id":"dba0a271-6f19-4010-b1fd-621c5d05ef07","year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.716752Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:8778cc80825c83192445e87d2a4592e94cede30cb8030ce8375c15104b7ed41a","observation_id":"6a68641c-16bb-4af4-89db-f66acb3c1935","resolution":{"observed_at":"2026-08-12T13:49:45.819507Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.722273Z","title":"A survey on RAG meeting LLMs: Towards retrieval- augmented large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.722273Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:a5ce85a41da05ed88371dc8c5e6e52fba90990095a115edb3b2e942fac63f0f2","observation_id":"5dda15c2-ea11-4c36-a872-a8921a4a266d","resolution":{"observed_at":"2026-08-12T13:49:45.722273Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.727140Z","title":"Model generation with LLMs: From requirements to UML sequence diagrams,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.727140Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:8380ceb2c8f999da5f488825c6de85cfc8e18c971bb8ddc1f74e09cfae05a680","observation_id":"1bd1c142-fd4e-46d5-8b53-a3683fb7c96e","resolution":{"observed_at":"2026-08-12T13:49:45.727140Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.732345Z","title":"Multi-step iterative automated domain modeling with large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.732345Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:fec00635b9646800724df2e1c770ad6bfa9d8bc945961e78ca9ebee23dc72b7f","observation_id":"caf4088f-8dbc-42a0-b93c-11d669191288","resolution":{"observed_at":"2026-08-12T13:49:45.732345Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:47.246901Z","title":"SpecGen: Automated generation of formal program specifications via large language models,","venue":null,"work_id":"a4ddafa6-4280-4108-9331-49dd84467f1f","year":null},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.738296Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:665c0969361736ad89fa70ffa650df4d4f4560ad737a10803bba8b872fbf79a8","observation_id":"4eba2024-60f1-48ad-be1c-fba7da2556da","resolution":{"observed_at":"2026-08-12T13:49:47.252854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1105.2024","last_updated":"2011-11-03T16:45:47Z","snapshot_observed_at":"2026-08-16T20:33:29.986124Z","submitted_at":"2011-05-10T19:21:34Z","title":"Symbols of One-Loop Integrals From Mixed Tate Motives","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1105.2024","snapshot_observed_at":"2026-08-12T13:49:45.750171Z","title":"Leveraging large language models for automatic smart contract generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.750171Z"},"links":{"cited_paper":"/paper/1105.2024","citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:b46962089316800f03a3cfbb41b478ccf09a70a39404162ae2895ac63bc2c86c","observation_id":"1e8d2ac8-6ad3-4940-9f27-afaa9eff4d09","resolution":{"observed_at":"2026-08-12T13:49:45.750171Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-71261-6_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Extracting formal smart-contract specifications from natural language with LLMs,","venue":"Lecture notes in computer science","work_id":"1a2f67ad-a52c-400b-be42-d779e42c6eb1","year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.755450Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:b52c5521e448780b18cedb8db0802e279f11e77c6c6fc1e35baedeebcd5466d7","observation_id":"bae4fc23-42b0-4a77-aa67-97021b28075a","resolution":{"observed_at":"2026-08-12T13:49:45.801023Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.760493Z","title":"SymboleoNLP: A tool for generating formal specifications from legal contract templates,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.760493Z"},"links":{"citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:f4e0e70aba5abf0a0831bd75a548480a7dc744e7d46c2599eb841e547105e44a","observation_id":"43bf8ea3-9a1a-41ff-9d30-eee8959899a8","resolution":{"observed_at":"2026-08-12T13:49:45.760493Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-18T13:28:07.011952Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-12T13:49:45.744071Z","title":"Available: https://arxiv.org/abs/2401.08807","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.744071Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:b0008b178e424318c198d0b535d2779c92f0b54051707d71d25012361f2ad1fa","observation_id":"f26a791f-b3ed-4ccc-8a85-78930187f384","resolution":{"observed_at":"2026-08-12T13:49:45.744071Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":18,"verified_exact":3,"verified_fuzzy":8},"total_outbound_references":30},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2411.15898."}