Chenfeng Wei is a PhD student at the University of Manchester, where he researches formal guarantees for large language models. Today he joined us to talk about his latest work exploring bugs in smart-contracts. This is a really interesting project at the intersection of explainable AI, smart contract debugging/security, and cybersecurity/symbolic analysis, and I hope you enjoy it as much as we did!
AI Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
An Extremely Short Proof of the Hairy Ball Theorem with Peter McGrath
Logic.py: Bridging the Gap between LLMs and Constraint Solvers with Pascal Kesseli
2/17/26: Approximately Aligned Decoding with Daniel Melcer
02/06/26: Early experiments in FMxAI at Galois with Max von Hippel
Free AI-powered recaps of Boston Computation Club and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.