• 강사 : 허기홍 교수 (KAIST 전산학부)
• 일시 : 2026. 5. 18. (월) 16:00~17:30

바야흐로 대 AI 에이전트의 시대이다. 일상의 여러 작업에서부터 수학, 과학, 공학의 전문 분야까지 AI 에이전트가 사람을 대신하며 놀라운 성능을 보여주고 있다. 하지만 신경망에 기반하여 확률적 판단만을 하는 AI 에이전트의 특성상 동작의 신뢰성을 담보하기는 어렵다. 이 문제를 해결하기 위해서는 논리를 바탕으로 하는 검증 시스템과 AI 에이전트가 유기적으로 연결되어야만 한다. 이 발표에서는 이러한 “논리-신경(neuro-symbolic)” 융합 AI 에이전트를 향해 나아가는 두 가지 이야기를 다룬다. 먼저 모바일 앱 자율실행을 위한 AI 에이전트의 행동을 검증하는 시스템을 소개한다. 이어서 코드 생성 에이전트가 만든 프로그램의 신뢰성을 검증하는 시스템을 소개한다. 그리고 이 두 사례를 통해 전통적인 프로그램 분석, 검증 기술이 AI 에이전트의 신뢰성 향상을 위해 적용될 여러 가능성을 함께 논의한다.