Detecting Bugs with Substantial Monetary Consequences by LLM and Rule-based Reasoning
–Neural Information Processing Systems
Financial transactions are increasingly being handled by automated programs called smart contracts. However, one challenge in the adaptation of smart contracts is the presence of vulnerabilities, which can cause significant monetary loss.
Neural Information Processing Systems
Mar-27-2025, 14:43:25 GMT
- Country:
- North America > United States
- Indiana > Tippecanoe County (0.14)
- Texas > Travis County
- Austin (0.14)
- North America > United States
- Genre:
- Research Report > Experimental Study (1.00)
- Industry:
- Technology: