{"as_of":"2026-08-15T23:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d714693a1e3fc661c29180f4889986c87bcf8082f9dd9b0cfd647977a060a060","coverage":[{"denominator":91,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":91,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T20:59:28.808024Z","state":"measured"},{"denominator":92,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":92,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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-12T04:28:34.082401Z","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-12T06:16:24.789073Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"cited_work":{"arxiv_id":"2411.09217","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.09217","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e1fea683-7c51-4839-aa5a-d5a705b8c46b","year":2024},"citing_paper":{"arxiv_id":"2605.09610","last_updated":"2026-05-10T15:47:46Z","snapshot_observed_at":"2026-08-13T04:26:21.097164Z","submitted_at":"2026-05-10T15:47:46Z","title":"SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-12T04:28:34.082401Z"},"links":{"cited_paper":"/paper/2411.09217","citing_paper":"/paper/2605.09610"},"observation_digest":"sha256:e66f4ca63b8bb625de7975f1d5ff245c1c8107ba339463daada14dab4ac10485","observation_id":"a45162a8-7e24-4f82-b993-5cee05095543","resolution":{"observed_at":"2026-05-12T06:16:24.808051Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2411.09217/citation-record","integrity":"/paper/2411.09217/integrity","json":"/paper/2411.09217/citation-record.json","paper":"/paper/2411.09217"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T20:59:27.733865Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.733865Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:48fe397a9615a4792da48c86ce9435afbc3a89b09b0054ddad9720ffa217266e","observation_id":"877bfbb3-9847-4c57-85b8-7db448300e26","resolution":{"observed_at":"2026-08-12T20:59:27.733865Z","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-12T20:59:27.750067Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.750067Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:5894265fa7008e4af5a134a4354b916354f80406898871307783e81296925218","observation_id":"33a6bba4-1683-4d0f-b7c5-1349599055ba","resolution":{"observed_at":"2026-08-12T20:59:27.750067Z","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-12T20:59:27.766216Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.766216Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:440756863193c1e1d91794d54a4f3e61f663fc30d2aa011dcb7aeb1d6df4eced","observation_id":"0365790f-87a3-4b2b-96c3-3924a6fe0b25","resolution":{"observed_at":"2026-08-12T20:59:27.766216Z","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-12T20:59:27.774650Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.774650Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:09038795885d1c87c9007fe90b09d368b64f979f809f334361c584be1762477e","observation_id":"eae53387-0189-4e31-bb7a-414240cecefe","resolution":{"observed_at":"2026-08-12T20:59:27.774650Z","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-12T20:59:27.784232Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.784232Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:63c7324f6edfc7b75ba8b8c2ade27fbb45b4b8f9d3762717b2e38501f4c3c8a6","observation_id":"3fe41a03-ca79-43aa-9988-21dc98ec0301","resolution":{"observed_at":"2026-08-12T20:59:27.784232Z","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-12T20:59:27.795167Z","title":"SMT-based verification of solidity smart contracts","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.795167Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:c52ea9a946888696631dea6142b739b63d3467b0fb07ef44fba95e0c98a5bfa2","observation_id":"156f1334-e631-47ed-9569-a56a649dfe71","resolution":{"observed_at":"2026-08-12T20:59:27.795167Z","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-12T20:59:27.806699Z","title":"Eth2vec: learning contract-wide code representations for vulnerability detection on ethereum smart contracts","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.806699Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:b0a5ad944cedc0c68ba4648d55cd27458e68b6eafe99d6c949f72bcdfab07595","observation_id":"d8535c7b-c8f1-4fcb-8913-e33289e7c867","resolution":{"observed_at":"2026-08-12T20:59:27.806699Z","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-12T20:59:27.819189Z","title":"The use of likely invariants as feedback for fuzzers","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.819189Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:16aad0050a3d8d350c14b2dde9f62168e142c795ee85d639e22619674771b667","observation_id":"32ee1c96-e6fc-46b0-acd1-75c43fddcb5a","resolution":{"observed_at":"2026-08-12T20:59:27.819189Z","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-12T20:59:27.826689Z","title":"Two vulnerabilities in one function — the analysis of visor finance exploit","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.826689Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:dce894e7d8347ee8326264ccdff80617e59bc3747e97f5d69501b32b5e6ab98d","observation_id":"e864a028-2fa0-457d-9fe1-06834578e1fa","resolution":{"observed_at":"2026-08-12T20:59:27.826689Z","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-12T20:59:27.836124Z","title":"Sailfish: Vetting smart contract state- inconsistency bugs in seconds","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.836124Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:0a311ad46e14ba34ef3edfd8956693a9cbea4f42fc6ca18512f4bdbbcabb640e","observation_id":"cb08afa4-bb2a-457a-b015-bbe990adc1f2","resolution":{"observed_at":"2026-08-12T20:59:27.836124Z","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-12T20:59:27.846242Z","title":"Ethainter: a smart contract security analyzer for composite vulnerabilities","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.846242Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:4b43d6509776392115c521025a0b4e669ee320f264bc5e6aad320f37f7c6f44b","observation_id":"265b5740-e5f4-48fb-99c6-7c449c853ea0","resolution":{"observed_at":"2026-08-12T20:59:27.846242Z","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-12T20:59:31.944879Z","title":"Rich: Automatically protecting against integer-based vulnerabilities","venue":null,"work_id":"55180ccf-2a96-443f-9e60-eadd791a79ac","year":2007},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.854079Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:97a75e4376cb4a8d7c836bd08957d3ef4df2c79b10c96d75cd2f672b05fcb321","observation_id":"d534e610-4394-4f03-8b0c-98867cc8518a","resolution":{"observed_at":"2026-08-12T20:59:31.958115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T17:39:05.729291Z","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-12T20:59:27.862590Z","title":"When chatgpt meets smart contract vulnerability detection: How far are we? arXiv preprint arXiv:2309.05520, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.862590Z"},"links":{"cited_paper":"/paper/2309.05520","citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:94b21f93760cc20a53ec90a01ae2f0c6cb1d711d581816e6cf933c3bfe24c8d6","observation_id":"a780749c-02ab-4d2b-a8e7-1efcf724569d","resolution":{"observed_at":"2026-08-12T20:59:27.862590Z","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-12T20:59:31.889748Z","title":"Decoupling knowledge from memorization: Retrieval-augmented prompt learning","venue":null,"work_id":"7c611cb8-0ffe-4b71-b61a-4be6fda0f64e","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.873555Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:4e54fb2be9ab6ace1cc6e6eec34d5d772292abf54e3caa5f3d49bc2e3b0b805e","observation_id":"97bc7d50-7cbb-476a-9b1f-183043ac51b8","resolution":{"observed_at":"2026-08-12T20:59:31.909749Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.831947Z","title":"https://github.com/ConsenSys/mythril","venue":null,"work_id":"01f5908a-484d-4e82-bd4d-31e7ee2815a4","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.881845Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:171628cf291918e50a0301c965d7eaf3c1b81d9b03610c5362b17ec1576edbde","observation_id":"f66254d7-7c9a-4df4-9380-000f9abcf594","resolution":{"observed_at":"2026-08-12T20:59:31.842005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-13T11:12:31.769493Z","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-12T20:59:27.896214Z","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":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.896214Z"},"links":{"cited_paper":"/paper/2306.12338","citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:2a866ed69fd7568cbea1a943d32cff8422901195e54629d73b5e2113ad579259","observation_id":"fc1fdea4-4a8c-4d36-8854-58ce03defbd2","resolution":{"observed_at":"2026-08-12T20:59:27.896214Z","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-12T20:59:31.789043Z","title":"The daikon system for dynamic detection of likely invariants","venue":null,"work_id":"4be5ce77-b48b-47ea-9290-f4eb6ae20883","year":2007},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.904392Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:f5477fe3a66f794aacf51082dbfd861afd4918612514cad90bb424ef66163d4a","observation_id":"9f38cba4-0b64-45fa-a477-f3be0d72cb1a","resolution":{"observed_at":"2026-08-12T20:59:31.799484Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.751798Z","title":"Slither: a static analysis framework for smart contracts","venue":null,"work_id":"94c4407a-e160-4413-8a00-dd6ba2157555","year":2019},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.912304Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:cc3225a098f65d680ed373594ba946cc56a1fc61131c6add08c83d7f198c683a","observation_id":"b0d47e01-d02f-4f4d-bd7e-76372ff9a363","resolution":{"observed_at":"2026-08-12T20:59:31.772215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.717791Z","title":"Post-mortem for vvisr staking contract exploit and upcoming migration","venue":null,"work_id":"8f63f179-5455-4b4e-91cc-870f1f8af86f","year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.923584Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:12d0d866b0c3e4d5c6c579bc40797ef902c1c201325874e06702436e59d25cf1","observation_id":"d065b07d-26b1-4b32-9b72-8d8ab8205686","resolution":{"observed_at":"2026-08-12T20:59:31.724115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.679368Z","title":"Ethbmc: A bounded model checker for smart contracts","venue":null,"work_id":"b4904447-a747-4595-a567-630f579a24f3","year":2020},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.930628Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:c85cc92d8fd8f1085adb03b184c5931d8a90f851b00f4eff23a368fc816243e8","observation_id":"179da52e-bdd0-4dff-93cd-2a9c955d96e9","resolution":{"observed_at":"2026-08-12T20:59:31.691260Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.653654Z","title":"Defi token visr plunges by 95 Crypto Brief- ing: https://cryptoslate.com/defi-token-visr-plunges-by-95-following-8- million-hack/, 2021","venue":null,"work_id":"48625d2d-8822-482f-810f-6174fb4c45b2","year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.944701Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:ed212c20068bb1a40a8e5d85060ebadafc629051aa02575933d47f1b8587da00","observation_id":"d0ee4eb2-e3a5-4709-b5a4-1efd32e164a8","resolution":{"observed_at":"2026-08-12T20:59:31.660742Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.622727Z","title":"How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection","venue":null,"work_id":"4d09ac34-93ac-49c5-811e-a63faa463203","year":2020},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.956585Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:51d26c9e2cf2923ff6baef3954f90465da150e896464de10c7528e45f008adaf","observation_id":"aedad5bd-3d20-4a5f-81a7-693e23920c45","resolution":{"observed_at":"2026-08-12T20:59:31.629766Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2103.13630","last_updated":"2021-06-21T21:01:12Z","snapshot_observed_at":"2026-08-13T19:52:23.610086Z","submitted_at":"2021-03-25T06:57:11Z","title":"A Survey of Quantization Methods for Efficient Neural Network Inference","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.13630","snapshot_observed_at":"2026-08-12T20:59:27.965237Z","title":"A survey of quantization methods for efficient neural network inference","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.965237Z"},"links":{"cited_paper":"/paper/2103.13630","citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:097e93b31549985c2d47d6f45e6677c86129e1cce91da6e14857a7c5d603c84c","observation_id":"d20851af-892a-45ca-b37c-ad1b726c07a5","resolution":{"observed_at":"2026-08-12T20:59:27.965237Z","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-12T20:59:31.590983Z","title":"Timelockcontroller vulnerability in openzeppelin contracts","venue":null,"work_id":"eb62d6d9-6163-4a0d-8303-12739099e9bf","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.978887Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:cf69b1e303066b3fc1d3a14c346c3dcdfca8e1c6c6a41b776bc30b7472185b9e","observation_id":"b50f947c-4c9b-4572-ac4e-76f4c33c5997","resolution":{"observed_at":"2026-08-12T20:59:31.601661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.549782Z","title":"Better language models and their implications","venue":null,"work_id":"e565c0b9-5130-48d8-aecd-bdd727f282fd","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:27.996320Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:0a418a710ff2908c634881ff626b38c10fe0f502f93e081054fe5379c249a55e","observation_id":"9827501e-bb7a-4a0f-ad13-6edf8f4b5d6e","resolution":{"observed_at":"2026-08-12T20:59:31.558886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.514651Z","title":"Echidna: effective, usable, and fast fuzzing for smart contracts","venue":null,"work_id":"92a266d0-b999-43f0-a67a-bf85b30d7856","year":2020},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.002793Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:34c7e48393652673cc56fe7c73fa344d1ec3c0357493ee8bc3c6b56dce832653","observation_id":"25e3a2a3-f1df-42ac-b199-35ad3a937547","resolution":{"observed_at":"2026-08-12T20:59:31.526816Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.478359Z","title":null,"venue":null,"work_id":"2479bd67-9061-46ac-9e23-4c882b7e7451","year":2020},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.013604Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:12653d1bfef7581ecfefa526d52c1089f51fed56c5501e40b592ff0377552fb1","observation_id":"c8da20c2-b69c-4ea6-927a-9c4936937f10","resolution":{"observed_at":"2026-08-12T20:59:31.488414Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.442819Z","title":"An insecurity study of ethereum smart contracts","venue":null,"work_id":"a87b043e-1d42-44a1-bcec-925704ddc707","year":2020},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.037010Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:3f6eb5495562d305e40d4e87ecf68b3abbbadc3831e5c289af8fe84a035b92e4","observation_id":"dc278238-95bb-4d4a-9209-b0d9000c34fa","resolution":{"observed_at":"2026-08-12T20:59:31.450566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.393787Z","title":"Visor finance hack proof of concept","venue":null,"work_id":"b6548045-fd70-4091-a22b-6515a6b9dc37","year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.048507Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:f7abfba63ba77ebd7f137f0d020cea4a2b8c814a9c6652904cda1e38613e024a","observation_id":"4aa582d4-b80a-4f68-adb2-f89ef4b75432","resolution":{"observed_at":"2026-08-12T20:59:31.408374Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.353663Z","title":"10 real world use cases for ethereum","venue":null,"work_id":"a580ae2c-0a56-4662-bc47-356acc00d5e3","year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.057802Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:ae216970e999e252bc5d7f5a16b7275ef8bce12d039ed8396e3098a2f36eba8a","observation_id":"0c9bf3c6-db18-4d15-86d2-45006b9827ed","resolution":{"observed_at":"2026-08-12T20:59:31.362939Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.325703Z","title":"Discovering invariants via machine learning","venue":null,"work_id":"e79e19e0-240a-441c-aa49-3eaba2adc870","year":null},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.078026Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:a0fdd4abd5ca35ba8d61b3c9c6b8796f873cae3c6d742d9854b56736dd3cb112","observation_id":"480f598b-9bb3-414e-b929-8d8f3a68d85d","resolution":{"observed_at":"2026-08-12T20:59:31.333236Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.286865Z","title":"solc-verify: A modular verifier for solidity smart contracts","venue":null,"work_id":"d73fc993-8040-457c-98f0-01b06b654f81","year":2019},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.091315Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:640d8da6d30679c6abfae37e5ff44680f801369e2f621b6ea49fbd77a5a0a947","observation_id":"2f488f76-db09-4c9e-8376-05c8682cf3a8","resolution":{"observed_at":"2026-08-12T20:59:31.301260Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.253914Z","title":null,"venue":null,"work_id":"02367df6-cb19-41b9-8b67-2132cbc7ef3e","year":null},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.110718Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:fbd2e043c7105a22caed810d79625da87c68b33dc4a31baec3cc670133a3e112","observation_id":"f6794daa-080b-4af8-8608-0e18edca9a54","resolution":{"observed_at":"2026-08-12T20:59:31.262842Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2106.09685","last_updated":"2021-10-16T18:40:34Z","snapshot_observed_at":"2026-08-11T08:20:29.798517Z","submitted_at":"2021-06-17T17:37:18Z","title":"LoRA: Low-Rank Adaptation of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2106.09685","snapshot_observed_at":"2026-08-12T20:59:28.121784Z","title":"Lora: Low-rank adaptation of large language models","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.121784Z"},"links":{"cited_paper":"/paper/2106.09685","citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:ce981be2b5d06d34a7f302e7f11066f0d50bdc515a613374cf949b26ffb3532b","observation_id":"1c6ad2a5-1703-44b6-9010-b866d2492bef","resolution":{"observed_at":"2026-08-12T20:59:28.121784Z","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-12T20:59:31.216094Z","title":"Zeus: analyzing safety of smart contracts","venue":null,"work_id":"82b3bb84-2994-4204-8e2a-c08b57ca5b27","year":2018},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.133452Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:733e89a3bc64c2e842b924769697b1465cc7d503a7d9af6144d8f9763517e3de","observation_id":"77a0d936-4b55-402e-95c8-4c0dddf57ea8","resolution":{"observed_at":"2026-08-12T20:59:31.231331Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2205.11916","last_updated":"2023-01-29T05:14:17Z","snapshot_observed_at":"2026-08-13T05:54:24.242465Z","submitted_at":"2022-05-24T09:22:26Z","title":"Large Language Models are Zero-Shot Reasoners","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.11916","snapshot_observed_at":"2026-08-12T20:59:28.140828Z","title":"Large language models are zero-shot reasoners","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.140828Z"},"links":{"cited_paper":"/paper/2205.11916","citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:22fc854498254444e3a87d4d471d93cea6d5e338a937544a0b6f507726a784a3","observation_id":"7067c8d3-5df0-4329-a6f4-bc8fe2fd6e59","resolution":{"observed_at":"2026-08-12T20:59:28.140828Z","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-12T20:59:31.174454Z","title":"Teether: Gnawing at ethereum to automatically exploit smart contracts","venue":null,"work_id":"007d97a1-3ab5-4629-92ca-ce4ca752c1b4","year":2018},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.149488Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:7d6d3958d87ec4853ac0eb762037875502c581855db4e0ffa4501bfa9e6181bd","observation_id":"7ae15243-2bec-45ca-8bfd-cc3a7e83abd7","resolution":{"observed_at":"2026-08-12T20:59:31.193544Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.142642Z","title":"Lahiri and Shaz Qadeer","venue":null,"work_id":"0f49cd5b-8cb2-4592-964c-acc0510a8d15","year":2009},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.158675Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:1e6766b706ed3ae2ae8be9ba75fd86719765ed77c225af92b9c35e0ca9353b49","observation_id":"0f643c48-8f68-480a-9d48-1d09667288da","resolution":{"observed_at":"2026-08-12T20:59:31.150501Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.091927Z","title":"Powering the static driver verifier using corral","venue":null,"work_id":"bedaf86e-b5ef-4f49-85bf-91dbf2accb45","year":2014},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.164353Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:e11c7ddaff3e589d9b70ec628b33c72986703d76d75804b69dee898886ce18ee","observation_id":"571b3020-65f8-4b1e-ac42-d25474f1aeb2","resolution":{"observed_at":"2026-08-12T20:59:31.107389Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.052240Z","title":"Statically detecting likely buffer overflow vulnerabilities","venue":null,"work_id":"e40cd48b-b279-4f81-94ac-cfdbf35a7994","year":2001},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.174423Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:302d374987737aa5585e676c542e18ef3110cd8ec8715fd1cbadb5435e224506","observation_id":"3876a7c4-09f3-486a-835a-948b4fc9c2c7","resolution":{"observed_at":"2026-08-12T20:59:31.062613Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:31.019767Z","title":"A mathematical investigation of hallucination and creativity in gpt models","venue":null,"work_id":"a73a2c69-b677-4218-ac50-ebc86a1b5483","year":2023},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.179720Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:209ef701d5cb829fd0ca14ca910e36341557a3ac816aed388c06247b25737ffd","observation_id":"e91532b2-0546-4cf9-b886-b96cccd02aba","resolution":{"observed_at":"2026-08-12T20:59:31.028514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.997125Z","title":"This is boogie 2","venue":null,"work_id":"d303d212-3152-4a47-90e0-effadfdebd8a","year":2008},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.191547Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:55e41272ca57209fc2755d42f189040556cf925e1e95b40ba47e9ed3f486b173","observation_id":"c004d533-4fec-4ce6-a635-305c428ad764","resolution":{"observed_at":"2026-08-12T20:59:31.004013Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.965220Z","title":"Reguard: finding reentrancy bugs in smart contracts","venue":null,"work_id":"b62bcecb-0f89-4b63-a7a3-e46351433c90","year":2018},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.216431Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:57105274ac1319d838178923afb577e1f9d5120f67de8eded0767867551398c7","observation_id":"dde7441a-def0-44e8-8db3-3a8923fc6d98","resolution":{"observed_at":"2026-08-12T20:59:30.973214Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.919915Z","title":"Few-shot parameter-efficient fine-tuning is better and cheaper than in-context learning","venue":null,"work_id":"c05349ec-42e7-450b-a060-4a769f329517","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.234782Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:b5981dce2e9c95abab9036941194570dccbfec7dcc3f96b0b7cedd84e937f9d8","observation_id":"67055ff3-a64c-4f87-b927-e51287dd11d7","resolution":{"observed_at":"2026-08-12T20:59:30.931982Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.881314Z","title":"Learning contract invariants using reinforcement learning","venue":null,"work_id":"003e8bb9-d622-45e0-84a4-82ce37cedc16","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.248777Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:fd126cda27a7f69cfa5fae6490da9a42ee078c046b4688672cb30e76c43a9583","observation_id":"8f8f1e3b-794a-474c-af51-532ac3f1fdee","resolution":{"observed_at":"2026-08-12T20:59:30.904063Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.853357Z","title":"Pre-train, prompt, and predict: A systematic survey of prompting methods in natural language processing","venue":null,"work_id":"dcb9c3f6-b977-494f-b346-9a9d751abe2e","year":2023},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.257358Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:12bf0b676ff3551326f170787d1275fa831238d26f1e201c880de835f6f212ae","observation_id":"a769e9ba-d483-4285-a436-84571b570d92","resolution":{"observed_at":"2026-08-12T20:59:30.861825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.820446Z","title":"Invcon: A dynamic invariant detector for ethereum smart contracts","venue":null,"work_id":"88d66cb4-3cca-41bd-a3de-884abbe96cb5","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.277229Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:d7f69ae3ccc583cbd421fed5cb3598a1da1e05606dcb15341a4119e1071d7d6d","observation_id":"6fc51e10-387f-4ae9-8b62-4da75684ff97","resolution":{"observed_at":"2026-08-12T20:59:30.827931Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.774684Z","title":"Neucheck: A more practical ethereum smart contract security analysis tool","venue":null,"work_id":"fdb8c003-a20f-40f1-9da8-b0c1b65b3a45","year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.285273Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:de38191d862274998ecfbd688308fea8c7b7a34508b375f411739681faa2e27a","observation_id":"b8a7d54f-b8de-4654-ae80-04b5104f0c93","resolution":{"observed_at":"2026-08-12T20:59:30.784723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.747145Z","title":"Making smart contracts smarter","venue":null,"work_id":"5ac889ea-f1cd-4f9e-8189-bdf7fb454bab","year":2016},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.294390Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:e7b53a0fe7135b6d75afb25a00c60472abefe8ba153b7f58a7548220fa56fa10","observation_id":"3bbc5a07-1a09-4b82-97c6-a6c01d72c9d6","resolution":{"observed_at":"2026-08-12T20:59:30.753243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.724965Z","title":"Security vulnerabilities in ethereum smart contracts","venue":null,"work_id":"c6a41018-b919-4738-a08c-abb445de9708","year":2018},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.306846Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:a86795c240d2c35035a48a27c7e8ddc18e38faf669514317d4cff44f163ad867","observation_id":"ab33c5ab-da66-4258-a23f-413d49438b74","resolution":{"observed_at":"2026-08-12T20:59:30.732812Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.679542Z","title":"Manticore: A user-friendly symbolic execution framework for binaries and smart contracts","venue":null,"work_id":"1fe5a255-b66c-4f92-bcda-8a6a61f136bd","year":2019},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.317360Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:95aadc8972a88fef75d13476d3e69295b0c71d6a416000188a04831b365af37c","observation_id":"e12e07db-0c46-48e2-8997-bbf0bbe1ec04","resolution":{"observed_at":"2026-08-12T20:59:30.685414Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.635975Z","title":"sfuzz: An efficient adaptive fuzzer for solidity smart contracts","venue":null,"work_id":"397609ad-13ad-4ae6-b529-760d8c39b2a7","year":2020},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.324138Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:2722d57161b706eacaf8a68cbd151515c9a081fb5f37f3731ccd145b110ede6c","observation_id":"8e1ccc0a-5fee-4039-80c5-0cb94a7d96f5","resolution":{"observed_at":"2026-08-12T20:59:30.644926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.601662Z","title":"Finding the greedy, prodigal, and suicidal contracts at scale","venue":null,"work_id":"71bb33dc-0c8c-4ad3-af5e-101ade82da83","year":2018},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.344179Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:f6ddf48a38c37ef879641a579dad7fc2b5b1ced2c1a8b1da45705cc07dbbb010","observation_id":"a1a8b557-843c-40d6-ba13-3380a0765590","resolution":{"observed_at":"2026-08-12T20:59:30.608894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.570636Z","title":"Finding the greedy, prodigal, and suicidal contracts at scale","venue":null,"work_id":"377b3b46-abe4-4eb5-89e0-6e7da09ca552","year":2018},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.361124Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:3dcf289cd8d2487d04b0bce956081dc5508b511f72059586a8f3a53deead59ab","observation_id":"d7ddf096-fc80-4f99-95d1-624e9e097159","resolution":{"observed_at":"2026-08-12T20:59:30.579680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.532268Z","title":"Static verification of dynamically detected program invariants: Integrating daikon and esc/java","venue":null,"work_id":"7f8fabf8-9e80-4db3-a1f9-56d3c5c6483a","year":2001},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.371829Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:5d4f6109663ac05103c68bbd2d016fe07017f6bfb84f71949b6b4b512efcd616","observation_id":"1c7d8c2a-9a1e-4771-ae0e-0ba37b8789c4","resolution":{"observed_at":"2026-08-12T20:59:30.550484Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.496501Z","title":"Gpt4: https://openai.com/gpt-4","venue":null,"work_id":"73aaaa39-17ff-4615-b7db-81ee556cacea","year":2023},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.403926Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:96b362b54188684cfc2116f9c3e8e7407d1298a35568215852848a8ebb57b106","observation_id":"9c0c8b37-04d7-4288-a802-e859120c2370","resolution":{"observed_at":"2026-08-12T20:59:30.513850Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.458772Z","title":"Timelockcontroller","venue":null,"work_id":"b4bb8d2d-6b92-470a-9a27-2321505b51bb","year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.426771Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:06f188221fe08d670a9f8399af7ccafb459db43999c585fd69d0e311ddf49e76","observation_id":"878d40d6-f3bc-4211-a203-c35e47038c59","resolution":{"observed_at":"2026-08-12T20:59:30.467803Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.423354Z","title":"Verx: Safety verification of smart contracts","venue":null,"work_id":"9cdaf3f1-ef84-4af8-b05a-2fafa642388d","year":2020},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.439624Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:a9e1a42adf664d3b59c58657be073769d40542d4b611cc7eb629775354462e84","observation_id":"b505d207-0500-4e19-b949-1c5a106a1cbd","resolution":{"observed_at":"2026-08-12T20:59:30.432586Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.388346Z","title":"The polynetwork hack explained","venue":null,"work_id":"adb9dd8e-57a0-4921-a426-dc7d8d40ded2","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.450664Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:4089ca06cb57e0f55bd7060ea3badbd64f6d5b1f1750ba39b5e693d8d5913e13","observation_id":"cdbe4729-d783-4d78-8ee8-94fd3a279ded","resolution":{"observed_at":"2026-08-12T20:59:30.396316Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.357743Z","title":"Exploring transfer learning with t5: the text-to-text transfer transformer","venue":null,"work_id":"9e9814fa-92c9-4592-92d0-eeb5f7ec4dd9","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.461385Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:1749b5cda9af142238dc617eb8d17ed565e5fa1bf12cff282ee979e8746f595d","observation_id":"8b4d22d4-5377-489b-8bf8-a6eb98ce2536","resolution":{"observed_at":"2026-08-12T20:59:30.365427Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1909.11542","last_updated":"2019-10-17T16:07:49Z","snapshot_observed_at":"2026-07-06T08:24:32.545342Z","submitted_at":"2019-09-25T15:05:02Z","title":"CLN2INV: Learning Loop Invariants with Continuous Logic Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1909.11542","snapshot_observed_at":"2026-08-12T20:59:28.469567Z","title":"Cln2inv: learning loop invariants with continuous logic networks","venue":null,"work_id":null,"year":1909},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.469567Z"},"links":{"cited_paper":"/paper/1909.11542","citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:12b7f9f3970ae86207d27d3a2c7411fe02f89f119ce2713ec1490a0899b1e6d0","observation_id":"358a4a48-3adb-4c7c-8410-c1f4b23f1479","resolution":{"observed_at":"2026-08-12T20:59:28.469567Z","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-12T20:59:30.318768Z","title":"Pods finance ethereum volatility vault audit #1","venue":null,"work_id":"694d2c17-e364-48b3-a979-48eff260b2f6","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.481015Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:343874b7f51c850756bd40fec4562e976615574788f31b9c0f97a5fabc7b844b","observation_id":"dc579e3c-c552-4b69-9651-c30ccbc862eb","resolution":{"observed_at":"2026-08-12T20:59:30.327730Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.289582Z","title":"A concurrent perspective on smart contracts","venue":null,"work_id":"0e7ba9d2-0e88-4afe-b1c2-8b2c4b2d5f58","year":2017},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.492632Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:9b6f349061e5f85cd7d83d575c1dfe31b721752110cf22ba39395863b751d3e6","observation_id":"be82b0cc-908c-4aef-8f13-9bf513d4fffd","resolution":{"observed_at":"2026-08-12T20:59:30.299346Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"analysis/2021122","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T20:59:29.281250Z","title":"Reentrancy attack: Analysis of visor- finance’s uniswapv3 liquidity protocol hack","venue":null,"work_id":"05ae763b-29fa-4e09-9c1f-b561092309c2","year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.500524Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:8fd931a25c92bf42f9560630ee779cd8190fc992e335ae0eea8f6299740097b5","observation_id":"24e315e9-8a99-4e1a-910c-19312df5f428","resolution":{"observed_at":"2026-08-12T20:59:29.295598Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.245967Z","title":"Smart contract vulnerabilities, attacks and auditing consid- erations","venue":null,"work_id":"a7d35281-571f-4778-aa27-accf6e9be6d4","year":null},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.513137Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:df2dee6c3817e8af0f66f019bdc3938f0af0194eb474b59a5d5b5202e2791ef2","observation_id":"3531e08f-acd0-4c5a-9053-aee4adc554d9","resolution":{"observed_at":"2026-08-12T20:59:30.256208Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.213275Z","title":"How long does smart contract audit takes","venue":null,"work_id":"a1199e57-bf4d-4f14-9b0b-50a9528c2cc8","year":2023},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.527657Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:b2302a6d9d59722d408a6b6b6af968e62cc64093a803c24439fee8fe69ad4bc0","observation_id":"d5a4e6bd-f7fd-41f3-b4f8-244a9ee4ee6a","resolution":{"observed_at":"2026-08-12T20:59:30.221477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.185180Z","title":"Smartest: Effectively hunting vulnerable transaction sequences in smart contracts through language model-guided symbolic execution","venue":null,"work_id":"ffefba18-46b2-4fa5-9817-5dcc4d73f415","year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.535320Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:9af27cfd5b6b0317f2ef5a1e7e61a6eeccd7bdbbcdec0c7ca5c08b8038f0a04c","observation_id":"9fa3773c-36ee-4b32-b90d-7f7975f068fa","resolution":{"observed_at":"2026-08-12T20:59:30.195067Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.147987Z","title":"Verismart: A highly precise safety verifier for ethereum smart contracts","venue":null,"work_id":"ed62c6ce-470d-4b59-86b5-49ff3f80a4b1","year":2020},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.550678Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:f3201121c915bd02026890fbd8a48b1aa740bd27863066e0fbd95c5200e671a4","observation_id":"52aa9e08-b554-46f6-b39b-f4c339872d33","resolution":{"observed_at":"2026-08-12T20:59:30.159624Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.113412Z","title":null,"venue":null,"work_id":"5cfe3f25-ec5d-44cf-af71-ccba62fb2422","year":null},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.562504Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:e53fbb5155d39eb9435e13a90adbc7cd7b96b267019716e018d575cd78af3d1e","observation_id":"a08b6c82-3e32-4349-ac5e-a71bfa4c9d96","resolution":{"observed_at":"2026-08-12T20:59:30.122729Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.03314","last_updated":"2024-05-06T09:00:43Z","snapshot_observed_at":"2026-08-13T10:39:41.469191Z","submitted_at":"2023-08-07T05:48:53Z","title":"GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.03314","snapshot_observed_at":"2026-08-12T20:59:28.568269Z","title":"When gpt meets program analysis: Towards intelligent detection of smart contract logic vulnerabilities in gptscan","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.568269Z"},"links":{"cited_paper":"/paper/2308.03314","citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:2e8169218bdf16b29faa951d5dd09934406827317413a352d4e6706883d29d3d","observation_id":"a8da9997-631d-4c4f-b75e-af2b8804887b","resolution":{"observed_at":"2026-08-12T20:59:28.568269Z","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-12T20:59:30.087927Z","title":"Defihacklabs git repository: https://github.com/sunweb3sec/defihacklabs/projects?query=is","venue":null,"work_id":"8b89c8e5-283b-4eba-97cb-3a2710e4a9ea","year":null},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.579141Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:36fb44d39f72d0e8295ca53d443a93014da37e9a33eb9df11a2c03fab9e51121","observation_id":"341fa27e-0859-422c-b978-a075fd47e2bd","resolution":{"observed_at":"2026-08-12T20:59:30.097470Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.062746Z","title":"Hashimoto","venue":null,"work_id":"56824124-87a6-45c4-bc4e-38116fcc2d5f","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.593300Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:ca2921735141260f5c84d352917051960484c9cc2319b5cc6e047fecba5c0c20","observation_id":"b2362ace-9627-4554-9322-eab23eade60e","resolution":{"observed_at":"2026-08-12T20:59:30.069799Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:30.025501Z","title":"Confuzzius: A data dependency-aware hybrid fuzzer for smart contracts","venue":null,"work_id":"d002efc6-1a1c-4f47-943c-60f0f91bc6b3","year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.612066Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:5bc15a4bb872108ac0e66e5e32da3edc1d684a4fb919098ed2f80d08ee7b173a","observation_id":"4767ffec-7c7a-40aa-8417-e2bb7d8c88ff","resolution":{"observed_at":"2026-08-12T20:59:30.034064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.995155Z","title":"Osiris: Hunting for integer bugs in ethereum smart contracts","venue":null,"work_id":"e0791593-82f7-4653-b352-9b2b282bc5ee","year":2018},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.631219Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:089e5e59c8791af9a24430ce33f8a4c2705131ff7ac45299e7dc626cdd78c97d","observation_id":"de200bc4-66b7-4c7a-acd6-e6145be5a0c9","resolution":{"observed_at":"2026-08-12T20:59:30.004580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.959274Z","title":"The art of the scam: Demystifying honeypots in ethereum smart contracts","venue":null,"work_id":"d1a7067e-5843-4793-a770-c0d9cc0eab17","year":2019},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.651300Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:f6cf60140e114806c7c0c48bd9ea5109322df28ebbff30cf18388cb622a23a8d","observation_id":"6eb33e99-8c39-42da-8e8c-50ee136788dd","resolution":{"observed_at":"2026-08-12T20:59:29.968942Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.923092Z","title":"Llama: Open and efficient foundation language models","venue":null,"work_id":"5e3bf475-82fe-4f70-b9fa-8b594aab959c","year":2023},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.658857Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:740d8ef130d5448e8fb0725ba6f25940d446d3d1ca796a8a79b4138ad45bb070","observation_id":"f02d64c8-a7fa-4a67-b0b1-2046062dfa4a","resolution":{"observed_at":"2026-08-12T20:59:29.931380Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.892038Z","title":"Detecting nondeter- ministic payment bugs in ethereum smart contracts","venue":null,"work_id":"7abe2464-ea81-4a0e-bc3a-68ed0dc31776","year":2019},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.664296Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:e36b7a01d5d1dafc501f507d4d034a5b6b7b9c26f11f0ca1f2c479343474773e","observation_id":"a0fee478-e044-4848-b9ff-6a93a8fea6f7","resolution":{"observed_at":"2026-08-12T20:59:29.901368Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.857216Z","title":"Formal verification of workflow policies for smart contracts in azure blockchain","venue":null,"work_id":"e667e01f-281c-4a00-8ac8-49799c91acc1","year":2019},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.669523Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:769743a9f640803b4d2a41b6915d2eb79a75e9fdc9d8ba7d8eac85878e29a8b0","observation_id":"8848fc8a-d461-427d-a0c2-37416200d60e","resolution":{"observed_at":"2026-08-12T20:59:29.869969Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.07682","last_updated":"2022-10-26T05:06:24Z","snapshot_observed_at":"2026-08-02T15:56:35.249569Z","submitted_at":"2022-06-15T17:32:01Z","title":"Emergent Abilities of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.07682","snapshot_observed_at":"2026-08-12T20:59:28.674617Z","title":"Emergent abilities of large language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.674617Z"},"links":{"cited_paper":"/paper/2206.07682","citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:862f0ab9a8a596c2156c657b0b1b7bde59792d0be3b665f5092c18c57d9c6129","observation_id":"4cc7437c-7162-4a26-8ab3-b4ea97890783","resolution":{"observed_at":"2026-08-12T20:59:28.674617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2201.11903","last_updated":"2023-01-10T23:07:57Z","snapshot_observed_at":"2026-08-13T07:04:41.220509Z","submitted_at":"2022-01-28T02:33:07Z","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2201.11903","snapshot_observed_at":"2026-08-12T20:59:28.682653Z","title":"Chain of thought prompting elicits reasoning in large language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.682653Z"},"links":{"cited_paper":"/paper/2201.11903","citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:7bbd1a8ed8d68c8800ad84984033f380385d21a7a6918b3b7c71c5be41295579","observation_id":"805e37af-2967-4146-a366-57ea7d6646e3","resolution":{"observed_at":"2026-08-12T20:59:28.682653Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.11382","last_updated":"2023-02-21T12:42:44Z","snapshot_observed_at":"2026-07-06T14:54:37.559648Z","submitted_at":"2023-02-21T12:42:44Z","title":"A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.11382","snapshot_observed_at":"2026-08-12T20:59:28.692078Z","title":"A prompt pattern catalog to enhance prompt engineering with chatgpt","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.692078Z"},"links":{"cited_paper":"/paper/2302.11382","citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:29edb13aa0d0c2291395e029651dca79ad66b5b971b00cfde5b55f878af4f75d","observation_id":"79a0b12e-8cae-43d0-a341-c92e23fa59a7","resolution":{"observed_at":"2026-08-12T20:59:28.692078Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.15068","last_updated":"2021-04-30T15:38:16Z","snapshot_observed_at":"2026-08-05T16:00:31.347930Z","submitted_at":"2021-04-30T15:38:16Z","title":"DeFiRanger: Detecting Price Manipulation Attacks on DeFi Applications","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.15068","snapshot_observed_at":"2026-08-12T20:59:28.700015Z","title":"Defiranger: Detecting price manip- ulation attacks on defi applications","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.700015Z"},"links":{"cited_paper":"/paper/2104.15068","citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:2f048adeeaf23b360ead854c3ebf7d073f52ca125a9bd874676bcef47a006ff4","observation_id":"f1f8b99e-cc8c-4db1-a714-16eb785d7374","resolution":{"observed_at":"2026-08-12T20:59:28.700015Z","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-12T20:59:29.829401Z","title":"Finding consensus bugs in ethereum via multi-transaction differential fuzzing","venue":null,"work_id":"469a6118-5304-4e5f-9be2-5592aed39f46","year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.711048Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:b398a4106c2642904fb073c437ab7c6a0c08d250c39ce991f725b1c7fa910f13","observation_id":"4a682e34-eb82-483b-969d-8581f154f4e6","resolution":{"observed_at":"2026-08-12T20:59:29.839021Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.795664Z","title":"Learning nonlinear loop invariants with gated continuous logic networks","venue":null,"work_id":"5bd9f685-25f8-4e56-9da4-dbd08c1f5530","year":2020},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.721233Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:4758891264acee8c0da76fd1e695da7179b40284735a49bc5855189c814e8b82","observation_id":"a9945764-1dd1-4d25-ab13-3e1f6cc6b85b","resolution":{"observed_at":"2026-08-12T20:59:29.809812Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.746385Z","title":"Svchecker: a deep learning-based system for smart contract vulnerability detection","venue":null,"work_id":"7a9414f7-f7bb-400d-9531-c9cbb5b74af0","year":2021},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.738669Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:da6aaa31753c88ba36f23092756eff09063b50058a0851a19982ce5dfa7df871","observation_id":"1a551621-20a9-4204-bf82-df985f73a3c0","resolution":{"observed_at":"2026-08-12T20:59:29.757352Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.713533Z","title":"Xscope: Hunting for cross-chain bridge attacks","venue":null,"work_id":"a9b03c56-1dd5-4540-baf8-845701c3afc3","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.757177Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:56537f22571490c8b370f1d1701012e8c19a02dd2e045e26d0e66d4fb45ecead","observation_id":"f9642e21-fb7a-4522-a42c-bdeba169a54f","resolution":{"observed_at":"2026-08-12T20:59:29.724685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.669751Z","title":"Machine learning topological invariants with neural networks","venue":null,"work_id":"bfdb979f-3563-4af6-afa1-449e630d2d37","year":null},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.768969Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:14f9463c56e7370de669da210bea3c34cd0ad7f427e94a800627b4a9e3b29b92","observation_id":"6be8b841-7267-4e7f-8abe-668a84ff2b7d","resolution":{"observed_at":"2026-08-12T20:59:29.688546Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.633896Z","title":"Opt: Open pre-trained transformer language models","venue":null,"work_id":"c32c3a3e-f712-46c7-9bc9-50005753529e","year":2022},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.784864Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:ddf7010af656dab16c078579a7303a8c12d37a2bb67d68283a872f0abd42120d","observation_id":"2af46c56-ae94-4658-9a59-c41a9f51f976","resolution":{"observed_at":"2026-08-12T20:59:29.642953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.607766Z","title":"Generalized cross entropy loss for training deep neural networks with noisy labels","venue":null,"work_id":"0b08c39e-fcf9-45a4-ac87-a22631558c37","year":2018},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.791742Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:d2d2a2f3e62cb4cc2b45c54ded44acdb56fb43b4b2f45254ac84b0d18d4eb599","observation_id":"0f45f71d-afa9-4ead-95b2-0c5df32751ef","resolution":{"observed_at":"2026-08-12T20:59:29.613644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.574614Z","title":"Demystifying exploitable bugs in smart contracts","venue":null,"work_id":"3e483609-68de-4dee-81bf-f742f8b08398","year":2023},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.801205Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:5a93c8e7a8623c8764a400312a3cff606545b984b11a013d4c865295607ca19f","observation_id":"e951b741-4817-4081-9cfe-575371478f21","resolution":{"observed_at":"2026-08-12T20:59:29.583227Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:59:29.542090Z","title":"Smart contract vulnerability detection using graph neural networks","venue":null,"work_id":"e38a014e-0941-4136-b2b9-5f5b14897ebf","year":2020},"citing_paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-12T20:59:28.808024Z"},"links":{"citing_paper":"/paper/2411.09217"},"observation_digest":"sha256:9ba47f74155ab64510e7d3a8b6123834ccceec1bb625341f2be218415a9545c0","observation_id":"0eb4c2ea-e66d-470a-9799-1f5d07e36266","resolution":{"observed_at":"2026-08-12T20:59:29.554914Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.09217","last_updated":"2024-11-14T06:28:57Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-14T06:56:12.128350Z","submitted_at":"2024-11-14T06:28:57Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference"},"reference_resolution":{"displayed":91,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":25,"verified_exact":1,"verified_fuzzy":65},"total_outbound_references":91},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 91 of 91 outbound references and 1 inbound Pith citation observation for arXiv:2411.09217."}