MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

symgpt
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Link Sources
Related publications