{"as_of":"2026-08-10T02:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ec205d5999479f757ca13552d1554cbbff0b58cc211efcacc135cc9d09af0ed1","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-31T23:53:53.619088Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2607.23308/citation-record","integrity":"/paper/2607.23308/integrity","json":"/paper/2607.23308/citation-record.json","paper":"/paper/2607.23308"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:53:50.044114Z","title":"Soltype: Refinement types for arithmetic overflow in solidity,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:50.044114Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:953ad5ca1cfadfe9ecedc2ec268c9d93a1ea1dcea2b8a6973ef7994d505dd9f1","observation_id":"af8d7506-1e52-4278-a824-da4918ee8dd5","resolution":{"observed_at":"2026-07-31T23:53:50.044114Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1812.05934","last_updated":"2018-12-14T13:54:34Z","snapshot_observed_at":"2026-07-06T07:21:12.048470Z","submitted_at":"2018-12-14T13:54:34Z","title":"Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1812.05934","snapshot_observed_at":"2026-07-31T23:53:50.120779Z","title":"Sereum: Protecting existing smart con- tracts against re-entrancy attacks,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:50.120779Z"},"links":{"cited_paper":"/paper/1812.05934","citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:ce1e8314ce22e9a3425a49b9efa2a0dd1638aa515d682eb4b93e12ee6ea2a787","observation_id":"fd518142-dec7-4f0b-98c0-a957cb4f79a5","resolution":{"observed_at":"2026-07-31T23:53:50.120779Z","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-07-31T23:53:50.255267Z","title":"Cross-contract static analysis for detect- ing practical reentrancy vulnerabilities in smart contracts,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:50.255267Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:57f74b91fd203d0978a32a0c0645d0d93df7be365fbb963a6185c5e66873860f","observation_id":"b5cd6348-4b82-49cd-ae1d-81c760d8ef13","resolution":{"observed_at":"2026-07-31T23:53:50.255267Z","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-07-31T23:53:50.335860Z","title":"The dao attacked: Code issue leads to $60 million ether theft,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:50.335860Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:658c376532949971d3b372b6302b2c9b4ae5035c707501b7b322ce33f1371632","observation_id":"216a1cbb-dbda-4965-8ceb-9c4f2a81c02e","resolution":{"observed_at":"2026-07-31T23:53:50.335860Z","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-07-31T23:53:50.459549Z","title":"Property-based testing in practice,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:50.459549Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:df602f6d53a0336461eb22b83c6bc1ddc8ef7c3ba57bfcdb1eccdbcee440ef38","observation_id":"99e54435-da78-4f48-a99c-43f5d54c1f0a","resolution":{"observed_at":"2026-07-31T23:53:50.459549Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.02580","last_updated":"2024-12-06T08:41:01Z","snapshot_observed_at":"2026-08-06T17:26:59.575505Z","submitted_at":"2024-05-04T06:28:27Z","title":"PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.02580","snapshot_observed_at":"2026-07-31T23:53:50.530073Z","title":"Propertygpt: Llm-driven formal verification of smart contracts through retrieval- augmented property generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:50.530073Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:e78b0668d8392021a8b5e68f680904eb48c713a4a8bce55c3bc46556f52348b2","observation_id":"9c050864-0989-4a13-a1cc-54a5528d0633","resolution":{"observed_at":"2026-07-31T23:53:50.530073Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-31T23:53:50.595428Z","title":"Can large language models write good property-based tests?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:50.595428Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:6664ed7ba24df65c0bfc6925633b4e8e0aaa57d8d34b9c11e19962cfa81c7c87","observation_id":"e6819aca-df94-4971-8c4f-d1049dae2557","resolution":{"observed_at":"2026-07-31T23:53:50.595428Z","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-07-31T23:53:50.650670Z","title":"Retrieval-based prompt selection for code-related few-shot learning,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:50.650670Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:2a2054d0b2ec23d4e6d34d95613109741265418b94bf20004fce644b11e2c38a","observation_id":"968fd078-c1ec-4cee-8ed4-7aaa407565cb","resolution":{"observed_at":"2026-07-31T23:53:50.650670Z","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-07-31T23:53:50.716474Z","title":"com / Vectorized / solady / commit / 58362f785c90c6693e44f358fac594b0851bb357, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:50.716474Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:c6fbd1575e436423c57229f843bc0574b2f9665ce8c50ceed026c99ca21e502f","observation_id":"8218f3f9-a4d8-4876-8eb3-29064ba95a4e","resolution":{"observed_at":"2026-07-31T23:53:50.716474Z","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-07-31T23:53:50.839996Z","title":"[On- line]","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:50.839996Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:4ab53ec11612e9ce5ab2c936ca3f32f336ebd5634e2ee8c61eb2c0bbb500e099","observation_id":"37caf57e-c015-464c-b596-2e809c1553d9","resolution":{"observed_at":"2026-07-31T23:53:50.839996Z","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-07-31T23:53:50.921431Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:50.921431Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:b6c9ed0014d66c13b8d7a1a7dc82f6d799502e29aebb1ae6b3e3db47253a302e","observation_id":"110141ac-bca5-4441-bcfb-cf4aaec84dcb","resolution":{"observed_at":"2026-07-31T23:53:50.921431Z","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-07-31T23:53:51.018262Z","title":"A systematic review of fuzzing,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.018262Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:42b447ec0ed59d641d20ec01da2b087a2d95db0e8ae3010ea1434c8dced9fb06","observation_id":"75541771-a688-46dc-9c2f-1f501d24ab41","resolution":{"observed_at":"2026-07-31T23:53:51.018262Z","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-07-31T23:53:51.078769Z","title":"Barboni,Sumo: Mutation testing tool for solidity smart contracts, https : / / github","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.078769Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:ee1e7c7439d631e93877c6744a5c67fc7f791c7298163ecaa0df1c15ffe01339","observation_id":"3ed6f95f-d5aa-407e-9fef-a780295f9a25","resolution":{"observed_at":"2026-07-31T23:53:51.078769Z","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-07-31T23:53:51.191815Z","title":"[Online]","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.191815Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:fcb4166c801da2dd74cfd79122890f939c0c2d07ca020b7bb721461102047fc7","observation_id":"b322dc01-3a12-476a-9c2d-5e278dd25918","resolution":{"observed_at":"2026-07-31T23:53:51.191815Z","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-07-31T23:53:51.258644Z","title":"Llm-guided formal veri- fication coupled with mutation testing,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.258644Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:84c5422ba815f87f71a148da8cf47a2ac352800657a1be36795e505727334471","observation_id":"79172e33-3e98-4be2-9d01-633d6361be5c","resolution":{"observed_at":"2026-07-31T23:53:51.258644Z","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-07-31T23:53:51.319272Z","title":"emanuelecivini","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.319272Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:2c0968fa51a5764cf972dc173f21e369f7a700efa2669b6d6fb5a2e700184c35","observation_id":"4456fcfe-a28a-4f94-9278-75ae461c58af","resolution":{"observed_at":"2026-07-31T23:53:51.319272Z","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-07-31T23:53:51.384158Z","title":"xyz / crowdfund / solady, Accessed: 2025-05-02, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.384158Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:5aa0526a174d1fc13ce9e51f2ec5ffc684bb664b549b2858fa8b29d67e503e87","observation_id":"f529f744-e38f-4014-95ea-b5ac76125195","resolution":{"observed_at":"2026-07-31T23:53:51.384158Z","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-07-31T23:53:51.444737Z","title":"Smart contract: Attacks and protections,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.444737Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:369b704ca114755d27a105261519491931b90b742fe9ed91aa472f533133a2cc","observation_id":"a2439a0b-99aa-48a9-9e50-7df7311da94a","resolution":{"observed_at":"2026-07-31T23:53:51.444737Z","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-07-31T23:53:51.503477Z","title":"A survey of ethereum smart contract se- curity: Attacks and detection,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.503477Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:033a8c1769fd2c9b57f47de31e7d4fb51a966461afc1e4fc9ef508e17a1ae67e","observation_id":"97859722-42da-48b3-a7d5-3eccbc846bbf","resolution":{"observed_at":"2026-07-31T23:53:51.503477Z","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-07-31T23:53:51.569137Z","title":"Smart contract vulnerability analysis and security audit,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.569137Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:3b10d913b1f233221a833bc470856ed81cd76daf5ad52e43dcfd45d5eae07be4","observation_id":"b2e9de9a-5189-4fa4-a88f-f62281bcbfe8","resolution":{"observed_at":"2026-07-31T23:53:51.569137Z","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-07-31T23:53:51.622895Z","title":"Gptscan: Detecting logic vul- nerabilities in smart contracts by combining gpt with program analysis,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.622895Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:535bf5b5126dbb2c16567a66fac584da93df366777d603ec1470254ce0d8384e","observation_id":"c2891b14-e6f4-4013-bbd2-1fa2322c3fb3","resolution":{"observed_at":"2026-07-31T23:53:51.622895Z","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-07-31T23:53:51.685085Z","title":"Finding permission bugs in smart contracts with role min- ing,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.685085Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:0843131717180f418c02246cc00e27b4b8c6dbb800c8047e60f255b19a9b52d4","observation_id":"7fa58d1e-4f8e-4fa3-b34b-1bf39ff64581","resolution":{"observed_at":"2026-07-31T23:53:51.685085Z","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-07-31T23:53:51.742156Z","title":"Slither: A static analysis framework for smart contracts,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.742156Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:1ddf9e92f16637caba7bbe67182e87ce07028de0e90293e4532278861b260914","observation_id":"27f095f7-0b75-4091-8ca2-0d9807aebfc8","resolution":{"observed_at":"2026-07-31T23:53:51.742156Z","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-07-31T23:53:51.826709Z","title":"Madmax: Surviv- ing out-of-gas conditions in ethereum smart con- tracts,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.826709Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:2ca9d41e15958a346ba375753d52698446b0ca9b418b90e83b4120afe49a7d4a","observation_id":"19d0c0a4-8722-4689-8bd8-1a40530baa51","resolution":{"observed_at":"2026-07-31T23:53:51.826709Z","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-07-31T23:53:51.917435Z","title":"Smartcheck: Static analysis of ethereum smart contracts,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.917435Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:e9176450095ae3f9c710ff15f90916077ab8ce4a3d2dc1cbde1c7ef7f08208db","observation_id":"9e0e1b4d-6e94-4b5b-8aa9-ea01693cf1cb","resolution":{"observed_at":"2026-07-31T23:53:51.917435Z","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-07-31T23:53:51.992120Z","title":"Manticore: A user-friendly symbolic execution framework for binaries and smart contracts,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:51.992120Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:7c03c48dd01c0a6d2df1a7a3413d6baeb049a365478ea17294a40070322784a4","observation_id":"01d675c7-4c93-43ae-b0ad-8bd74914972a","resolution":{"observed_at":"2026-07-31T23:53:51.992120Z","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-07-31T23:53:52.080373Z","title":"Team,Mythril: Security analysis tool for ethereum smart contracts, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:52.080373Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:3d8592732c54a674054eb5968896da8fa0d92b92eaea27161a9e98b915513b2b","observation_id":"9c6fd0e4-83ee-467c-8dd5-6c3a69782f2a","resolution":{"observed_at":"2026-07-31T23:53:52.080373Z","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-07-31T23:53:52.185210Z","title":"Making smart contracts smarter,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:52.185210Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:4caa3e960967f88ea2597f7204e453ac4292d3f878faf5db1248c3488737bc77","observation_id":"bb9298db-c6aa-44d6-b557-61e41734b435","resolution":{"observed_at":"2026-07-31T23:53:52.185210Z","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-07-31T23:53:52.256579Z","title":"Formal verification of smart contracts: Short paper,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:52.256579Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:7ebee61ed4f03517a81b22846013d769b936fffdbe82ee357ca0c9fbe1e43972","observation_id":"c72f07b9-4320-4be7-9dfb-710df872057c","resolution":{"observed_at":"2026-07-31T23:53:52.256579Z","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-07-31T23:53:52.348029Z","title":"Zeus: Analyzing safety of smart contracts,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:52.348029Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:012d6e17c32552b148f3f06b4525242906ad69edabcef8b5a2e9b3fd751e9503","observation_id":"abf820c1-7850-4e39-9191-d01b35d1b0a5","resolution":{"observed_at":"2026-07-31T23:53:52.348029Z","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-07-31T23:53:52.402901Z","title":"Finding software vulnerabilities by smart fuzzing,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:52.402901Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:60c4f271df68dbee649a512689a1ab087d8f6100456055daaf44dea83321d863","observation_id":"ad2eabec-2e51-408e-ac10-4918cd166f54","resolution":{"observed_at":"2026-07-31T23:53:52.402901Z","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-07-31T23:53:52.455834Z","title":"Fuzzing: A survey,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:52.455834Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:1189e985d89218b34e5477d5d8bc2446334bc3b998453d9a80cf6c6fb9669fe0","observation_id":"9bd195bc-54c3-4edb-ae0b-cb5bedffda7a","resolution":{"observed_at":"2026-07-31T23:53:52.455834Z","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-07-31T23:53:52.529871Z","title":"Fuzzing: State of the art,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:52.529871Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:4ac7e77d5cf2438ac7c5747bfb0d48f41436a9c51eb0f8e116ba89e2d7cc2276","observation_id":"5825f6e7-f2c8-4c19-bbc2-fc0274a6af79","resolution":{"observed_at":"2026-07-31T23:53:52.529871Z","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-07-31T23:53:52.612870Z","title":"Contract- fuzzer: Fuzzing smart contracts for vulnerability detection,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:52.612870Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:7588754cbd0df5de1625c394680da97808ccc7719fac3c6dd76944da78d12554","observation_id":"39515a95-847a-4bcc-9884-27f42158a8eb","resolution":{"observed_at":"2026-07-31T23:53:52.612870Z","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-07-31T23:53:52.614916Z","title":"[Online]","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:52.614916Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:c50456f5c80ae2d31611c44dfec2c680e01cd5813ef84644af8ed23c05afb5e7","observation_id":"00f192cb-07c2-465c-bc65-e9cc890d1861","resolution":{"observed_at":"2026-07-31T23:53:52.614916Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1812.08829","last_updated":"2019-04-29T17:47:46Z","snapshot_observed_at":"2026-07-06T07:22:41.644418Z","submitted_at":"2018-12-20T20:24:51Z","title":"Formal Specification and Verification of Smart Contracts for Azure Blockchain","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1812.08829","snapshot_observed_at":"2026-07-31T23:53:52.638699Z","title":"Formal specification and verifi- cation of smart contracts for azure blockchain,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:52.638699Z"},"links":{"cited_paper":"/paper/1812.08829","citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:a4a426184168efe0f489f29bf46de40aa9bdcdaa759125b228d11ad237bfa7ce","observation_id":"bf239abe-b56b-46a3-ba82-a426f9f6ddc4","resolution":{"observed_at":"2026-07-31T23:53:52.638699Z","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-07-31T23:53:52.791464Z","title":"Invcon: A dynamic invari- ant detector for ethereum smart contracts,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:52.791464Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:291dee9063b37b029b3ffd31364f0207fe2e879e4bab9e137989cb369940fc9e","observation_id":"e30911ac-1b96-49d0-a521-eb4eeb3a8fd1","resolution":{"observed_at":"2026-07-31T23:53:52.791464Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.00650","last_updated":"2024-01-01T03:37:30Z","snapshot_observed_at":"2026-07-06T17:10:28.919468Z","submitted_at":"2024-01-01T03:37:30Z","title":"Automated Invariant Generation for Solidity Smart Contracts","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.00650","snapshot_observed_at":"2026-07-31T23:53:52.957854Z","title":"Automated invariant generation for solidity smart contracts,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:52.957854Z"},"links":{"cited_paper":"/paper/2401.00650","citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:d3057134d24d8ab9b0f28c71216a8a47af5047509383f3595f178e9aa16bad02","observation_id":"f79b7d62-108d-4cc5-826a-222627305189","resolution":{"observed_at":"2026-07-31T23:53:52.957854Z","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-07-31T23:53:53.123893Z","title":"Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:53.123893Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:bb96256b4f3815e4dd6466b644c9d7e00cfec26ec4430a3fe32cca1fb875ad5d","observation_id":"ac128dff-ac7b-44d0-bf75-da583e114943","resolution":{"observed_at":"2026-07-31T23:53:53.123893Z","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-07-31T23:53:53.351188Z","title":"Large language models are edge- case generators: Crafting unusual programs for fuzzing deep learning libraries,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:53.351188Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:70fa2a7dfe0721c3c75631a03998b98570cc6bc2b8fdc3d4d2544cd3fcc206d9","observation_id":"37c217d1-9653-4eff-900f-34539bf2a2fd","resolution":{"observed_at":"2026-07-31T23:53:53.351188Z","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-07-31T23:53:53.432055Z","title":"Smartinv: Multimodal learning for smart contract invariant inference,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:53.432055Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:46b228c3196343304b71f3af0fc26235c05b51e87af52c69eac2009cf391f0bd","observation_id":"387ddb04-bcf6-435d-a6dd-4e339ef9d072","resolution":{"observed_at":"2026-07-31T23:53:53.432055Z","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-07-31T23:53:53.497568Z","title":"LASP: LLM Assisted Secu- rity Property Generation for SoC Verification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:53.497568Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:127d93cd47c78da4d77def75bf6471227c16fa156aa7b874bf79bbc974f2fd9f","observation_id":"eccbd183-e512-404b-841c-adb36c475d93","resolution":{"observed_at":"2026-07-31T23:53:53.497568Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23549","last_updated":"2025-06-13T09:56:36Z","snapshot_observed_at":"2026-08-07T23:47:27.775778Z","submitted_at":"2025-05-29T15:27:52Z","title":"LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23549","snapshot_observed_at":"2026-07-31T23:53:53.558270Z","title":"LLM-based Property-based Test Generation for Guardrail- ing Cyber-Physical Systems,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:53.558270Z"},"links":{"cited_paper":"/paper/2505.23549","citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:ab81ce7fbcb76b36a721f0af1dce2b07120041e980634ef794699037ddfc815a","observation_id":"06e5fde0-3efd-47c4-bdbc-a100afd5b0fb","resolution":{"observed_at":"2026-07-31T23:53:53.558270Z","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-07-31T23:53:53.619088Z","title":"Learning contract invariants using reinforcement learning,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:53.619088Z"},"links":{"citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:6120c7372178bea93a8c58add3e62f38f816efa82617d15eb90fc734ebff8f5e","observation_id":"9a12dca0-ad62-44d4-93dd-2484c5b76bf7","resolution":{"observed_at":"2026-07-31T23:53:53.619088Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":44,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":44},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2607.23308."}