Agents at work 17: When Logic Meets AI w/ Rodrigo Stevaux
From Agents at work by Jordi Montes (Fewsats)
October 9, 2025 · 48 min · Season 1 · Episode 17
About this episode
Jordi Montes and Rodrigo Stevaux discuss the convergence of logic, formal methods, and AI, exploring how to make AI agents reason more effectively.
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.
People in this episode
Host: Jordi Montes
Guest: Rodrigo Stevaux
Topics covered
- AI
- logic programming
- formal methods
- symbolic reasoning
- neuro-symbolic AI
- agent design
Keywords
- formal methods
- AI agents
- logic programming
- symbolic reasoning
- neuro-symbolic AI
- graph databases
- state machines
Mentioned in this episode
Organizations: Prolog, LLMs
More episodes of Agents at work
- Agents at work 21: Your next co-founder is an AI agent w/ Ben (Polsia) · February 19, 2026 · 59 min
- Agents at Work 20: “Bash Is All Your Agent Needs” w/ Yunfan (Yutori) · January 22, 2026 · 54 min
- Agents at Work 19: Unlocking Enterprise Data Access Through Integrations w/ Gil Feig (Merge) · December 22, 2025 · 55 min
- Agents at work 18: AI Translation at Enterprise Scale w/ Olga Beregovaya (Smartling) · November 20, 2025 · 53 min
- Agents at Work 16: What LLMs are looking for with Thais Castello (Exa.ai) · July 31, 2025 · 59 min
- Agents at Work 15: The Voice of AI Agents w/ Tom Shapland (LiveKit) · July 24, 2025 · 47 min
Explore listener stats, chart rankings, contacts and more on the Agents at work podcast page.