RightRound: LLM-Guided SMT Solving for Arithmetic-Precision Bugs in DeFi

Master's thesis by Franco Sainas, EPFL, August 2026. Supervised at ChainSecurity.