{"as_of":"2026-08-07T23:53:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:49c7bdf864f3c2b1d00f79e945e1efe8b62059953597c57c094179ec8eb21430","coverage":[{"denominator":46,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":46,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:26:14.626696Z","state":"measured"},{"denominator":47,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":47,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-16T07:28:33.568974Z","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-05-16T07:30:44.333726Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"cited_work":{"arxiv_id":"2505.15242","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.15242","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0594d456-9004-45ed-9fcc-4e36a75755b7","year":2025},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"cited_paper":"/paper/2505.15242","citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:52b1b9747c3fd7c96e84132e9eca5796d68b1b0add51e538fd6bc86827b7c5c6","observation_id":"81a05a42-b3db-4e4b-ae01-83287cdf5d58","resolution":{"observed_at":"2026-05-16T07:30:44.336240Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.15242/citation-record","integrity":"/paper/2505.15242/integrity","json":"/paper/2505.15242/citation-record.json","paper":"/paper/2505.15242"},"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-07T15:26:18.298894Z","title":"Demystifying exploitable bugs in smart contracts","venue":null,"work_id":"018ccb19-11d9-406e-8876-401eec80cea6","year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:11.386872Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:2a0f719c2a8ddcba43bb14f45cbbe3e2c667e6a0be492f9dd282265f9c606d6c","observation_id":"3969b2a4-b33f-4146-9e79-dc388f4a6316","resolution":{"observed_at":"2026-08-07T15:26:18.381017Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:18.199359Z","title":"Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis","venue":null,"work_id":"98dc3a68-a561-4e0c-b2ae-62ede1db54f4","year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:11.427899Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:251b52af098c43096106b26f10a1e57c8c6f9ac432e2bb357d620e68fdd19670","observation_id":"3bcb4c04-7163-448c-8725-6fb932460b20","resolution":{"observed_at":"2026-08-07T15:26:18.227653Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:18.075752Z","title":"Propertygpt: Llm-driven formal verification of smart contracts through retrieval-augmented property generation","venue":null,"work_id":"371f84d4-eb06-4ed2-8bdc-48c01934aeab","year":2025},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:11.496525Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:7bf212fbba20f1538b81b3e370b5480ea197af6b7e28574d6c3f2323aaf773b6","observation_id":"6b648281-1207-4966-8ec6-2353fc683fc7","resolution":{"observed_at":"2026-08-07T15:26:18.115964Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:17.881429Z","title":"Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation","venue":null,"work_id":"647de988-7436-42fd-bca6-beec0cbadf84","year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:11.589658Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:dd4e213b289d0073c89e093472c5533f3754c36e4be69fd81f15339abc092ac7","observation_id":"dcdba3b0-6c6b-44bd-a665-21ebfd28401c","resolution":{"observed_at":"2026-08-07T15:26:17.963889Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.12338","last_updated":"2023-06-22T07:47:18Z","snapshot_observed_at":"2026-08-06T04:23:58.850509Z","submitted_at":"2023-06-21T15:37:28Z","title":"Do you still need a manual smart contract audit?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.12338","snapshot_observed_at":"2026-08-07T15:26:11.682528Z","title":"Do you still need a manual smart contract audit? arXiv preprint arXiv:2306.12338, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:11.682528Z"},"links":{"cited_paper":"/paper/2306.12338","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:3f7f7a559695d283055a91d566a720fec92ed85b98709b8d029e625efbdb6527","observation_id":"2ffbe38b-fab0-4706-bf44-10cb76dd369a","resolution":{"observed_at":"2026-08-07T15:26:11.682528Z","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-07T15:26:17.738187Z","title":"Survey on quality assurance of smart contracts","venue":null,"work_id":"e7422064-60ba-4912-8d37-5865eb58fd45","year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:11.734524Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:afc835bccfbd3b19941370cd2614520963bcaad0027cfd11d4957a9e7ce70e13","observation_id":"26f14b0c-811a-4bfc-9152-1a75af2060ba","resolution":{"observed_at":"2026-08-07T15:26:17.812563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:11.827547Z","title":"On the dangers of stochastic parrots: Can language models be too big? In Proceedings of the 2021 ACM conference on fairness, accountability, and transparency, pages 610--623, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:11.827547Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:a7d78e54a1b60c2fa636ff7d93ceae655f15c33972de84670229715190e73126","observation_id":"1f80edda-f436-4695-972f-7c96ea4b17d4","resolution":{"observed_at":"2026-08-07T15:26:11.827547Z","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-07T15:26:11.914664Z","title":"Evaluation of openai o1: Opportunities and challenges of agi","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:11.914664Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:9fd653bc5a67c1ef9422b5b7ca8335a1a496498a75a98bbbe645dd7774041add","observation_id":"79726640-d52f-459f-9bc7-4a66a5b4f83c","resolution":{"observed_at":"2026-08-07T15:26:11.914664Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16339","last_updated":"2025-01-08T20:11:59Z","snapshot_observed_at":"2026-08-07T23:13:03.652587Z","submitted_at":"2024-12-20T21:00:11Z","title":"Deliberative Alignment: Reasoning Enables Safer Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16339","snapshot_observed_at":"2026-08-07T15:26:12.003241Z","title":"Deliberative alignment: Reasoning enables safer language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:12.003241Z"},"links":{"cited_paper":"/paper/2412.16339","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:626aad1287310502abb3bd6ad98c4a920587406dc2971430a4b7e8e89fd0e2ca","observation_id":"736ec2ca-2f0d-4f7a-a40b-c03748cba596","resolution":{"observed_at":"2026-08-07T15:26:12.003241Z","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-07T15:26:12.102822Z","title":"Hugginggpt: Solving ai tasks with chatgpt and its friends in hugging face","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:12.102822Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:926b299c0946450311335cbd27e4735a70c06d7eb33ec02944d30f7fb2665a14","observation_id":"ee9850c4-ccdd-4ee3-ae4c-55bb8c4879f3","resolution":{"observed_at":"2026-08-07T15:26:12.102822Z","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-07T15:26:12.208745Z","title":"A survey on large language model based autonomous agents","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:12.208745Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:afb285c8f2d2872a9dd723d195e0563f923f9a9258a87a6569e8397e294b1cd2","observation_id":"207853bd-a40c-443e-83cc-3b6914073041","resolution":{"observed_at":"2026-08-07T15:26:12.208745Z","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-07T15:26:17.526438Z","title":"A survey of smart contract formal specification and verification","venue":null,"work_id":"4d63625f-44b0-4d28-8528-7218b8ebf9e9","year":2021},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:12.301799Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:29f943d16e43aa7842a99f44151dc9736270d3ab35dd15a8fc5bf04393756b1d","observation_id":"84d1b8a7-3045-4662-96c3-9f85509ec7ae","resolution":{"observed_at":"2026-08-07T15:26:17.594679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16073","last_updated":"2024-09-14T07:18:14Z","snapshot_observed_at":"2026-07-06T17:49:40.841846Z","submitted_at":"2024-03-24T09:26:53Z","title":"Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16073","snapshot_observed_at":"2026-08-07T15:26:12.442882Z","title":"Combining fine-tuning and llm-based agents for intuitive smart contract auditing with justifications","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:12.442882Z"},"links":{"cited_paper":"/paper/2403.16073","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:a589c73df68a1eb22ddbac5498811657924179e4b852589b1dde1856dc52f725","observation_id":"3a2ae1a9-e01e-4f38-9f46-42fc8a3b7562","resolution":{"observed_at":"2026-08-07T15:26:12.442882Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.04306","last_updated":"2024-04-05T07:19:13Z","snapshot_observed_at":"2026-08-01T00:48:56.028946Z","submitted_at":"2024-04-05T07:19:13Z","title":"AuditGPT: Auditing Smart Contracts with ChatGPT","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.04306","snapshot_observed_at":"2026-08-07T15:26:12.557135Z","title":"Auditgpt: Auditing smart contracts with chatgpt","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:12.557135Z"},"links":{"cited_paper":"/paper/2404.04306","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:d4e37862d6ba3045b2f7047a251018d038e6d8436c038c5b31983302b6c742bf","observation_id":"fde2acfb-c699-4e6b-9ecc-77bf0603ec91","resolution":{"observed_at":"2026-08-07T15:26:12.557135Z","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-07T15:26:17.362733Z","title":null,"venue":null,"work_id":"4ee2131f-c779-460f-af87-d369c6a4b534","year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:12.693515Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:3b90b07623b254c9b790623be7c25354f28927bc4b29c869e3c77e3442ae0ab6","observation_id":"e90fdee1-cdff-4ed9-9100-8288505d400b","resolution":{"observed_at":"2026-08-07T15:26:17.463252Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:17.233227Z","title":"Empirical review of automated analysis tools on 47,587 ethereum smart contracts","venue":null,"work_id":"24d46912-3b6a-4682-8e08-8fb7e1447b9e","year":2020},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:12.787001Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:30c62f01d4eb6d9ace00cc2227258b77110670bb409d9c0e1e792032a2d58670","observation_id":"38567900-d88f-445f-8b55-0fe223091290","resolution":{"observed_at":"2026-08-07T15:26:17.294621Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.05520","last_updated":"2024-08-21T07:40:16Z","snapshot_observed_at":"2026-08-04T17:27:50.853228Z","submitted_at":"2023-09-11T15:02:44Z","title":"When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.05520","snapshot_observed_at":"2026-08-07T15:26:12.866998Z","title":"When chatgpt meets smart contract vulnerability detection: How far are we? arXiv preprint arXiv:2309.05520, 2023 a","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:12.866998Z"},"links":{"cited_paper":"/paper/2309.05520","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:f87e0d4672ca905dfdc84e8601e7d7f71bbcb37e18152e7ce24b1a74932264b4","observation_id":"ded6b843-9984-4873-b5e4-39865cb40195","resolution":{"observed_at":"2026-08-07T15:26:12.866998Z","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-07T15:26:17.101612Z","title":"Large language models and the perils of their hallucinations","venue":null,"work_id":"7aa53952-80a8-4ea8-ae07-40de97f3a9db","year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:12.936563Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:14da6f8f50f3254ef4873b90cdf824e2b12a76c5798cb43de5768751a62347ae","observation_id":"1dd68255-a9a6-4350-88bb-9fba891ba19f","resolution":{"observed_at":"2026-08-07T15:26:17.150635Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:16.952436Z","title":"Diversevul: A new vulnerable source code dataset for deep learning based vulnerability detection","venue":null,"work_id":"0423b1a2-65be-4a8b-93fa-8bcb6015a767","year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.001681Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:1614a3b730c22278fbae7171b23e1d58f3062c055410fa21e035728ff09cd01f","observation_id":"066c217c-0a8f-42b5-986e-aa99c39c9459","resolution":{"observed_at":"2026-08-07T15:26:17.006500Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.05229","last_updated":"2025-08-27T16:24:39Z","snapshot_observed_at":"2026-07-06T19:29:09.714725Z","submitted_at":"2024-10-07T17:36:37Z","title":"GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.05229","snapshot_observed_at":"2026-08-07T15:26:13.036116Z","title":"Gsm-symbolic: Understanding the limitations of mathematical reasoning in large language models","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.036116Z"},"links":{"cited_paper":"/paper/2410.05229","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:4af3df72bd7f90f48643b41bef550d2f855e565abdceb4a56c154daabc98bc5e","observation_id":"07edfcde-5e84-4b1d-8b7e-a82813f305c9","resolution":{"observed_at":"2026-08-07T15:26:13.036116Z","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-07T15:26:13.082465Z","title":"Camel: Communicative agents for\" mind\" exploration of large language model society","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.082465Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:075f4becbf7e2bcd7ad09362cb052819aa932a7e259c84937e85b712bed812c1","observation_id":"ffe85801-18c4-4cef-9398-79328a1b078b","resolution":{"observed_at":"2026-08-07T15:26:13.082465Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.10200","last_updated":"2024-05-23T20:53:59Z","snapshot_observed_at":"2026-07-06T17:30:47.845775Z","submitted_at":"2024-02-15T18:55:41Z","title":"Chain-of-Thought Reasoning Without Prompting","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.10200","snapshot_observed_at":"2026-08-07T15:26:13.122627Z","title":"Chain-of-thought reasoning without prompting","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.122627Z"},"links":{"cited_paper":"/paper/2402.10200","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:dbf1b2e27d1ccc047bee89d3cfde8c016f6076708a870a787fca92db01f116b1","observation_id":"6c48a790-95d3-453d-a573-f257b0a2e4d9","resolution":{"observed_at":"2026-08-07T15:26:13.122627Z","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-07T15:26:13.177313Z","title":"Tree of thoughts: Deliberate problem solving with large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.177313Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:11574ca9a5682260299a4eed4e9022c67920509f6accab79d6b47255b17d4a29","observation_id":"403785b7-965b-412a-a913-4beaed87582f","resolution":{"observed_at":"2026-08-07T15:26:13.177313Z","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-07T15:26:16.785656Z","title":"Graph of thoughts: Solving elaborate problems with large language models","venue":null,"work_id":"b2a4a4f3-076d-48e3-8e04-8dd93ea9b7ba","year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.221822Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:d206890d4c85c7bb65405ad78761dc8e1c0b814391899c8a5a96fb4ce2e821ac","observation_id":"6f39c021-5f0a-44cf-81c7-0b49ceef9056","resolution":{"observed_at":"2026-08-07T15:26:16.845686Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:16.622148Z","title":"Gptswarm: Language agents as optimizable graphs","venue":null,"work_id":"605073cc-f66c-4072-80f9-c582c3cc5aa7","year":null},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.258895Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:09e1bcfe868929b70e182f7f61595051718e991a079f7b75fc56ff4fc12cca78","observation_id":"6e51e0d1-30ee-489b-b853-9b9911e84d62","resolution":{"observed_at":"2026-08-07T15:26:16.709398Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.18679","last_updated":"2024-10-15T15:52:57Z","snapshot_observed_at":"2026-08-03T22:36:45.725094Z","submitted_at":"2024-02-28T19:49:55Z","title":"Data Interpreter: An LLM Agent For Data Science","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.18679","snapshot_observed_at":"2026-08-07T15:26:13.311109Z","title":"Data interpreter: An llm agent for data science","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.311109Z"},"links":{"cited_paper":"/paper/2402.18679","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:04a0ec5ddd7f89dcfa915bb1f66de7dca5592a80ea05eb94640b53abea2af313","observation_id":"d32f368a-84ee-419a-8dc6-b888bcf36654","resolution":{"observed_at":"2026-08-07T15:26:13.311109Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.10762","last_updated":"2025-04-15T02:44:55Z","snapshot_observed_at":"2026-07-06T19:33:12.610676Z","submitted_at":"2024-10-14T17:40:40Z","title":"AFlow: Automating Agentic Workflow Generation","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.10762","snapshot_observed_at":"2026-08-07T15:26:13.352015Z","title":"Aflow: Automating agentic workflow generation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.352015Z"},"links":{"cited_paper":"/paper/2410.10762","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:5f1adacee684853fe41a5eda70fb44293451c046a98574b6d0d734ae920186ba","observation_id":"afcdeb10-6931-4ceb-924d-adab9c5c6c0d","resolution":{"observed_at":"2026-08-07T15:26:13.352015Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.09561","last_updated":"2023-10-19T12:24:42Z","snapshot_observed_at":"2026-08-05T03:20:36.002237Z","submitted_at":"2022-12-19T15:51:52Z","title":"Large Language Models are Better Reasoners with Self-Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.09561","snapshot_observed_at":"2026-08-07T15:26:13.393129Z","title":"Large language models are better reasoners with self-verification","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.393129Z"},"links":{"cited_paper":"/paper/2212.09561","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:dbc9d1cbb6c3f3b4896d8d863cb73056bfdb9345a76e148474734013a997a35b","observation_id":"9c4f8dc7-3ecf-4c08-8cb1-acb93e041926","resolution":{"observed_at":"2026-08-07T15:26:13.393129Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2211.01910","last_updated":"2023-03-10T17:20:17Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-11-03T15:43:03Z","title":"Large Language Models Are Human-Level Prompt Engineers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.01910","snapshot_observed_at":"2026-08-07T15:26:13.438126Z","title":"Large language models are human-level prompt engineers","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.438126Z"},"links":{"cited_paper":"/paper/2211.01910","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:d1430f32ce76238a33fb48fda64d1bece75dc5dac5b296b80c787065b0a33434","observation_id":"4cb4cdc5-6c07-4a28-9c37-f088224dd47b","resolution":{"observed_at":"2026-08-07T15:26:13.438126Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.04155","last_updated":"2024-06-21T06:06:07Z","snapshot_observed_at":"2026-07-06T16:44:19.336292Z","submitted_at":"2023-11-07T17:31:50Z","title":"Black-Box Prompt Optimization: Aligning Large Language Models without Model Training","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.04155","snapshot_observed_at":"2026-08-07T15:26:13.480337Z","title":"Black-box prompt optimization: Aligning large language models without model training","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.480337Z"},"links":{"cited_paper":"/paper/2311.04155","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:92fa628e9d86d0baa7dd75ea62fc1a3f8770e3571d3f64f1edbed2ca7a016dce","observation_id":"345b1eb6-4d59-4c95-bc1e-b6fb1541e42f","resolution":{"observed_at":"2026-08-07T15:26:13.480337Z","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-07T15:26:16.476110Z","title":"Efficient mini-batch training for stochastic optimization","venue":null,"work_id":"84444cae-de2a-47c8-84d1-03b9c355a6b9","year":2014},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.514973Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:c55e403eabbce7eabcb0bd122f2889547acadaec6eeea3f73360a792cea238a2","observation_id":"28be587e-801e-4581-aa4c-0999b086ce5c","resolution":{"observed_at":"2026-08-07T15:26:16.549223Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:16.326755Z","title":"Mini-batch optimization enables training of ode models on large-scale datasets","venue":null,"work_id":"da27634e-ee1b-41d8-9439-2e514692e74a","year":2022},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.594207Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:70b94ad26564b20277085ef2f2b021b089d79765f022c51e599a77f70cb4ce75","observation_id":"9e5591d4-a46c-4cd3-9b3c-cf015c4255c6","resolution":{"observed_at":"2026-08-07T15:26:16.377787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:13.603641Z","title":"Attention is all you need","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.603641Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:45528afa1e9c1d55f96df0f71d2ae3d1cc40948b360b3b09fe281fdd26337801","observation_id":"2b9318d7-d9f6-4bd8-a42d-2f22c25a7ba2","resolution":{"observed_at":"2026-08-07T15:26:13.603641Z","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-07T15:26:16.147473Z","title":"Ragas: Automated evaluation of retrieval augmented generation","venue":null,"work_id":"cd8eeeb0-af27-4e99-b231-072196f650a4","year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.655683Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:648d5a815ececa27af67a5b1e2305efe825b3047636cd2e2ffe114e5e2dcf6b4","observation_id":"ac2bdd52-b8ae-4984-949d-d1231ba10521","resolution":{"observed_at":"2026-08-07T15:26:16.211603Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:16.005392Z","title":"Semantic-enriched code knowledge graph to reveal unknowns in smart contract code reuse","venue":null,"work_id":"0a484818-6bed-4d9c-a3a8-ee807c36fefc","year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.741967Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:aff545139d0a08a3f47da6081f1c5b7a0f29bd6e0387c01b3213ec112b94e329","observation_id":"e65a23f1-52b1-4007-927c-b8bc8c00c146","resolution":{"observed_at":"2026-08-07T15:26:16.096594Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:15.812130Z","title":"Storage state analysis and extraction of ethereum blockchain smart contracts","venue":null,"work_id":"5033402a-3754-4d9e-a416-746d80f05543","year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.814251Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:2c93537978d4a2024c07d5c54ceadb24d8d26fd1c06ef447380efdc9dc34159b","observation_id":"b2c48b32-fc43-430d-8e1f-1910d87de10b","resolution":{"observed_at":"2026-08-07T15:26:15.889337Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:15.617645Z","title":"Exploring \\ ChatGPT's \\ capabilities on vulnerability management","venue":null,"work_id":"80ef0e35-2aa6-4aa8-a4f4-70f454e183f8","year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.910278Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:9bb9d5c52a206fef0209eb3ba6f8cf74911f5ae9f5c251208a20e771928a915e","observation_id":"704b310a-91d4-4ce3-8ac5-3d099a487e50","resolution":{"observed_at":"2026-08-07T15:26:15.733486Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:15.427650Z","title":"Multitask-based evaluation of open-source llm on software vulnerability","venue":null,"work_id":"6e403b3e-47b4-475e-b1eb-c2c5b691c6bf","year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:13.949420Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:9d2d6917ab5275abdc45d57577f792d37bb6fbaf9c8a3ac8809f8afe7ec58965","observation_id":"9c3f30cc-5737-473a-b7d7-fac73f9fdc74","resolution":{"observed_at":"2026-08-07T15:26:15.539529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:26:14.004948Z","title":"u ttler, Mike Lewis, Wen-tau Yih, Tim Rockt \\","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:14.004948Z"},"links":{"citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:e5437ccba2076ef300c5699783ba780cbcb6301aa753968f19664f8f3a2ecdfc","observation_id":"28799e41-b1cb-4c1b-8776-eaeb1ba026e7","resolution":{"observed_at":"2026-08-07T15:26:14.004948Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1908.10084","last_updated":"2019-08-27T08:50:17Z","snapshot_observed_at":"2026-07-06T08:17:05.681370Z","submitted_at":"2019-08-27T08:50:17Z","title":"Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1908.10084","snapshot_observed_at":"2026-08-07T15:26:14.115645Z","title":"Sentence-bert: Sentence embeddings using siamese bert-networks","venue":null,"work_id":null,"year":1908},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:14.115645Z"},"links":{"cited_paper":"/paper/1908.10084","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:5fc677d5c635c36f971edd638b5d32c542bc72f671302cd9b1831864f2f3771f","observation_id":"a64b5c32-9aba-4517-b497-230ab993bc2e","resolution":{"observed_at":"2026-08-07T15:26:14.115645Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.04166","last_updated":"2023-02-13T16:19:05Z","snapshot_observed_at":"2026-08-05T08:58:00.258106Z","submitted_at":"2023-02-08T16:17:29Z","title":"GPTScore: Evaluate as You Desire","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.04166","snapshot_observed_at":"2026-08-07T15:26:14.211628Z","title":"Gptscore: Evaluate as you desire","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:14.211628Z"},"links":{"cited_paper":"/paper/2302.04166","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:257a2fb49877d51c0a83f616f66be462158f8a3a4c39872b41115befdce10534","observation_id":"6bdcc00b-4d59-4b18-96e3-d63513bd9311","resolution":{"observed_at":"2026-08-07T15:26:14.211628Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.16634","last_updated":"2023-05-23T22:12:16Z","snapshot_observed_at":"2026-08-02T04:02:36.848064Z","submitted_at":"2023-03-29T12:46:54Z","title":"G-Eval: NLG Evaluation using GPT-4 with Better Human Alignment","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.16634","snapshot_observed_at":"2026-08-07T15:26:14.261627Z","title":"G-eval: Nlg evaluation using gpt-4 with better human alignment","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:14.261627Z"},"links":{"cited_paper":"/paper/2303.16634","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:73db154573db1e6948cf21fa1c7ade43275994800733de515da82aee5b62bca0","observation_id":"e6dc5840-15db-4a9d-b2d2-9ce088f2ed82","resolution":{"observed_at":"2026-08-07T15:26:14.261627Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.04368","last_updated":"2024-11-07T01:58:42Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-11-07T01:58:42Z","title":"Measuring short-form factuality in large language models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.04368","snapshot_observed_at":"2026-08-07T15:26:14.383511Z","title":"Measuring short-form factuality in large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:14.383511Z"},"links":{"cited_paper":"/paper/2411.04368","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:b501c96e75348eae7a4bb675a72d58d75f708d12673977ab0ee5c52ad3688bf4","observation_id":"2769800b-4406-4c1e-8e46-04605919d1df","resolution":{"observed_at":"2026-08-07T15:26:14.383511Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.16169","last_updated":"2024-10-23T07:32:15Z","snapshot_observed_at":"2026-07-06T16:53:22.999597Z","submitted_at":"2023-11-16T13:17:20Z","title":"Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.16169","snapshot_observed_at":"2026-08-07T15:26:14.456635Z","title":"Understanding the effectiveness of large language models in detecting security vulnerabilities","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:14.456635Z"},"links":{"cited_paper":"/paper/2311.16169","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:4b2a564395ca70400481507ca221c57c5b9071a6a0fbd217bff83e8567ce2686","observation_id":"e5793f6b-7db9-4fb4-8eb2-6c11fed80625","resolution":{"observed_at":"2026-08-07T15:26:14.456635Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.17238","last_updated":"2025-04-06T23:46:59Z","snapshot_observed_at":"2026-07-06T18:20:35.626876Z","submitted_at":"2024-05-27T14:53:35Z","title":"IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.17238","snapshot_observed_at":"2026-08-07T15:26:14.517308Z","title":"Llm-assisted static analysis for detecting security vulnerabilities","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:14.517308Z"},"links":{"cited_paper":"/paper/2405.17238","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:899dbeb0268a4fab21534c8660bf6223221a264e1e88db10330bc24a90683619","observation_id":"58d1c4a5-4177-47fd-819e-6495a4341e30","resolution":{"observed_at":"2026-08-07T15:26:14.517308Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.16185","last_updated":"2025-06-07T17:03:11Z","snapshot_observed_at":"2026-08-04T22:35:18.426928Z","submitted_at":"2024-01-29T14:32:27Z","title":"LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.16185","snapshot_observed_at":"2026-08-07T15:26:14.626696Z","title":"Llm4vuln: A unified evaluation framework for decoupling and enhancing llms' vulnerability reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-07T15:26:14.626696Z"},"links":{"cited_paper":"/paper/2401.16185","citing_paper":"/paper/2505.15242"},"observation_digest":"sha256:55da52846f1da01829bc2c9dc695e38b709659cf0c0f502953f1ed7a97deb763","observation_id":"a1f43b9f-4274-4781-9a81-0cd7520e3b15","resolution":{"observed_at":"2026-08-07T15:26:14.626696Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","latest_version":2,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing"},"reference_resolution":{"displayed":46,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":28,"verified_exact":0,"verified_fuzzy":18},"total_outbound_references":46},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 1 inbound Pith citation observation for arXiv:2505.15242."}