확률적 프로그램의 효율적인 프로그래밍 가능 추론을 위한 증분 계산 (Incremental Computation)

요약

확률적 프로그램의 추론 효율성을 높이기 위해 증분 계산(Incremental Computation)을 적용한 새로운 연구를 소개합니다. $\lambda$-calculus를 기반으로 밀도 함수 계산을 구성적으로 증분화하여, 비모수 모델을 포함한 몬테카를로 추론 알고리즘의 속도를 크게 개선했습니다.

핵심 포인트

• 증분 계산을 통한 확률적 프로그램의 추론 가속화
• $\lambda$-calculus 기반의 구성적 증분화 기술 개발
• 비모수 모델 지원 및 몬테카를로 추론 성능 향상
• 밀도 계산과 증분화 단계 분리를 통한 정확성 확보
• Julia 프로토타입 구현 및 점근적 실행 시간 개선 확인