https://www.chainsecurity.com/right-round/
RightRound: LLM-Guided SMT Solving for Arithmetic-Precision Bugs in DeFi | ChainSecurity
Franco Sainas's EPFL master's thesis, supervised at ChainSecurity: LLM-guided SMT solving to find arithmetic-precision bugs in DeFi smart contracts. Download...
arithmetic precisionbugs inllmguidedsmt