{"as_of":"2026-08-14T11:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:22e191bc9967ff6c97d9a2d34c24ae3884da7699377c557d260933b64922a8bd","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:59:49.302655Z","state":"measured"},{"denominator":40,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":40,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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/2506.00943/citation-record","integrity":"/paper/2506.00943/integrity","json":"/paper/2506.00943/citation-record.json","paper":"/paper/2506.00943"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:59:55.278506Z","title":"Blockchains for business process management – Challenges and opportunities,","venue":null,"work_id":"2da60ce8-0662-4f59-a0c5-4780ccc59dfa","year":2018},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:45.942103Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:f1e1bf9392f811481cccbec9a13cab711b84f545cb206b5fd68c11093b79f8c7","observation_id":"5d439430-f826-4cb2-8ea8-d60a3bbe58b4","resolution":{"observed_at":"2026-08-07T11:59:55.346660Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:55.127925Z","title":"Verisolid: Correct-by-design smart contracts for Ethereum,","venue":null,"work_id":"832dad83-fd34-47d4-80dd-c155864e1bf8","year":2019},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:45.996079Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:949da8c5135368d900ec6497f457c74ced21eb6e98fa38bf8d4799ee68dbbcdb","observation_id":"06bf8cfa-ccba-4571-a768-3abe1091700f","resolution":{"observed_at":"2026-08-07T11:59:55.191659Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:54.941226Z","title":"Relevance of on-chain asset tokenization in “Crypto Winter","venue":null,"work_id":"66666a81-a1e5-4150-b50e-51310bbe2c39","year":2022},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:46.044108Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:5848f51975ff1a11b9ae5241fb0de22183e980ea498a4a6c69538cd83a0a31ac","observation_id":"02613915-ad75-4570-8f02-f572efc86695","resolution":{"observed_at":"2026-08-07T11:59:55.020685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:54.785084Z","title":"A legal-relationship establishment in smart contracts: Ontological semantics for programming-language develop- ment,","venue":null,"work_id":"4925743b-2873-4c10-b54b-258de85d2a55","year":2021},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:46.121143Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:c03fa1971481eefdff90ebc7d82799470f417ddf1daf482da2624c31cd6a7540","observation_id":"4a7cb235-0195-4e33-8035-3c73f64a6e60","resolution":{"observed_at":"2026-08-07T11:59:54.864421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:54.659052Z","title":"Evaluation of logic-based smart contracts for blockchain systems,","venue":null,"work_id":"7dd29f85-a037-4e88-b1c9-d4677cfd396a","year":2016},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:46.235265Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:86c3084a5c536861a4f695640d8ac46484cd5e5a66f67919a352a82c3a98e046","observation_id":"4ac2794b-a05b-4a98-91ac-bcfb4fba32e9","resolution":{"observed_at":"2026-08-07T11:59:54.718778Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:54.532377Z","title":"Embedded supervision: How to build regulation into blockchain finance,","venue":null,"work_id":"f9c21372-e511-4be9-ae1d-74c2c240f7a2","year":2019},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:46.304781Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:90af87b733b778ea9d5ddbfaa4bdb1e469b19c8f1e78c1b918d2002bfb28e650","observation_id":"e28d5af0-9845-4957-9f8c-b5caacaa39e7","resolution":{"observed_at":"2026-08-07T11:59:54.600251Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:46.387203Z","title":"Program synthesis with large language models,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:46.387203Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:9d5f8ef604761dfb5ceb65df78d1d9133ac7995ff2e8709f2229e236cb1790cf","observation_id":"b7735e5f-74fc-4261-83d6-8cd50c7629b9","resolution":{"observed_at":"2026-08-07T11:59:46.387203Z","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-07T11:59:46.492222Z","title":"Evaluating large language models trained on code,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:46.492222Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:38c454648ecb6698fffa577af1915efbed2d16218f9ab4cb268f7c7bc6618225","observation_id":"aa0dc556-c7dd-4c32-9540-e8105707baa9","resolution":{"observed_at":"2026-08-07T11:59:46.492222Z","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-07T11:59:54.362607Z","title":"Is your code generated by chatgpt really correct? Rigorous evaluation of large language models for code generation,","venue":null,"work_id":"e864d747-0cb5-41e3-929a-4ab7a90671f2","year":2023},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:46.569349Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:dd4be1688c7f2c3c9f0a8f41a747607ef6564bdf5d031cf938298443bd1d5dac","observation_id":"260bff28-d974-4489-90ec-ad3b4bccb0c3","resolution":{"observed_at":"2026-08-07T11:59:54.436920Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:54.169220Z","title":"Legalbench: A collaboratively built benchmark for measuring legal reasoning in large language models,","venue":null,"work_id":"252d05cb-3999-459f-98b3-2c0e4b71b8cb","year":2023},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:46.639409Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:aaf83b402934241ea31928229261ea183bd7dff168f7dacfd322dcb075264caf","observation_id":"22745b39-4958-431c-8be5-eefd0fee72d8","resolution":{"observed_at":"2026-08-07T11:59:54.263680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:54.016665Z","title":"A complexity measure,","venue":null,"work_id":"8e9a7b2b-1220-4203-8bb7-3fdb63bb649d","year":1976},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:46.716319Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:67a11a4b9cfb03ed03526f4637b3ecf0ddfb9fde365fbfb6b6e7bda3466b76b1","observation_id":"eca53811-b2ef-4988-bcc5-22cf9e7826c6","resolution":{"observed_at":"2026-08-07T11:59:54.112622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:53.858936Z","title":"Modelling legal contracts as processes,","venue":null,"work_id":"b77f2000-b1f7-4826-ab5e-49cf5a122615","year":2000},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:46.826034Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:b2b6fb6511814acf66df16872ad61d56d3ff954cfa300ceb86b1f3159a6c250a","observation_id":"20b495cd-fced-451a-b579-06dd4d4d6066","resolution":{"observed_at":"2026-08-07T11:59:53.914154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:53.670977Z","title":"Petri Net,","venue":null,"work_id":"1ed79dfd-ba7f-4913-9fcf-7971b461841e","year":2008},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:46.906920Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:c1a636941c07c93639bda4ad2a9c1f21df23a8d038b7a3be2cc519d0d627e89d","observation_id":"4e6193c4-6d77-4349-8895-13c140d76ae4","resolution":{"observed_at":"2026-08-07T11:59:53.762174Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:53.523798Z","title":"Fundamental legal conceptions as applied in judicial reasoning,","venue":null,"work_id":"2b2ce01a-114a-4583-af69-d2d1dffbebf0","year":1917},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:46.994175Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:7a4107daa7900af865e655372a54293366cf01b3c7fb57c7ba383c6c19441ecd","observation_id":"6d73493c-5224-4df2-a45e-88631081e2f1","resolution":{"observed_at":"2026-08-07T11:59:53.613572Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:53.345684Z","title":"Parvizimosaed,Symboleo: Specification and verification of legal contracts","venue":null,"work_id":"3690d216-9f96-4840-917c-dece99677ec4","year":2022},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.062584Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:dea2a038fbf1a7b1bf5db630030479d46b2b615c52c24e67336a20f8ca81de68","observation_id":"fbdd7d1b-6e82-4812-b7de-ccd37fbcdd97","resolution":{"observed_at":"2026-08-07T11:59:53.436876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:53.158316Z","title":"From Petri NETS to Colored Petri NETS: A tutorial introduction to NETS based formalism for modeling and simulation,","venue":null,"work_id":"9792e8f4-79f5-4ab8-b873-a353652dcd8c","year":2019},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.152073Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:65eb08dc0ea7b4dde09b8ee6a6db46cb39a53986b446b89f467df45bdb2899a3","observation_id":"a44d795a-d292-4167-8f47-240bc4a21af5","resolution":{"observed_at":"2026-08-07T11:59:53.260187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:52.975898Z","title":"Modelling inter-organizational trade using documentary Petri nets,","venue":null,"work_id":"06534447-174a-4fa8-8be2-f8ca2237a67f","year":1995},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.221358Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:54bba2b689ed96e3cad494d40644fe815bb60fcb782c12ed8a78f21b7572f4ae","observation_id":"a2317773-8d7b-4a72-8ffe-cda95116cb95","resolution":{"observed_at":"2026-08-07T11:59:53.057337Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:52.819602Z","title":"Formal analysis of smart contract based on colored Petri nets,","venue":null,"work_id":"9a79d728-b520-4104-9715-a04a9dad592d","year":2020},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.302751Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:71a8879a08ced2c7ef67fc408a51a11cba404ccf673760e43c0072d6df552b96","observation_id":"41ebce85-c821-4c39-8581-84251be42bb6","resolution":{"observed_at":"2026-08-07T11:59:52.885184Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:52.660763Z","title":"CPN/Tools: A tool for editing and simulat- ing coloured Petri Nets ETAPS tool demonstration related to TACAS,","venue":null,"work_id":"9ad1b885-a7ac-4f21-84f8-04bd33348317","year":2001},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.384875Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:fe2bea38c3db36db60262d25d460874bfccdd3a757095aeeecf691a7a24807dd","observation_id":"5df24d78-d5e5-4088-826a-221ba24ea8bd","resolution":{"observed_at":"2026-08-07T11:59:52.733222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:52.494105Z","title":"CPN IDE: An extensible replacement for CPN tools that uses access/CPN,","venue":null,"work_id":"8ea551c5-e7fc-4a75-a6fa-c9a714484d49","year":2021},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.453889Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:a8bfdc092bb04dc581b66ccbca52a18bf95aaaec6c43df4db05d8dd299fee39b","observation_id":"a9da8090-a41e-4790-a92e-486c41b55a2e","resolution":{"observed_at":"2026-08-07T11:59:52.563119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:52.324100Z","title":"Circle — USDC Terms — circle.com","venue":null,"work_id":"07d75cb4-ac2e-4029-9f18-ac2f7c8d4dc6","year":2024},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.517793Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:e1466e6767eec3d5a6ae66520fe1e5b4ffee5f353bb7bb0c97d46a6612c30f73","observation_id":"dd9ce812-2908-4904-858a-4fb4389b883b","resolution":{"observed_at":"2026-08-07T11:59:52.405200Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:52.138303Z","title":"GPT-4o system card,","venue":null,"work_id":"feccce83-0f4d-4e2a-8320-5c8b6bcdf6ae","year":2024},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.593719Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:1a6dd0fddf98616923959d6fc46f8279405e42c685543ff961b447be4ff7998e","observation_id":"ca5e44e8-b132-4dc0-8a67-c474d35e8ed4","resolution":{"observed_at":"2026-08-07T11:59:52.216094Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:51.952987Z","title":"Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context,","venue":null,"work_id":"e7410101-b3e7-4980-bdc2-6bc449396622","year":2024},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.656361Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:b3d4cb2ba7087f6a5ddf668d91eb1d2d50686710051e9895800db8e8c3c34b55","observation_id":"2fe520cf-ea4e-4db4-8682-53ea092d0485","resolution":{"observed_at":"2026-08-07T11:59:52.060225Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:51.837366Z","title":"Anthropic - Claude 3.5 Sonnet","venue":null,"work_id":"08a5f7a4-eb5a-4c10-b577-7f9489ffb170","year":2024},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.741306Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:cf178cd4d2cf37fe02835c0edf31599ab605fd7c005accf29d8cb18abf782969","observation_id":"da2bed48-2e23-489b-8e8a-93642643466e","resolution":{"observed_at":"2026-08-07T11:59:51.890746Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-08-13T17:20:44.002518Z","submitted_at":"2024-07-31T17:54:27Z","title":"The Llama 3 Herd of Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.21783","snapshot_observed_at":"2026-08-07T11:59:47.808498Z","title":"The Llama 3 herd of models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.808498Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:f7551952efa5a032c6a52205e9e1cbb8043288ccb2000139af1974c9228aed21","observation_id":"939ea19a-fccb-427e-bd1e-3eb77a339b1f","resolution":{"observed_at":"2026-08-07T11:59:47.808498Z","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-07T11:59:51.684830Z","title":"Claude 3.5 sonnet model card addendum","venue":null,"work_id":"0edfad7d-29ab-4275-9da2-a4950f54c30b","year":2024},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.905615Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:ffb69f80292e60c99514e86837ee1c405f1dbfe18fa1675a6759fb4ebb074f68","observation_id":"d32336ec-bbf3-43c4-a110-078577aadc7c","resolution":{"observed_at":"2026-08-07T11:59:51.750012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:51.533844Z","title":"Plan-and-solve prompting: Improving zero-shot chain- of-thought reasoning by large language models,","venue":null,"work_id":"9e1ba849-1800-49c6-a388-18d1e83f5e07","year":2023},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:47.973835Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:40410ffe07371e38077ff05ac7bbe1aa9467f82abbe92d4e19db752e082eebb5","observation_id":"5ed1894a-d144-4c19-baa0-d8de64c1cee0","resolution":{"observed_at":"2026-08-07T11:59:51.593355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:51.391907Z","title":"Chain-of-thought prompting elicits reasoning in large language models,","venue":null,"work_id":"3732073f-45d9-4927-a489-9d54cbdac94b","year":2022},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:48.065954Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:db7e53830a3db021ab7649d24370acbddaa06d510ccb095d4c32013733eec8ad","observation_id":"73643926-d1f8-49f4-a172-bff5e3f23c01","resolution":{"observed_at":"2026-08-07T11:59:51.446149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:51.256194Z","title":"Evaluating software complexity measures,","venue":null,"work_id":"4b935b95-e51c-4249-a755-616019fe564b","year":1988},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:48.144576Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:e1bf8ce5c5bd815cded1995f9a22531780dd33088f29238e48b0984dbf5860f5","observation_id":"80d9d78d-d2aa-447c-917b-1d40e947bb71","resolution":{"observed_at":"2026-08-07T11:59:51.326777Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:51.118736Z","title":"Properties of software measures,","venue":null,"work_id":"bf80baba-4591-476a-bc41-989102fcc13b","year":1992},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:48.211557Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:029bf5493fb96e4598d0e73e276cb49a24dbbe0a243ee56222c4fd0c40dc411e","observation_id":"2e8cb547-5a93-479f-98d2-edaac8152d5a","resolution":{"observed_at":"2026-08-07T11:59:51.179458Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:50.929041Z","title":"Automatic smart contract generation through llms: When the stochastic parrot fails,","venue":null,"work_id":"3a3189fa-bf4b-4cf0-abeb-7f996b6dbc54","year":2024},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:48.263708Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:2c59a5c04e1fed07075b6ebb7efd6620e60a8483e719bd19bdbc4f80b022dfcd","observation_id":"9790eb59-8948-4762-9520-023b5892c09f","resolution":{"observed_at":"2026-08-07T11:59:51.047176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:50.775400Z","title":"Manticore: A user-friendly symbolic execution framework for binaries and smart contracts,","venue":null,"work_id":"82652ec3-4026-4b09-8b66-ecc2c756c4c6","year":2019},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:48.412611Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:ffeb922fc59ce86a9fbe7ad19dd11cebfacdc97ff0c594a6ad8ac8dc7a35f741","observation_id":"ca42948c-bfa4-482b-b641-1a754af98bde","resolution":{"observed_at":"2026-08-07T11:59:50.853341Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:50.606516Z","title":"Making smart contracts smarter,","venue":null,"work_id":"fcf824c7-9b6f-426d-a324-78720e8992ff","year":2016},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:48.542518Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:3ebfdcc61047786ed9ef9135ba0d7f93bdda123bc05fa0c44ebaa82be9a5ab1d","observation_id":"0f407298-4090-466a-8d55-cef791beb62a","resolution":{"observed_at":"2026-08-07T11:59:50.700139Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:50.438720Z","title":"Symboleo: Towards a specification language for legal contracts,","venue":null,"work_id":"d848758f-573d-461d-b722-245131a61dc5","year":2020},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:48.661207Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:42197e23a17e1b27cf5b99971d6a4d4abd0609fbc016f90a44b0ee943019e8c6","observation_id":"7d2e16ff-c8b9-4e05-be05-58a9de45b24c","resolution":{"observed_at":"2026-08-07T11:59:50.523727Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:50.256138Z","title":"Subcontracting, assignment, and substitution for legal contracts in Symboleo,","venue":null,"work_id":"81f0da78-ae1e-4c74-a4de-3c420a6144b9","year":2020},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:48.788575Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:040549b8be95692c17023ce78e165c1e27dfb8f8e302dc236a9c8dfc3a7eb6e8","observation_id":"de43c7ba-c1d8-4472-94ec-e3c326c2f174","resolution":{"observed_at":"2026-08-07T11:59:50.343945Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:50.102705Z","title":"On legal contracts, imperative and declarative smart contracts, and blockchain systems,","venue":null,"work_id":"9962a777-5ee8-4e74-b116-f5c4e4f1743e","year":2018},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:48.895567Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:7b68cf57ee972e129e01c42f02eb1400682ec66077f4c2aa22ddb5176d6c86d3","observation_id":"45ab9155-94d8-4f5c-8d8e-8e9dfc3d571f","resolution":{"observed_at":"2026-08-07T11:59:50.172033Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:49.965745Z","title":"From institutions to code: Towards automated generation of smart contracts,","venue":null,"work_id":"d29eb3b1-eb97-4429-9da6-ba7e702265a9","year":2016},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:49.015433Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:473f7b29ac9f7db4872282df5e3f01d3c35ab390b7465baf626df02704a0bfcb","observation_id":"0861ce89-08c2-4cde-b6b5-4a9dbdf2d325","resolution":{"observed_at":"2026-08-07T11:59:50.032382Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:49.807854Z","title":"SPESC: A Specifica- tion Language for Smart Contracts,","venue":null,"work_id":"5e4f528f-15a7-4013-a921-b6e0bec8b594","year":2018},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:49.128741Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:518a277c035138c36186efe28720e70930b3d67a54648f1357fef043f0c3eeb0","observation_id":"c159bb69-af16-4084-8ae5-784a34d50014","resolution":{"observed_at":"2026-08-07T11:59:49.873152Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:49.630679Z","title":"A model for verification and validation of law compliance of smart contracts in IoT environment,","venue":null,"work_id":"71022026-cf0a-4366-a5db-33efedb2aca9","year":2021},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:49.207127Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:5bbc827258f3a874ca8143f0b730410079e51ee7bb7ae96ed0405aabf267db6d","observation_id":"ba4b5640-d3be-4bfb-8cb4-4683030cc432","resolution":{"observed_at":"2026-08-07T11:59:49.712838Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T11:59:49.417008Z","title":"A unifying model of legal smart contracts,","venue":null,"work_id":"f0a7f984-8ede-41ed-a482-9f3641e8a70c","year":2019},"citing_paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T11:59:49.302655Z"},"links":{"citing_paper":"/paper/2506.00943"},"observation_digest":"sha256:2386aac5a03beb92f6699ea837b2563e818ab6af7c2e2a2a64fdf34f8cf429e2","observation_id":"699d09f2-b1c9-42fb-98c0-31167b7d5867","resolution":{"observed_at":"2026-08-07T11:59:49.502780Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.00943","last_updated":"2025-06-01T10:20:13Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-09T15:28:36.905443Z","submitted_at":"2025-06-01T10:20:13Z","title":"Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":37},"total_outbound_references":40},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2506.00943."}