# VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods, Chenfeng Wei

Page: https://stenobird.com/podcast/boston-computation-club-4031660/veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei
Text version: https://stenobird.com/podcast/boston-computation-club-4031660/veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei.md
Podcast: [Boston Computation Club](https://stenobird.com/podcast/boston-computation-club-4031660)
Published: 2026-01-17T01:04:29+00:00
Episode link: https://podcasters.spotify.com/pod/show/bostoncc/episodes/VeriExploit-Automatic-Bug-Reproduction-in-Smart-Contracts-via-LLMs-and-Formal-Methods--Chenfeng-Wei-e3dp47u
Audio file: https://anchor.fm/s/5eee01ac/podcast/play/114118334/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2026-0-17%2F416274329-44100-2-8bb04bdb8410d.mp3
Processing state: not_requested
JSON: https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei
Duration seconds: 2518

## Resource

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!

## Actions

- request_transcript: `POST https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei/transcription-requests` — Idempotently request low-priority transcript generation for this episode.
- read_markdown: `GET https://stenobird.com/podcast/boston-computation-club-4031660/veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei.md` — Read the agent-friendly Markdown representation of this episode resource.

A page view does not enqueue transcription. Agents should invoke `request_transcript` explicitly when they need this episode processed.

## Transcript

Full transcripts are not published on public pages unless there is a clear rights basis.