{"as_of":"2026-08-12T23:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f5e77fb55e4ae9fe9711de44051d1fd9d83f97f70ce6496f61c1b555315c353e","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-12T06:34:41.77262+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-12T13:43:51.092289Z","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:f0be23e4446c713e6fe2463af406f14e6c057d04630e5aec7a3515dede4b71ef","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.877321Z","title":"Specification and analysis of legal contracts with Symboleo,","venue":null,"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-12T13:43:51.092289Z","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:f8ee43ba4df0e36ef325dd7c84d8b008f87debe3390c62174ca687e9865bde9d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:43:51.092289Z","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:0e81f2c1237c6f081d2870a0b8c364510c27987cbb31716e387aa5190f287cd1","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-12T13:43:51.092289Z","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:1cbefab60e08df140044f8cfd17e47a58b855fb8ef99e4e9b77ee42684c9e83c","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-12T13:43:51.092289Z","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:0f3ca5f7bf2c7d9d6ba7276c1d94e1d1f652511733233837714d989cc5cbd86c","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-12T13:43:51.092289Z","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:9e1fa04d807dca4aa7abfb993eeac23c5f713e55df37a37991e32821942d991a","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-12T13:43:51.092289Z","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:c2cf3dda7e9d25a9ff6b8e3ece123172a16a5de8520834329cb8c1aed9befdc9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:43:51.092289Z","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:29392bf21916af758d1e9da073d646df4f5fe93d3962c4971253b5e47e12e78d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:43:51.092289Z","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:f0cd339a813ca212e7eb7328c75de9216f2594d36c94ca1766f1bde322a0858c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T07:44:25.027769Z","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-12T13:43:51.092289Z","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:6395c43148c3fa2f302ccade1e68acc20f6c89ce672401106afb33ea3bcbff2a","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-12T13:43:51.092289Z","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:ce1656cc3cb6152e9b9e95b166b74152b4fa8bcb9ce70e04fdb4ca37dcff745e","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-12T13:43:51.092289Z","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:df45a0b6fee2de622e9669ea1b13c0a15b7e1dbfd6a7f38b33577c19064e5c05","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-12T13:43:51.092289Z","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:248bbcbba5fcb52af2fe86c4a50a7f50b119b9ee655bbf7991df303dd47cc092","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-05T17:55:26.008016Z","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-12T13:43:51.092289Z","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:ae3b12707be2c4cbdf62aa803303e4261ac6c187a86b017014cc32e274e771e1","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-12T13:43:51.092289Z","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:2924163b5ff6c8768b5fee14a6d0622a1b6624cf7a68257d139f47920be99048","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:43:51.092289Z","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:edf42c71c610b42a2d26dea423702f5f26be7fb5c08bca3f0bb2c8c1e7b341f0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:43:51.092289Z","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:e6c4b3b48972952ab61d781c66c9427f2056dc17fbf8637e525b52975336a65a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:43:51.092289Z","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:3389b4cf30f429b288f7a7a220863b8a6bda512445b45e738df97f1bd76bbbce","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:43:51.092289Z","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:6260f43eaaa0e785b55b60dac7688363b0dc11e9b1546844eafb47121db2ae65","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-12T13:43:51.092289Z","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:5ab33a2fecc2089895d266b25347584d97eefe27e0991f3e985ff6c89f64379c","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-12T13:43:51.092289Z","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:ff3d956ee0fc04b1776e42bbec32144c656037b5df6d13336d1da3fac28878af","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:43:51.092289Z","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:044138a2f473777f757f2147815c34d565c24bc510e83fb8992fe2ce0beec687","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:43:51.092289Z","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:ecdcb0814e5988a84e08765c800c9203360b269516e197ad8c8d21a99171bf83","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-12T13:43:51.092289Z","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:7e2d5e0573d5ceed549102d549ddbeee9d117ae26eb35cd846d7bdd19dacdda0","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-12T13:43:51.092289Z","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:5c2f4d9a4211414d00668bb767e8ac43983a87e13ea7b9e3ab3528be49a6f102","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-12T13:43:51.092289Z","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:7f2c096c11d41616065f0143298832dead2bf6a7ef1ad0e21f3b7103f14863d0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T06:47:44.072355Z","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-12T13:43:51.092289Z","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:e3e6eb4c715b9a741683e82145e59fdfefe99f85b8e1edbdd4ac0d6812aabf3a","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:49:45.792712Z","title":"Extracting formal smart-contract specifications from natural language with LLMs,","venue":null,"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-12T13:43:51.092289Z","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:46f14745c57713a6d374af409a7a64278bc12f15d58003e42c68fc5029914652","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T13:43:51.092289Z","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:5cec3659c214c97ad364996bcb507a0610385d52707308875f4db2f0153d0283","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-07T23:05:06.668783Z","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-12T13:43:51.092289Z","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:93bf36a9bf7aa4fdf8a382f28de6b86bb814aa0b182453815054924844bc99e9","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-12T13:43:51.092289Z","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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"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."}