Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T20:59:28.808024Z
Paper Citation Record · LEDGER
SmartInv: Multimodal Learning for Smart Contract Invariant Inference
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-05-12T04:28:34.082401Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-12T06:16:24.789073Z
Reference resolution
91 of 91 outbound references displayed
- verified exact1
- verified fuzzy65
- unresolved25
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 877bfbb3-9847-4c57-85b8-7db448300e26 · outbound
This paper cites an unresolved cited work.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.733865Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 33a6bba4-1683-4d0f-b7c5-1349599055ba · outbound
This paper cites an unresolved cited work.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.750067Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0365790f-87a3-4b2b-96c3-3924a6fe0b25 · outbound
This paper cites an unresolved cited work.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.766216Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eae53387-0189-4e31-bb7a-414240cecefe · outbound
This paper cites an unresolved cited work.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.774650Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3fe41a03-ca79-43aa-9988-21dc98ec0301 · outbound
This paper cites an unresolved cited work.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.784232Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 156f1334-e631-47ed-9569-a56a649dfe71 · outbound
This paper cites SMT-based verification of solidity smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference SMT-based verification of solidity smart contracts
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.795167Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d8535c7b-c8f1-4fcb-8913-e33289e7c867 · outbound
This paper cites Eth2vec: learning contract-wide code representations for vulnerability detection on ethereum smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Eth2vec: learning contract-wide code representations for vulnerability detection on ethereum smart contracts
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.806699Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 32ee1c96-e6fc-46b0-acd1-75c43fddcb5a · outbound
This paper cites The use of likely invariants as feedback for fuzzers.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference The use of likely invariants as feedback for fuzzers
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.819189Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e864a028-2fa0-457d-9fe1-06834578e1fa · outbound
This paper cites Two vulnerabilities in one function — the analysis of visor finance exploit.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Two vulnerabilities in one function — the analysis of visor finance exploit
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.826689Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cb08afa4-bb2a-457a-b015-bbe990adc1f2 · outbound
This paper cites Sailfish: Vetting smart contract state- inconsistency bugs in seconds.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Sailfish: Vetting smart contract state- inconsistency bugs in seconds
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.836124Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 265b5740-e5f4-48fb-99c6-7c449c853ea0 · outbound
This paper cites Ethainter: a smart contract security analyzer for composite vulnerabilities.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Ethainter: a smart contract security analyzer for composite vulnerabilities
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.846242Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d534e610-4394-4f03-8b0c-98867cc8518a · outbound
This paper cites Rich: Automatically protecting against integer-based vulnerabilities.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Rich: Automatically protecting against integer-based vulnerabilities
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.958115Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a780749c-02ab-4d2b-a8e7-1efcf724569d · outbound
This paper cites When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.862590Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 97bc7d50-7cbb-476a-9b1f-183043ac51b8 · outbound
This paper cites Decoupling knowledge from memorization: Retrieval-augmented prompt learning.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Decoupling knowledge from memorization: Retrieval-augmented prompt learning
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.909749Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f66254d7-7c9a-4df4-9380-000f9abcf594 · outbound
This paper cites https://github.com/ConsenSys/mythril.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference https://github.com/ConsenSys/mythril
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.842005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fc1fdea4-4a8c-4d36-8854-58ce03defbd2 · outbound
This paper cites Do you still need a manual smart contract audit?.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Do you still need a manual smart contract audit?
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.896214Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f38cba4-0b64-45fa-a477-f3be0d72cb1a · outbound
This paper cites The daikon system for dynamic detection of likely invariants.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference The daikon system for dynamic detection of likely invariants
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.799484Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b0d47e01-d02f-4f4d-bd7e-76372ff9a363 · outbound
This paper cites Slither: a static analysis framework for smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Slither: a static analysis framework for smart contracts
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.772215Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d065b07d-26b1-4b32-9b72-8d8ab8205686 · outbound
This paper cites Post-mortem for vvisr staking contract exploit and upcoming migration.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Post-mortem for vvisr staking contract exploit and upcoming migration
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.724115Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 179da52e-bdd0-4dff-93cd-2a9c955d96e9 · outbound
This paper cites Ethbmc: A bounded model checker for smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Ethbmc: A bounded model checker for smart contracts
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.691260Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d0ee4eb2-e3a5-4709-b5a4-1efd32e164a8 · outbound
This paper cites Defi token visr plunges by 95 Crypto Brief- ing: https://cryptoslate.com/defi-token-visr-plunges-by-95-following-8- million-hack/, 2021.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Defi token visr plunges by 95 Crypto Brief- ing: https://cryptoslate.com/defi-token-visr-plunges-by-95-following-8- million-hack/, 2021
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.660742Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation aedad5bd-3d20-4a5f-81a7-693e23920c45 · outbound
This paper cites How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.629766Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d20851af-892a-45ca-b37c-ad1b726c07a5 · outbound
This paper cites A Survey of Quantization Methods for Efficient Neural Network Inference.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference A Survey of Quantization Methods for Efficient Neural Network Inference
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:27.965237Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b50f947c-4c9b-4572-ac4e-76f4c33c5997 · outbound
This paper cites Timelockcontroller vulnerability in openzeppelin contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Timelockcontroller vulnerability in openzeppelin contracts
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.601661Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9827501e-bb7a-4a0f-ad13-6edf8f4b5d6e · outbound
This paper cites Better language models and their implications.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Better language models and their implications
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.558886Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 25e3a2a3-f1df-42ac-b199-35ad3a937547 · outbound
This paper cites Echidna: effective, usable, and fast fuzzing for smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Echidna: effective, usable, and fast fuzzing for smart contracts
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.526816Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c8da20c2-b69c-4ea6-927a-9c4936937f10 · outbound
This paper cites an unresolved cited work.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T20:59:31.488414Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation dc278238-95bb-4d4a-9209-b0d9000c34fa · outbound
This paper cites An insecurity study of ethereum smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference An insecurity study of ethereum smart contracts
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.450566Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4aa582d4-b80a-4f68-adb2-f89ef4b75432 · outbound
This paper cites Visor finance hack proof of concept.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Visor finance hack proof of concept
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.408374Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0c9bf3c6-db18-4d15-86d2-45006b9827ed · outbound
This paper cites 10 real world use cases for ethereum.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference 10 real world use cases for ethereum
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.362939Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 480f598b-9bb3-414e-b929-8d8f3a68d85d · outbound
This paper cites Discovering invariants via machine learning.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Discovering invariants via machine learning
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.333236Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2f488f76-db09-4c9e-8376-05c8682cf3a8 · outbound
This paper cites solc-verify: A modular verifier for solidity smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference solc-verify: A modular verifier for solidity smart contracts
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.301260Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f6794daa-080b-4af8-8608-0e18edca9a54 · outbound
This paper cites an unresolved cited work.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T20:59:31.262842Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1c6ad2a5-1703-44b6-9010-b866d2492bef · outbound
This paper cites LoRA: Low-Rank Adaptation of Large Language Models.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference LoRA: Low-Rank Adaptation of Large Language Models
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:28.121784Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 77a0d936-4b55-402e-95c8-4c0dddf57ea8 · outbound
This paper cites Zeus: analyzing safety of smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Zeus: analyzing safety of smart contracts
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.231331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 7067c8d3-5df0-4329-a6f4-bc8fe2fd6e59 · outbound
This paper cites Large Language Models are Zero-Shot Reasoners.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Large Language Models are Zero-Shot Reasoners
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:28.140828Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ae15243-2bec-45ca-8bfd-cc3a7e83abd7 · outbound
This paper cites Teether: Gnawing at ethereum to automatically exploit smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Teether: Gnawing at ethereum to automatically exploit smart contracts
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.193544Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0f643c48-8f68-480a-9d48-1d09667288da · outbound
This paper cites Lahiri and Shaz Qadeer.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Lahiri and Shaz Qadeer
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.150501Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 571b3020-65f8-4b1e-ac42-d25474f1aeb2 · outbound
This paper cites Powering the static driver verifier using corral.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Powering the static driver verifier using corral
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.107389Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3876a7c4-09f3-486a-835a-948b4fc9c2c7 · outbound
This paper cites Statically detecting likely buffer overflow vulnerabilities.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Statically detecting likely buffer overflow vulnerabilities
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.062613Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e91532b2-0546-4cf9-b886-b96cccd02aba · outbound
This paper cites A mathematical investigation of hallucination and creativity in gpt models.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference A mathematical investigation of hallucination and creativity in gpt models
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.028514Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c004d533-4fec-4ce6-a635-305c428ad764 · outbound
This paper cites This is boogie 2.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference This is boogie 2
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:31.004013Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation dde7441a-def0-44e8-8db3-3a8923fc6d98 · outbound
This paper cites Reguard: finding reentrancy bugs in smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Reguard: finding reentrancy bugs in smart contracts
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.973214Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 67055ff3-a64c-4f87-b927-e51287dd11d7 · outbound
This paper cites Few-shot parameter-efficient fine-tuning is better and cheaper than in-context learning.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Few-shot parameter-efficient fine-tuning is better and cheaper than in-context learning
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.931982Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8f8f1e3b-794a-474c-af51-532ac3f1fdee · outbound
This paper cites Learning contract invariants using reinforcement learning.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Learning contract invariants using reinforcement learning
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.904063Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a769e9ba-d483-4285-a436-84571b570d92 · outbound
This paper cites Pre-train, prompt, and predict: A systematic survey of prompting methods in natural language processing.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Pre-train, prompt, and predict: A systematic survey of prompting methods in natural language processing
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.861825Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6fc51e10-387f-4ae9-8b62-4da75684ff97 · outbound
This paper cites Invcon: A dynamic invariant detector for ethereum smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Invcon: A dynamic invariant detector for ethereum smart contracts
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.827931Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b8a7d54f-b8de-4654-ae80-04b5104f0c93 · outbound
This paper cites Neucheck: A more practical ethereum smart contract security analysis tool.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Neucheck: A more practical ethereum smart contract security analysis tool
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.784723Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3bbc5a07-1a09-4b82-97c6-a6c01d72c9d6 · outbound
This paper cites Making smart contracts smarter.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Making smart contracts smarter
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.753243Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ab33c5ab-da66-4258-a23f-413d49438b74 · outbound
This paper cites Security vulnerabilities in ethereum smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Security vulnerabilities in ethereum smart contracts
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.732812Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e12e07db-0c46-48e2-8997-bbf0bbe1ec04 · outbound
This paper cites Manticore: A user-friendly symbolic execution framework for binaries and smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Manticore: A user-friendly symbolic execution framework for binaries and smart contracts
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.685414Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8e1ccc0a-5fee-4039-80c5-0cb94a7d96f5 · outbound
This paper cites sfuzz: An efficient adaptive fuzzer for solidity smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference sfuzz: An efficient adaptive fuzzer for solidity smart contracts
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.644926Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a1a8b557-843c-40d6-ba13-3380a0765590 · outbound
This paper cites Finding the greedy, prodigal, and suicidal contracts at scale.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Finding the greedy, prodigal, and suicidal contracts at scale
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.608894Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d7ddf096-fc80-4f99-95d1-624e9e097159 · outbound
This paper cites Finding the greedy, prodigal, and suicidal contracts at scale.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Finding the greedy, prodigal, and suicidal contracts at scale
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.579680Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1c7d8c2a-9a1e-4771-ae0e-0ba37b8789c4 · outbound
This paper cites Static verification of dynamically detected program invariants: Integrating daikon and esc/java.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Static verification of dynamically detected program invariants: Integrating daikon and esc/java
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.550484Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9c0c8b37-04d7-4288-a802-e859120c2370 · outbound
This paper cites Gpt4: https://openai.com/gpt-4.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Gpt4: https://openai.com/gpt-4
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.513850Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 878d40d6-f3bc-4211-a203-c35e47038c59 · outbound
This paper cites Timelockcontroller.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Timelockcontroller
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.467803Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b505d207-0500-4e19-b949-1c5a106a1cbd · outbound
This paper cites Verx: Safety verification of smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Verx: Safety verification of smart contracts
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.432586Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation cdbe4729-d783-4d78-8ee8-94fd3a279ded · outbound
This paper cites The polynetwork hack explained.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference The polynetwork hack explained
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.396316Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8b4d22d4-5377-489b-8bf8-a6eb98ce2536 · outbound
This paper cites Exploring transfer learning with t5: the text-to-text transfer transformer.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Exploring transfer learning with t5: the text-to-text transfer transformer
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.365427Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 358a4a48-3adb-4c7c-8410-c1f4b23f1479 · outbound
This paper cites CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference CLN2INV: Learning Loop Invariants with Continuous Logic Networks
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:28.469567Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc579e3c-c552-4b69-9651-c30ccbc862eb · outbound
This paper cites Pods finance ethereum volatility vault audit #1.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Pods finance ethereum volatility vault audit #1
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.327730Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation be82b0cc-908c-4aef-8f13-9bf513d4fffd · outbound
This paper cites A concurrent perspective on smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference A concurrent perspective on smart contracts
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.299346Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 24e315e9-8a99-4e1a-910c-19312df5f428 · outbound
This paper cites Reentrancy attack: Analysis of visor- finance’s uniswapv3 liquidity protocol hack.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Reentrancy attack: Analysis of visor- finance’s uniswapv3 liquidity protocol hack
Reference 64
- Resolution
- verified exact
- raw_fallback, observed 2026-08-12T20:59:29.295598Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3531e08f-acd0-4c5a-9053-aee4adc554d9 · outbound
This paper cites Smart contract vulnerabilities, attacks and auditing consid- erations.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Smart contract vulnerabilities, attacks and auditing consid- erations
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.256208Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d5a4e6bd-f7fd-41f3-b4f8-244a9ee4ee6a · outbound
This paper cites How long does smart contract audit takes.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference How long does smart contract audit takes
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.221477Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9fa3773c-36ee-4b32-b90d-7f7975f068fa · outbound
This paper cites Smartest: Effectively hunting vulnerable transaction sequences in smart contracts through language model-guided symbolic execution.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Smartest: Effectively hunting vulnerable transaction sequences in smart contracts through language model-guided symbolic execution
Reference 67
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.195067Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 52aa9e08-b554-46f6-b39b-f4c339872d33 · outbound
This paper cites Verismart: A highly precise safety verifier for ethereum smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Verismart: A highly precise safety verifier for ethereum smart contracts
Reference 68
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.159624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a08b6c82-3e32-4349-ac5e-a71bfa4c9d96 · outbound
This paper cites an unresolved cited work.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Unresolved cited work
Reference 69
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T20:59:30.122729Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a8da9997-631d-4c4f-b75e-af2b8804887b · outbound
This paper cites GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:28.568269Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 341fa27e-0859-422c-b978-a075fd47e2bd · outbound
This paper cites Defihacklabs git repository: https://github.com/sunweb3sec/defihacklabs/projects?query=is.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Defihacklabs git repository: https://github.com/sunweb3sec/defihacklabs/projects?query=is
Reference 71
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.097470Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b2362ace-9627-4554-9322-eab23eade60e · outbound
This paper cites Hashimoto.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Hashimoto
Reference 72
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.069799Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4767ffec-7c7a-40aa-8417-e2bb7d8c88ff · outbound
This paper cites Confuzzius: A data dependency-aware hybrid fuzzer for smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Confuzzius: A data dependency-aware hybrid fuzzer for smart contracts
Reference 73
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.034064Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation de200bc4-66b7-4c7a-acd6-e6145be5a0c9 · outbound
This paper cites Osiris: Hunting for integer bugs in ethereum smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Osiris: Hunting for integer bugs in ethereum smart contracts
Reference 74
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:30.004580Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6eb33e99-8c39-42da-8e8c-50ee136788dd · outbound
This paper cites The art of the scam: Demystifying honeypots in ethereum smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference The art of the scam: Demystifying honeypots in ethereum smart contracts
Reference 75
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.968942Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f02d64c8-a7fa-4a67-b0b1-2046062dfa4a · outbound
This paper cites Llama: Open and efficient foundation language models.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Llama: Open and efficient foundation language models
Reference 76
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.931380Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a0fee478-e044-4848-b9ff-6a93a8fea6f7 · outbound
This paper cites Detecting nondeter- ministic payment bugs in ethereum smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Detecting nondeter- ministic payment bugs in ethereum smart contracts
Reference 77
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.901368Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8848fc8a-d461-427d-a0c2-37416200d60e · outbound
This paper cites Formal verification of workflow policies for smart contracts in azure blockchain.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Formal verification of workflow policies for smart contracts in azure blockchain
Reference 78
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.869969Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4cc7437c-7162-4a26-8ab3-b4ea97890783 · outbound
This paper cites Emergent Abilities of Large Language Models.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Emergent Abilities of Large Language Models
Reference 79
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:28.674617Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 805e37af-2967-4146-a366-57ea7d6646e3 · outbound
This paper cites Chain-of-Thought Prompting Elicits Reasoning in Large Language Models.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Chain-of-Thought Prompting Elicits Reasoning in Large Language Models
Reference 80
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:28.682653Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 79a0b12e-8cae-43d0-a341-c92e23fa59a7 · outbound
This paper cites A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT
Reference 81
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:28.692078Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f1f8b99e-cc8c-4db1-a714-16eb785d7374 · outbound
This paper cites DeFiRanger: Detecting Price Manipulation Attacks on DeFi Applications.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference DeFiRanger: Detecting Price Manipulation Attacks on DeFi Applications
Reference 82
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:59:28.700015Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a682e34-eb82-483b-969d-8581f154f4e6 · outbound
This paper cites Finding consensus bugs in ethereum via multi-transaction differential fuzzing.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Finding consensus bugs in ethereum via multi-transaction differential fuzzing
Reference 83
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.839021Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a9945764-1dd1-4d25-ab13-3e1f6cc6b85b · outbound
This paper cites Learning nonlinear loop invariants with gated continuous logic networks.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Learning nonlinear loop invariants with gated continuous logic networks
Reference 84
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.809812Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1a551621-20a9-4204-bf82-df985f73a3c0 · outbound
This paper cites Svchecker: a deep learning-based system for smart contract vulnerability detection.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Svchecker: a deep learning-based system for smart contract vulnerability detection
Reference 85
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.757352Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f9642e21-fb7a-4522-a42c-bdeba169a54f · outbound
This paper cites Xscope: Hunting for cross-chain bridge attacks.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Xscope: Hunting for cross-chain bridge attacks
Reference 86
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.724685Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6be8b841-7267-4e7f-8abe-668a84ff2b7d · outbound
This paper cites Machine learning topological invariants with neural networks.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Machine learning topological invariants with neural networks
Reference 87
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.688546Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2af46c56-ae94-4658-9a59-c41a9f51f976 · outbound
This paper cites Opt: Open pre-trained transformer language models.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Opt: Open pre-trained transformer language models
Reference 88
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.642953Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0f45f71d-afa9-4ead-95b2-0c5df32751ef · outbound
This paper cites Generalized cross entropy loss for training deep neural networks with noisy labels.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Generalized cross entropy loss for training deep neural networks with noisy labels
Reference 89
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.613644Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e951b741-4817-4081-9cfe-575371478f21 · outbound
This paper cites Demystifying exploitable bugs in smart contracts.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Demystifying exploitable bugs in smart contracts
Reference 90
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.583227Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0eb4c2ea-e66d-470a-9799-1f5d07e36266 · outbound
This paper cites Smart contract vulnerability detection using graph neural networks.
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Smart contract vulnerability detection using graph neural networks
Reference 91
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T20:59:29.554914Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Pith citing papers
Observation a45162a8-7e24-4f82-b993-5cee05095543 · inbound
SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications cites this paper.
SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications SmartInv: Multimodal Learning for Smart Contract Invariant Inference
Reference 21
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T06:16:24.808051Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.