Agents at work
Agents at work
Podcast Description
Your front-row seat to the AI agents revolution! Join us as we explore the cutting-edge world of AI agents through in-depth conversations with the pioneers shaping this technology. From breakthrough architectures to practical deployment strategies, we bring you insights from builders, researchers, and innovators who are turning autonomous AI agents from science fiction into reality.
Podcast Insights
Content Themes
The podcast focuses on the integration of AI agents across various sectors including software development, sales operations, and product management. Each episode covers specific case studies and insights, such as exploring the use of Large Language Models in enhancing developer experiences, the challenges of agent deployment in sales, and innovative monitoring tools for AI systems. Episodes emphasize themes like the transformative impact of AI on coding practices and the emerging need for new performance metrics in AI applications.
Your front-row seat to the AI agents revolution! Join us as we explore the cutting-edge world of AI agents through in-depth conversations with the pioneers shaping this technology. From breakthrough architectures to practical deployment strategies, we bring you insights from builders, researchers, and innovators who are turning autonomous AI agents from science fiction into reality.
In this episode of Agents at Work, Jordi Montes sits down with Rodrigo Stevaux to explore how logic, formal methods, and AI are converging. Rodrigo is an economist turned technologist, researcher, and builder.
They discuss:
• How Rodrigo went from venture capital to deep tech and formal verification
• What “formal methods” really are and why proving correctness matters more than testing
• How logic programming (like Prolog) can make AI agents safer, smarter, and more deterministic
• The revival of symbolic reasoning and its link to modern “neuro-symbolic” AI
• Why knowledge bases and graph databases are secretly the same thing
• The missing link between today’s prompt-based agents and tomorrow’s reliable systems
Rodrigo shares his experience bringing old-school rigor to modern AI, from using state machines in agent design to mixing Prolog with LLMs for true reasoning.
Together, they unpack why specification is the new code, and how the next breakthroughs in AI might come not from more data, but from better logic.
If you’ve ever wondered how we can make AI agents reason, not just predict this conversation is a must-listen.
Disclaimer
This podcast’s information is provided for general reference and was obtained from publicly accessible sources. The Podcast Collaborative neither produces nor verifies the content, accuracy, or suitability of this podcast. Views and opinions belong solely to the podcast creators and guests.
For a complete disclaimer, please see our Full Disclaimer on the archive page. The Podcast Collaborative bears no responsibility for the podcast’s themes, language, or overall content. Listener discretion is advised. Read our Terms of Use and Privacy Policy for more details.