{"as_of":"2026-08-09T13:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ec5c6a93db8f23a915e16292990a7c775058ceaae0031a6b1dfc345471d1af89","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":14,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-09T05:32:24.163759Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-03T20:38:55.775349Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"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-08-09T05:32:24.163759Z","title":"Available: https://arxiv.org/abs/2405.02580","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.163759Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:1cf5515cae5fb9279a479a5abc70f5f8c79952a3f4301ff8872f52c94da0f1ac","observation_id":"34ec73fd-8c98-42e7-b8dd-cce10c4b0df0","resolution":{"observed_at":"2026-08-09T05:32:24.163759Z","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-08-07T14:25:23.353778Z","title":"arXiv preprint arXiv:2405.02580","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19047","last_updated":"2025-05-25T08:53:23Z","snapshot_observed_at":"2026-08-09T00:18:49.446663Z","submitted_at":"2025-05-25T08:53:23Z","title":"A Systematic Classification of Vulnerabilities in MoveEVM Smart Contracts (MWC)","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-07T14:25:23.353778Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2505.19047"},"observation_digest":"sha256:c425c17a10b785a1fc61852808240ac64616df6fc853a3e76394964bbc60d3f9","observation_id":"f8113afc-0f4a-4ef2-a6f1-f241110d3523","resolution":{"observed_at":"2026-08-07T14:25:23.353778Z","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-08-06T15:27:20.360263Z","title":"arXiv preprint arXiv:2405.02580 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15822","last_updated":"2025-08-04T13:56:16Z","snapshot_observed_at":"2026-08-06T15:20:10.925205Z","submitted_at":"2025-07-21T17:30:16Z","title":"Do AI models help produce verified bug fixes?","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.360263Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:27cda32f361a463d60f37111dfc25ef978c80c06d8061b5c1a2d190e307dbe14","observation_id":"f2938a33-6a0f-45e1-8cab-ef629c1f057a","resolution":{"observed_at":"2026-08-06T15:27:20.360263Z","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-08-05T11:16:30.137127Z","title":"arXiv preprint arXiv:2405.02580 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.03037","last_updated":"2025-09-03T05:53:56Z","snapshot_observed_at":"2026-08-05T11:16:27.299961Z","submitted_at":"2025-09-03T05:53:56Z","title":"TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T11:16:30.137127Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2509.03037"},"observation_digest":"sha256:f16507d944f4261366db3609f4147c6ae72673b6131fce5b4fc009db9ee8d637","observation_id":"541565b4-848f-4dfb-9735-3f592880e82f","resolution":{"observed_at":"2026-08-05T11:16:30.137127Z","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-08-04T10:21:43.722889Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.17848","last_updated":"2026-07-11T02:38:09Z","snapshot_observed_at":"2026-08-04T10:21:39.148229Z","submitted_at":"2025-10-12T08:54:28Z","title":"RISKTAGGER: Evidence-Guided LLM Agent for Post-Incident Forensic Analysis of Money Laundering in Web3","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T10:21:43.722889Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2510.17848"},"observation_digest":"sha256:7cb1ca59d2d22a4c63036a2bc5a3300e10fe6d8b61f5e1beca8c2495758cfcf5","observation_id":"e5f2b4cb-fa92-4eab-ad28-ed63700a0770","resolution":{"observed_at":"2026-08-04T10:21:43.722889Z","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-13T17:39:42.764726Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.26270","last_updated":"2026-07-01T13:45:42Z","snapshot_observed_at":"2026-08-08T03:35:42.359039Z","submitted_at":"2026-03-27T10:38:40Z","title":"Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-13T17:39:42.764726Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2603.26270"},"observation_digest":"sha256:1de55f103fad1264e3ce0e83abcd5fe69038e456284e8f908730674d4444a2ef","observation_id":"50d9f1a1-52e7-4c21-8446-097a9b0fc18a","resolution":{"observed_at":"2026-07-13T17:39:42.764726Z","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":"2405.02580","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.02580","snapshot_observed_at":"2026-07-03T20:38:55.775349Z","title":"arXiv preprint arXiv:2405.02580 (2024)","venue":null,"work_id":"7c591feb-b353-41d3-976c-ec7a256d767d","year":2024},"citing_paper":{"arxiv_id":"2604.13463","last_updated":"2026-04-15T04:33:53Z","snapshot_observed_at":"2026-07-06T23:01:28.082506Z","submitted_at":"2026-04-15T04:33:53Z","title":"From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-10T13:50:14.400046Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2604.13463"},"observation_digest":"sha256:3d13ced65fb4d04779e54c6c27ceae3a943a590361d5d91991bb8bf2515594ce","observation_id":"682ef835-9901-43f0-b0b3-8b84c94c8bbc","resolution":{"observed_at":"2026-05-10T14:10:29.195395Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"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":"2405.02580","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.02580","snapshot_observed_at":"2026-07-03T20:38:55.775349Z","title":"arXiv preprint arXiv:2405.02580 (2024)","venue":null,"work_id":"7c591feb-b353-41d3-976c-ec7a256d767d","year":2024},"citing_paper":{"arxiv_id":"2604.13611","last_updated":"2026-04-20T11:05:29Z","snapshot_observed_at":"2026-08-02T21:37:53.216971Z","submitted_at":"2026-04-15T08:24:24Z","title":"V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-10T13:25:30.427925Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2604.13611"},"observation_digest":"sha256:af58e5447a4d9d229875abf97a5bc46627be3ddf6450eb6a70992caff4db89df","observation_id":"ff1f68b8-c337-400f-8a72-c38aa133c042","resolution":{"observed_at":"2026-05-10T13:35:26.753598Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"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":"2405.02580","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.02580","snapshot_observed_at":"2026-07-03T20:38:55.775349Z","title":"arXiv preprint arXiv:2405.02580 (2024)","venue":null,"work_id":"7c591feb-b353-41d3-976c-ec7a256d767d","year":2024},"citing_paper":{"arxiv_id":"2604.21570","last_updated":"2026-04-23T11:46:19Z","snapshot_observed_at":"2026-08-02T20:33:52.654025Z","submitted_at":"2026-04-23T11:46:19Z","title":"SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-09T21:05:59.438175Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2604.21570"},"observation_digest":"sha256:80a74c6fc9a89bcf8d288583f1a8ee1b18a4b35d3a89a617b30e55a9a0f685cf","observation_id":"8dc757ab-1bd5-4f54-b76b-81310ca5e119","resolution":{"observed_at":"2026-05-11T14:46:42.489123Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"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":"2405.02580","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.02580","snapshot_observed_at":"2026-07-03T20:38:55.775349Z","title":"arXiv preprint arXiv:2405.02580 (2024)","venue":null,"work_id":"7c591feb-b353-41d3-976c-ec7a256d767d","year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-07-06T23:53:36.096914Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:0a28f557c898ee23dea8760c7cfec27d021612aae42557f2ddd6d68b3afc435d","observation_id":"92448171-61a5-4c80-a78e-d8828c62a9e6","resolution":{"observed_at":"2026-07-03T20:38:55.776840Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"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":"2405.02580","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.02580","snapshot_observed_at":"2026-07-03T20:38:55.775349Z","title":"arXiv preprint arXiv:2405.02580 (2024)","venue":null,"work_id":"7c591feb-b353-41d3-976c-ec7a256d767d","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:d7e55b75ab4cfecb99d9775e6a8b0231154c264d75fbb7aa16fd436b2cacfc81","observation_id":"42ee4403-a1f6-485d-a7f5-fbaba1c4140d","resolution":{"observed_at":"2026-07-03T08:47:49.664450Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"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-08-01T14:31:50.300200Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18753","last_updated":"2026-07-21T06:20:35Z","snapshot_observed_at":"2026-08-06T16:13:41.673420Z","submitted_at":"2026-07-21T06:20:35Z","title":"TrapHunter: Exposing Covert Pathways in Trap Token Contracts","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T14:31:50.300200Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2607.18753"},"observation_digest":"sha256:f8ccb532d14b677b0febcc329eb6c8195d7fb12d9447940e703864cd70f24c79","observation_id":"11a1c781-5380-4e91-a19b-d79e96e4c9d8","resolution":{"observed_at":"2026-08-01T14:31:50.300200Z","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-08-01T11:47:34.669660Z","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.19795","last_updated":"2026-07-22T06:20:36Z","snapshot_observed_at":"2026-08-03T06:00:44.844284Z","submitted_at":"2026-07-22T06:20:36Z","title":"Towards Automated Formal Verification of zkEVMs Using LLM-Guided Constraint Synthesis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T11:47:34.669660Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2607.19795"},"observation_digest":"sha256:14cd92c8475470864e837d0b22654c60e3a071ff0f5ee1f64b1604ded433d98e","observation_id":"2a78626b-d720-4b95-b4d1-5b1e4f919c02","resolution":{"observed_at":"2026-08-01T11:47:34.669660Z","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"}}],"links":{"evidence":"/evidence","html":"/paper/2405.02580/citation-record","integrity":"/paper/2405.02580/integrity","json":"/paper/2405.02580/citation-record.json","paper":"/paper/2405.02580"},"outbound":[],"paper":{"arxiv_id":"2405.02580","last_updated":"2024-12-06T08:41:01Z","latest_version":2,"primary_category":"cs.SE","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"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 14 inbound Pith citation observations for arXiv:2405.02580."}