프로그래밍을 위한 기계학습 @ KAIST

Group image

개요

주제: 프로그래밍을 위한 기계학습
일시: 2023년 7월 11일 (화) 15-18시
장소: KAIST E3-1 4443 (오상수 강의실)
언어: 한국어

소개

요즘 각광받는, 프로그래밍을 위한 기계학습에 대해 다소 비격식적으로 이야기를 나눌 수 있는 워크샵을 개최합니다. 이미 완성된 연구, 진행중인 연구, 아이디어, 질문, … 등 다양한 이야기를 나눌 예정입니다. 희망하기로는 새로운 연구 주제도 발굴해서 프로젝트를 시작할 수 있으면 더 좋을 것 같습니다. 많은 분들께서 참여해셔서 다양한 이야기를 해주실 수 있으시면 정말 감사드리겠습니다. (추가로 발표를 희망하시는 경우 이메일을 통해 알려주시면 정말 감사드리겠습니다.)

간단한 다과가 준비될 예정이며, 희망하는 분들은 저녁 식사도 같이 할 수 있도록 하겠습니다.

발표

시간	제목	발표자
15:00-15:05 (5분)	개회사	강지훈
15:05-15:20 (15분)	지피티지기면 백전불태	허기홍
15:20-15:50 (30분)	언어 모델을 활용해 함수 시그니처를 현대화하는 C로부터 러스트로의 번역	홍재민
15:50-16:20 (30분)	Large ML models and probabilistic programming	양홍석
16:20-16:30 (10분)	휴식
16:30-16:40 (10분)	개발자를 위한, 언어모델에 의한 자동 디버깅 방법론	강성민
16:40-17:10 (30분)	정적 분석이 가르치는 안전한 프로그램 생성 모델	류연희
17:10-17:40 (30분)	Learning Augmented Algorithm with Statistical Guarantee	김태영
17:40-17:45 (5분)	사진 촬영