05/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman

Boston Computation Club
08/05/2025 39 min

Listen "05/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman"

Descargar episodio Ver en sitio original

Episode Synopsis

Prashant Anantharaman is a long-time BCC group member and has presented as both a solo researcher and a panelist to prior events. Today he joined us to present some of his work with NARF, to appear at IEEE S&P, on generating grammars for fuzzing using LLMs. This is a super exciting new frontier for LLMs and LangSec generally and his talk was wonderful.

More episodes of the podcast Boston Computation Club

Infecting Generative AI with Viruses - David A. Noever and Forrest McKee 15/09/2025
08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng 15/08/2025
08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang 02/08/2025
07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler 25/07/2025
06/20/25: TypeScript Types Can Run DOOM with Dimitri Mitropoulos 22/06/2025
06/13/25: Gradual Verification with Jenna DiVincenzo 14/06/2025
04/18/25: Descriptive Complexity with Ramit Das 19/04/2025
03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker 05/04/2025
04/04/25: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars with Daniel Melcer 05/04/2025
03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski 08/03/2025
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA