• 9:45 AM - 10:30 AM, SALA A2

• 24 Octubre 2025

Minimize AI hallucinations with up to 99% accuracy with Automated Reasoning Checks

In this talk, we will dive into innovative methods to minimize AI hallucinations and significantly improve the accuracy of generative AI models through automated reasoning checks. As AI systems become increasingly prevalent across industries, ensuring the reliability and trustworthiness of their outputs is more critical than ever.

Traditional AI models often produce plausible but incorrect information—known as hallucinations—posing challenges especially in regulated sectors where precision is essential. We will explore how formal verification and automated reasoning techniques can be integrated into AI workflows to systematically validate outputs against domain-specific rules.

This approach goes beyond probabilistic models by providing mathematically rigorous guarantees, enabling detection and prevention of factual inaccuracies with up to 99% verification accuracy.

Attendees will learn about the practical implementation of these automated reasoning checks, how they enhance AI guardrails, and the benefits of embedding them into AI services such as those offered on cloud platforms. The session will highlight real-world use cases and best practices for deploying AI solutions that demand high compliance, safety, and trust.

Whether you're developing AI for finance, healthcare, or any domain where data integrity is paramount, this talk will equip you with the knowledge to build more reliable, verifiable, and responsible AI systems.

Speaker

Gerardo Castro Arica - AWS Security Hero. Hablemos de seguridad en la nube en español.

Gerardo Castro — AWS Security Hero — es un promotor de la seguridad en la nube en Latinoamérica. Tras liderar una intensa labor comunitaria principalmente en Perú, y luego extendiéndose en países como Argentina y Chile y resto de la región latinoamericana, fue reconocido como el primer AWS Security Hero de Hispanoamérica.

Es fundador y líder de AWS Security Latam, una comunidad de más de 5,000 miembros dedicada a difundir buenas prácticas y oportunidades en seguridad cloud. Gerardo también creó acloudsecurity.ninja, una plataforma 100% gratuita y de código abierto que enseña seguridad en la nube usando servicios de AWS.