코멘트 등록

모든 코멘트는 발표 전날 18:00에 이메일로 공지됩니다. 그 전까지는 다른 사람의 코멘트를 볼 수 없습니다. 소신껏 코멘트해 주시길 바랍니다.

괄호 안의 사람들이 코멘터입니다.

등록 양식

발표자:	Chaehwan Shin
날짜:	2026-08-21
제목:	AI를 활용한 안전한 정적 분석기 생성 — 구현의 하한을 보장하는 방법 —
요약:
2026년 8월 21일 발표에서는 AI를 활용해 생성한 정적 분석기 구현의 하한을 보장하는 방법에 관한 연구를 소개하고자 합니다. Lean 4 등의 증명 보조기로 안전성 명제를 표현하고 AI가 정적 분석기를 구현할 때 해당 명제도 같이 증명하도록 시키면 구현된 정적 분석기의 안전성을 항상 보장할 수 있습니다. 하지만 이 과정에서 AI가 안전성 명제를 쉽게 증명하고자 가장 안전한, 즉 쓸모없는 구현을 사용할 수 있습니다. 이를 막기 위해 AI의 구현의 하한을 보장할 방법이 필요합니다. 이 발표에서는 항상 보편적으로 사용할 수 있는 하한을 소개할 것입니다. 단조 함수의 안전한 요약 사이에 점별 순서를 부여하면 요약의 최솟값이 인간이 바라는 최선의 요약이 됩니다. 발표에서는 이와 비슷하게 최적의 요약을 정의하고 이의 성질을 확인한 후 AI가 최적의 요약을 구현하도록 강제한 결과를 살펴볼 것입니다.
메모:	등록된 메모가 없습니다.
코멘트: