The prospect of large models participating in the formal verification of smart contracts

Anthropic released SCONE-bench quantitative smart contract for financial losses

Anthropic, MATS, and Anthropic Fellows program scholars have released their latest research evaluating the attack capabilities of cutting-edge AI mode...