{"podcast":{"title":"Boston Computation Club","slug":"boston-computation-club-4031660","podcast_index_feed_id":4031660,"rss_url":"https://anchor.fm/s/5eee01ac/podcast/rss","website_url":"https://podcasters.spotify.com/pod/show/bostoncc","image_url":"https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/15826563/15826563-1623263635731-99a8ec66007e4.jpg","author":"Max von Hippel","episode_count":89,"summary":"The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.","last_synced_at":"2026-09-08T12:21:35.234206+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660"},"episode":{"title":"VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods, Chenfeng Wei","slug":"veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei","published_at":"2026-01-17T01:04:29+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei","show_page_url":"https://stenobird.com/podcast/boston-computation-club-4031660","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/VeriExploit-Automatic-Bug-Reproduction-in-Smart-Contracts-via-LLMs-and-Formal-Methods--Chenfeng-Wei-e3dp47u","audio_url":"https://anchor.fm/s/5eee01ac/podcast/play/114118334/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2026-0-17%2F416274329-44100-2-8bb04bdb8410d.mp3","summary":"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!","meta_description":"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…","key_points":[],"chapters":[],"topics":[],"duration_seconds":2518,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"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","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/boston-computation-club-4031660/veriexploit-automatic-bug-reproduction-in-smart-contracts-via-llms-and-formal-methods-chenfeng-wei.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}