{"as_of":"2026-08-10T08:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ee19ed11149f3c0875486b0f6582e24572fa68e2ca614d605adbc293265fa673","coverage":[{"denominator":51,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":51,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:01:21.638787Z","state":"measured"},{"denominator":51,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":51,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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/2507.12084/citation-record","integrity":"/paper/2507.12084/integrity","json":"/paper/2507.12084/citation-record.json","paper":"/paper/2507.12084"},"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-06T17:01:30.598138Z","title":"An overview on smart contracts: Challenges, advances and platforms,","venue":null,"work_id":"dcb27e89-b7fc-4888-9e3f-7948c55cffee","year":2020},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:17.774018Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:80c389e1a68b4bccb9641eecefdb6c6cde0786ce4c5fe007292569e4512da247","observation_id":"2b85f9b3-7808-4b0b-a735-649949011ea4","resolution":{"observed_at":"2026-08-06T17:01:30.705815Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:30.369140Z","title":"Blockchain smart contracts: Applications, challenges, and future trends,","venue":null,"work_id":"a34abe74-e23f-4593-b8ec-7fbfc8b2860d","year":2021},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:17.848763Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:d632874eb327e77f11a3733f68d9cc27dbb2568cd02309f0805b8329f9afd622","observation_id":"c2a6fca2-6832-47db-8c62-112e19815be3","resolution":{"observed_at":"2026-08-06T17:01:30.470696Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:30.209166Z","title":"Challenges and common solutions in smart contract development,","venue":null,"work_id":"510ac42d-fea6-4519-b809-8c501d35ef8f","year":2021},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:17.965858Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:d9e15968e627be12d943b2c9b2d45db69d2324f60a9c90024a5c26e887d2a496","observation_id":"d171444b-5dec-4800-b1f9-ae1b8c7be2cc","resolution":{"observed_at":"2026-08-06T17:01:30.285986Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:29.981677Z","title":"A survey on smart contract vulnerabilities: Data sources, detection and repair,","venue":null,"work_id":"97873498-1ce1-4195-ae14-8063d5bc73de","year":2023},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:18.082278Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:2664d909afe32637a155ef50914d500eb6578c5d97fd4e1218c3367ca96f86d3","observation_id":"67da1848-6edf-4c2e-95dd-dcae03666062","resolution":{"observed_at":"2026-08-06T17:01:30.089973Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:29.748024Z","title":"Understanding a revolutionary and flawed grand experiment in blockchain: the dao attack,","venue":null,"work_id":"d23c7187-564b-48e8-9a32-e64558b8da5c","year":2019},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:18.187024Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:33915ff1c1dc3c6dd1e5278f110b45562102cd7b21d43e1ee8ce5e928e4b02ac","observation_id":"da991df7-382e-4c9d-92a1-3eab7fb20a65","resolution":{"observed_at":"2026-08-06T17:01:29.867088Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:29.514996Z","title":"Vulnerability detection techniques for smart contracts: A systematic literature review,","venue":null,"work_id":"95beac92-0ad3-449c-8cb2-90405e30d4d9","year":2024},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:18.271568Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:a7a6abdd6e4e6024dc9e83bd0d3de63d63d2de7310a15b20563282967f248801","observation_id":"64761143-2812-4bd3-8ef5-608b496c741c","resolution":{"observed_at":"2026-08-06T17:01:29.621177Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:29.299264Z","title":"Fuzzing: a survey,","venue":null,"work_id":"334e8f26-af67-4de2-84fb-db30565c868f","year":2018},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:18.355669Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:34eff30ade87f2753a7a39b8a466b5b9bf851942240776753f4358f43ff6261a","observation_id":"2057b1a9-65fb-4330-ad19-e4e4c22fa7b0","resolution":{"observed_at":"2026-08-06T17:01:29.421554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:29.107594Z","title":"Adversarial generation method for smart contract fuzz testing seeds guided by chain- based llm,","venue":null,"work_id":"657c2e99-8c0c-437f-8e86-e7bf33548b80","year":2025},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:18.441362Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:1dc133c80c83796626b3d5f0f2c91aebc4da5d1a60174bd93422fe0ef4baf7e0","observation_id":"efc28dcf-1f7e-4cba-9430-843a9f059b01","resolution":{"observed_at":"2026-08-06T17:01:29.191534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:28.892783Z","title":"Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models,","venue":null,"work_id":"330f189c-665d-4959-a232-8a029baf2485","year":2023},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:18.546897Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:6b8e59a4c6adc0b1f6db5790bc7a3e216a1e0dd9c6c3719b13a4de758c5d70f1","observation_id":"79429211-1fa3-4d75-9688-3c7eccaa1160","resolution":{"observed_at":"2026-08-06T17:01:28.993063Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-09T21:23:10.265233Z","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-06T17:01:18.609117Z","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":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:18.609117Z"},"links":{"cited_paper":"/paper/2403.16073","citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:94b0d080f67d8a823f6ac45da005918a9d391147988de65ba6e9869fce1bbc29","observation_id":"60dce541-5daa-468a-9567-b37c54b43a0b","resolution":{"observed_at":"2026-08-06T17:01:18.609117Z","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-06T17:01:28.697930Z","title":"Large language model guided protocol fuzzing,","venue":null,"work_id":"0e8104d6-0171-4059-9018-d469e5cfbc88","year":2024},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:18.705336Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:546399214c34c964dc1d260fd62ea10d563a7b3bebe5cbaf5d904760a4a06b53","observation_id":"7a0e1e54-e260-4665-9401-a032e8697924","resolution":{"observed_at":"2026-08-06T17:01:28.788958Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:28.418858Z","title":"Fuzz4all: Universal fuzzing with large language models,","venue":null,"work_id":"040eb383-edce-485b-8745-b3d3b53e6d06","year":2024},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:18.785036Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:9d06c82071b09494d8185fa55daf42f6ac5242b3a02ade645fb4c3527dc1f1e2","observation_id":"d5f98c1b-dedd-4f17-a3a5-821a548cde06","resolution":{"observed_at":"2026-08-06T17:01:28.561029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:28.268312Z","title":"MuFuzz: sequence- aware mutation and seed mask guidance for blockchain smart contract fuzzing,","venue":null,"work_id":"6f6a053a-5e7f-4286-b679-6c79e67ea9aa","year":2024},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:18.868983Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:355519dd57afad893b1cd04d33dc656e23e7586d6ee251621c7a1ec9362324f4","observation_id":"5156056c-a122-48f0-a9a3-5a5f40b8872d","resolution":{"observed_at":"2026-08-06T17:01:28.327923Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:28.134842Z","title":"Fuzzing: a survey for roadmap,","venue":null,"work_id":"a4896e1c-68b2-4903-8cb2-1a4739078bbf","year":2022},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:18.955336Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:52756c43f336fde24a03508280245d0937beea596ea3b3899bdec516abe40889","observation_id":"23442b64-64c5-46dc-bcc1-2afb5fc821fa","resolution":{"observed_at":"2026-08-06T17:01:28.200540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:28.031840Z","title":"Are we there yet? unraveling the state-of-the-art smart contract fuzzers,","venue":null,"work_id":"346dcda1-4261-4005-9664-f3b466d8e7ee","year":2024},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.010679Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:a2ac2b1897bdd3b0d7a5ac31b7eed7653dddfa72f56814e231e2224dc16312cd","observation_id":"62aba4e1-ff9f-43de-aa25-182a59e15099","resolution":{"observed_at":"2026-08-06T17:01:28.076020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:27.915417Z","title":"Seed selection for successful fuzzing,","venue":null,"work_id":"16d4ebdb-ba57-44dc-b851-dd6d184bcbdd","year":2021},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.098384Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:46a23c652dcc7150cc5b6d1567d57aa5528f281eb98b0c82375651da939d399b","observation_id":"2d674819-f86d-4ef9-9cc6-048d9aabb3db","resolution":{"observed_at":"2026-08-06T17:01:27.951740Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:27.788554Z","title":"Testing smart contracts gets smarter,","venue":null,"work_id":"30c5b9c2-da60-449c-88b2-a6611d065393","year":2020},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.172632Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:2508aabf007fc0a675cff8a07963b159de7064c0b36dba01b92a8937eedc757d","observation_id":"26fb28b2-ae08-4e40-9cad-d67a79a09daf","resolution":{"observed_at":"2026-08-06T17:01:27.840917Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:27.656670Z","title":"sfuzz: An efficient adaptive fuzzer for solidity smart contracts,","venue":null,"work_id":"243e9de9-bf8a-498b-873e-650073d1d3d2","year":2020},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.238127Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:ca2a3f6ede599d231e834fa2b9e98daa4d4042b15065018e64c148c598e297c4","observation_id":"3bd42afd-7c05-457f-aafe-e4b6bed11f59","resolution":{"observed_at":"2026-08-06T17:01:27.712415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:27.527427Z","title":"Smartian: Enhancing smart contract fuzzing with static and dynamic data-flow analyses,","venue":null,"work_id":"63c0ac91-5849-4e1a-b43f-943accef8109","year":2021},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.319610Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:9bfdd586f38240f949cec92559563955982dd6c5701ada454e7a05ddb648d611","observation_id":"67573e3a-6379-444e-a957-8318f0f52eea","resolution":{"observed_at":"2026-08-06T17:01:27.583342Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:27.386272Z","title":"Increasing fuzz testing coverage for smart contracts with dynamic taint analysis,","venue":null,"work_id":"890e3ccc-6193-48e7-bde4-ad2d2fa1a47c","year":2021},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.380495Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:0903f32d365d1f8d0b1a61427721124bae78eefc71ca4aa615088ecf81702d24","observation_id":"001d0398-7c82-4f3b-bd5b-3737f340a054","resolution":{"observed_at":"2026-08-06T17:01:27.455140Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:27.250159Z","title":"Securify: Practical security analysis of smart contracts,","venue":null,"work_id":"d67aee0e-c20c-4cf6-9c84-779677aa2505","year":2018},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.456334Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:45e364bd69bf84bfb78a2d6b3cdf25a4e0461b2fd356c360fb0f1bf959070f0a","observation_id":"e7cca2e7-1c83-4428-be8d-4f0c2fb3c982","resolution":{"observed_at":"2026-08-06T17:01:27.301198Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:27.125992Z","title":"Smartcheck: Static analysis of ethereum smart contracts,","venue":null,"work_id":"9068f3e3-a373-46c6-94fe-fa1d067b6c4c","year":2018},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.545904Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:bb66efc554186a1a7327576399f9c94ebbc7eccbf4771817f13de4086e41f1b9","observation_id":"c5cd8807-9716-4d68-87e4-3e472ebf3866","resolution":{"observed_at":"2026-08-06T17:01:27.184494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:26.933739Z","title":"Contractward: Automated vulnerability detection models for ethereum smart contracts,","venue":null,"work_id":"b3f10e5a-5ca6-4c3d-be2c-113dc6786fba","year":2020},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.612405Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:e11757ac9de6f9db4dd5addaaced2da0e698eadda3b2422455bd0d89ae0747c3","observation_id":"ac219054-432f-4fbf-ac0b-b8eb38afbe09","resolution":{"observed_at":"2026-08-06T17:01:27.023466Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:26.817161Z","title":"Manticore: A user-friendly symbolic execution framework for binaries and smart contracts,","venue":null,"work_id":"a0d4d51f-b2d4-483f-a42f-2870a84e796f","year":2019},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.692481Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:3667f98406447afc2ec4ef7ed8e70359a15a4c58207deacf90b5b9b51e115ee5","observation_id":"2c682034-0650-4474-84c3-16131c98c4cd","resolution":{"observed_at":"2026-08-06T17:01:26.869091Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:26.659037Z","title":"Zeus: analyzing safety of smart contracts","venue":null,"work_id":"6ec99190-2e4f-4844-a84a-572a63e961b3","year":2018},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.798468Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:d08dcfdc08bd79b6f43cfe6d0ab28790c894b5315166b334cba49ae049853ba4","observation_id":"51e3019c-90bd-479e-99c6-c40ed3b18cb6","resolution":{"observed_at":"2026-08-06T17:01:26.733718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:26.473082Z","title":"Slither: a static analysis framework for smart contracts,","venue":null,"work_id":"c9557791-4412-4b74-b761-0e2174625d59","year":2019},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.884347Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:2429e09ca3b799635cb96d0112a1b7929adba2407e7edd70f4a694d192527543","observation_id":"739db11b-e3f0-4aee-8d5b-51b4350d1225","resolution":{"observed_at":"2026-08-06T17:01:26.562844Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:26.313241Z","title":"Ityfuzz: Snapshot-based fuzzer for smart contract,","venue":null,"work_id":"ca62016d-d39b-40b8-9862-cc14ed6a3386","year":2023},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:19.959391Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:8f9972f2ece2b43b5b52ae2be129e1531e96a0a66275c861125cc574bf210f88","observation_id":"3d8b418f-268b-49eb-8d14-9de8901956f9","resolution":{"observed_at":"2026-08-06T17:01:26.388604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:26.127689Z","title":"Reguard: finding reentrancy bugs in smart contracts,","venue":null,"work_id":"948f9b6d-8685-4482-bbfe-46a4db292fdb","year":2018},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.059740Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:835492e972c35affcce6bf7876009b29216b2087a2424812709e758afc4ab781","observation_id":"6bd82595-edb5-4ade-adf4-f6a2b456c77a","resolution":{"observed_at":"2026-08-06T17:01:26.220448Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:25.933935Z","title":"xfuzz: Machine learning guided cross-contract fuzzing,","venue":null,"work_id":"e6f3101e-be6d-416f-b21f-0df38e5071bb","year":2022},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.136599Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:9337895ea34447a0f250fd975db83f0addae71105acb67bfed2d65c6ea87b9c6","observation_id":"aeacf922-ba69-465e-a938-8072c820fd59","resolution":{"observed_at":"2026-08-06T17:01:26.037161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:25.726920Z","title":"A systematic literature review of blockchain and smart contract development: Tech- niques, tools, and open challenges,","venue":null,"work_id":"434adb56-662e-4f6a-b128-940f339ec880","year":2021},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.201593Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:50a941e8e2a7b13d07c3aaca62717714eb57a51101060bea9e46105b300cd21f","observation_id":"6ec89fd8-6f85-4f1d-87a9-569238ba76b4","resolution":{"observed_at":"2026-08-06T17:01:25.805840Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:25.543500Z","title":"Learning to fuzz from symbolic execution with application to smart contracts,","venue":null,"work_id":"eeaabe20-7080-4ca8-85bd-c2ce4a69d80a","year":2019},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.282906Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:5c1b71013a39ae556f729245b08ea732c29b6c09fbfd0b2a33ef839925aaccaf","observation_id":"87243b84-2fab-40bf-b62f-0c0035b6021d","resolution":{"observed_at":"2026-08-06T17:01:25.634930Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:25.362242Z","title":"Confuzzius: A data dependency-aware hybrid fuzzer for smart contracts,","venue":null,"work_id":"cfd9441d-7a7b-43c4-b20c-5d5c7b1a2395","year":2021},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.365409Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:cd9c5c55cbaeda873cf5a2b0c9880687361fe8e23f0d3651cc5fcace6c369fbf","observation_id":"05285897-1071-4efb-bf33-aa29caf7ebe1","resolution":{"observed_at":"2026-08-06T17:01:25.441035Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:25.211670Z","title":"Effectively generating vulnerable transaction sequences in smart contracts with reinforcement learning-guided fuzzing,","venue":null,"work_id":"49abda34-0df4-47f8-ae8d-4b2ec10c3e96","year":2022},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.447495Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:edd1c1781479346406c27a8d29735c68dd5c284171b986a5072d75ff1f149813","observation_id":"9704a51d-da5c-4ba6-bf2e-c7f564f0f14a","resolution":{"observed_at":"2026-08-06T17:01:25.271994Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:25.044111Z","title":"Verismart: A highly precise safety verifier for ethereum smart contracts,","venue":null,"work_id":"4f130448-0038-4678-ace2-8b545aa9de62","year":2020},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.531332Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:9f1cce07b6e11ce30ce676b2f12c3ff4c072c2987cc53a0f3cacf1e8401a648d","observation_id":"5528c1d0-c70a-4bc3-a9ba-bc5b269605d3","resolution":{"observed_at":"2026-08-06T17:01:25.144494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:24.790273Z","title":"Smart contract vulnerability detection using graph neural networks,","venue":null,"work_id":"1052fb25-7a96-4ed3-9cb0-9f4abb33905f","year":2021},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.599440Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:e4ae3f4c06727f701e650b42e5a7e52672b4641ae274a9bc43af4a543185a5fc","observation_id":"6dba9597-b4a8-4fc9-a608-13fdd76d6af8","resolution":{"observed_at":"2026-08-06T17:01:24.920710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:24.637256Z","title":"Empirical review of automated analysis tools on 47,587 ethereum smart contracts,","venue":null,"work_id":"dd9f369b-57be-4949-95bd-a15e5435f18b","year":2020},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.654555Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:863e466cd9b0dabbdbb28893a18577d07f42315d2780dac2af35a9562af595e5","observation_id":"ee2cddbb-6e04-44c8-844d-2c45846630ac","resolution":{"observed_at":"2026-08-06T17:01:24.718902Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:24.476252Z","title":"Swc registry,","venue":null,"work_id":"a1c8fc7f-f46e-4e21-9f3d-fdd0aacea5f7","year":2020},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.710340Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:dd0c905adbeaa41c7f421e500d9eb541dc7091e7da274a2ea47cbd481976b2a9","observation_id":"334b472b-4823-4220-bf4e-7797936b583f","resolution":{"observed_at":"2026-08-06T17:01:24.565411Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:24.250100Z","title":"Finding the greedy, prodigal, and suicidal contracts at scale,","venue":null,"work_id":"64e39f75-301a-435e-b877-794d6dce7218","year":2018},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.795228Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:45f072d4ceb133f4ba09f74f6f42e90ba0ac5966219c32dc81d0a06bdc126f9e","observation_id":"875cc2d6-05fc-425a-b5c9-72fcb2b284dd","resolution":{"observed_at":"2026-08-06T17:01:24.368752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:24.045796Z","title":"Defectchecker: Automated smart contract defect detection by analyzing evm bytecode,","venue":null,"work_id":"cae7e24a-a712-4206-b84b-81ce4ffc00de","year":2021},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.868163Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:42c4f294d38af31a22a022890408719b6c7cb8bf21d951f9c7b98635143a82fa","observation_id":"6e75e8d1-69f8-4f97-a690-78b537b6ae7f","resolution":{"observed_at":"2026-08-06T17:01:24.126654Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:23.862826Z","title":"Mythril: A security analysis tool for evm bytecode,","venue":null,"work_id":"5d8b882f-d46f-4f6f-a713-d329029b84d7","year":2017},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:20.925639Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:c79584a22f1b4cc953200407e9e85d92667fc8687502c9191a48410fa552c066","observation_id":"14cbfc47-6598-4810-85e7-e422b03158e1","resolution":{"observed_at":"2026-08-06T17:01:23.953424Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:23.682202Z","title":"Osiris: Hunting for integer bugs in ethereum smart contracts,","venue":null,"work_id":"ae8e76a0-af9f-40e0-b387-56aebe5bbac0","year":2018},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:21.011237Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:7d33cb6f51c2fbbb167c01e1b4b3bf382e21f0ac9ac832e925ae28cb7622f870","observation_id":"1983ec98-2060-4680-9544-3eb96982ab74","resolution":{"observed_at":"2026-08-06T17:01:23.746664Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:23.483725Z","title":"Making smart contracts smarter,","venue":null,"work_id":"da29c06a-98b7-47af-9080-b1637394c72c","year":2016},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:21.102666Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:93bb62c86eef1ca7c846a2c9ddfb499b94a9742e6ea1527ec68e6c3c8b45525a","observation_id":"cd12f402-2091-4b64-bb59-daa28c1a9f6a","resolution":{"observed_at":"2026-08-06T17:01:23.556415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:23.305047Z","title":"teEther: Gnawing at ethereum to automatically exploit smart contracts,","venue":null,"work_id":"c34b7e92-098e-4dfe-b7e9-91728ee60fc1","year":2018},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:21.147446Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:1cd0f2362ed454d837349a7e6fb4e81d57bd854e8f543ffba083c52f4b4b3ffa","observation_id":"5390981a-3e8c-419d-a580-4e2ae7193191","resolution":{"observed_at":"2026-08-06T17:01:23.379036Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:23.187815Z","title":"Contractfuzzer: Fuzzing smart contracts for vulnerability detection,","venue":null,"work_id":"33b7105a-a11d-4741-86e8-a751c6b8598f","year":2018},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:21.209896Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:f84d3deb85bd5fe73a2a7e6211b85183d5d692ac46ece3ca4fe5877d2dab3546","observation_id":"a575c89d-6ca8-476e-85e6-5206a4e12d56","resolution":{"observed_at":"2026-08-06T17:01:23.247416Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:23.001068Z","title":"Oracle-supported dynamic exploit generation for smart contracts,","venue":null,"work_id":"9b696d78-5e51-41cd-a970-cf7e001b7613","year":2020},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:21.260131Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:77b5b86d3f74b20675603980f34f44096747ca349fbd2248e22e381b3d454a6a","observation_id":"1c4a571f-f77e-4ef4-853b-1c99afcd0139","resolution":{"observed_at":"2026-08-06T17:01:23.088164Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:22.793167Z","title":"Echidna: effective, usable, and fast fuzzing for smart contracts,","venue":null,"work_id":"27004a96-9f6d-4edf-bc0b-ec99b5cf9a34","year":2020},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:21.331057Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:02dcad38aaef7d77068f21bcd74b97a31f40003abc7be7fdcbd9b03a60f5c9f6","observation_id":"6d3cf223-023a-40d9-b7f0-7fd15de7df85","resolution":{"observed_at":"2026-08-06T17:01:22.883410Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:22.620432Z","title":"Harvey: A greybox fuzzer for smart contracts,","venue":null,"work_id":"233eff12-0efd-46f0-805e-f7588c740f24","year":2020},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:21.397772Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:dd0a8a8b7faa2115157b5c3c422d6f295d128f87a6cb7d583c5805e3a7ae0a58","observation_id":"22850875-727d-4794-b89b-d17469e18bc3","resolution":{"observed_at":"2026-08-06T17:01:22.700227Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:22.415261Z","title":"Rethinking smart contract fuzzing: Fuzzing with invocation ordering and important branch revisiting,","venue":null,"work_id":"51e7df17-ba7f-4226-ab6f-34a2895886ab","year":2023},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:21.461701Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:5a0046a5a59451af22b5c0590867c5f88b977adf290d8601885c5618b43b2153","observation_id":"61a4dd89-37f9-42e1-b203-5077ee6796af","resolution":{"observed_at":"2026-08-06T17:01:22.519847Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:22.205045Z","title":"Smartgift: Learning to generate practical inputs for testing smart contracts,","venue":null,"work_id":"2cbcea1f-cf77-4148-ae90-ae23461246c8","year":2021},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:21.513917Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:a254d6bc235fdf6ad94792610017f56ee4af4261cd475edfa7bc1dd37f720e41","observation_id":"73575c64-13c8-4ed3-97aa-5afa5708e6e5","resolution":{"observed_at":"2026-08-06T17:01:22.329001Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:21.969837Z","title":"Soliaudit: Smart contract vulnerability assessment based on machine learning and fuzz testing,","venue":null,"work_id":"13a8fcfd-17da-4811-8ef3-7f13261c6f37","year":2019},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:21.572511Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:5f27bcdd44bca25d6d96e62960da9e15a088f9aac3852a6f6af936397faf8a08","observation_id":"022f1117-b5cb-4f8a-b5d8-b64850cff135","resolution":{"observed_at":"2026-08-06T17:01:22.095509Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T17:01:21.792876Z","title":"Syntest-solidity: Automated test case generation and fuzzing for smart contracts,","venue":null,"work_id":"5245af96-f8b8-434d-b0be-6036ae4ab705","year":2022},"citing_paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T17:01:21.638787Z"},"links":{"citing_paper":"/paper/2507.12084"},"observation_digest":"sha256:c348ad13d237a0df347ed3a0dc1803c3c49ca95824e137ee0ec36c8b3a615491","observation_id":"43def1be-7fc4-4843-88ac-217bf7d153ef","resolution":{"observed_at":"2026-08-06T17:01:21.868920Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.12084","last_updated":"2025-07-16T09:46:58Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T23:55:29.098700Z","submitted_at":"2025-07-16T09:46:58Z","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation"},"reference_resolution":{"displayed":51,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":0,"verified_fuzzy":50},"total_outbound_references":51},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 0 inbound Pith citation observations for arXiv:2507.12084."}