इस एपिसोड के बारे में
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!
अंग्रेज़ी
संयुक्त राज्य अमरीका
अनुलिपि 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
पिछले एपिसोड्स खोजें
Boston Computation Club के पिछले एपिसोड खोजें।
इस पॉडकास्ट के अन्य एपिसोड
Today Xiao Mao joined us to discuss his groundbreaking work, Breaking the Sorting Barrier for Directed Single-Source Shortest Paths. It's not every day you beat Djikstra at something. This was a good one. Thank you for talking to us, Xiao!
Max von Hippel is ... me, the organizer and founder of the Boston Computation Club. Today I hosted an extremely informal event to chat about some of the early experiments in FMxAI I was involved with at Galois, two years ago.
Mingwei Zhenga Ph.D. candidate in the Department of Computer Science at Purdue University, advised by Prof. Xiangyu Zhang since 2021. Before that, she received her Bachelor’s degree in Computer Science and Technology from Huazhong University of Science and Technology in 2020. Mingwei's research lie…
David A. Noever and Forrest McKee are researchers at PeopleTec, where they work on problems at the intersection of security, defense, and AI/ML. Today David joined us to present their joint work Infecting Generative AI with Viruses. This was a really great presentation that took a rigorous approa…
अस्वीकरण: इस पृष्ठ पर एम्बेडेड पॉडकास्ट और कलाकृति Max von Hippel से हैं, जो इसके मालिक की संपत्ति है और Listen Notes, Inc. से संबद्ध या समर्थित नहीं है।
संपादित करें
पॉडकास्ट डेटाबेस को अपडेटेड रखने में मदद के लिए धन्यवाद।
