본 논문은 대규모 언어 모델(LLM)의 신뢰성 및 모듈성 부족으로 인해 다단계 추론이 필요한 복잡한 문제 해결에 어려움을 겪는 점을 지적하며, 이를 해결하기 위한 새로운 프로그래밍 패러다임인 "오라클 프로그래밍"을 제안한다. 오라클 프로그래밍은 도메인 전문가가 비결정적 프로그램으로 문제 해결 전략을 표현하고, LLM이 사용자 제공 예시를 통해 선택 지점을 해결하는 방식이다. 전략, 정책, 데모의 세 가지 구성 요소로 이루어져 있으며, 각 요소는 독립적으로 개선 및 교체 가능하도록 설계되어 모듈성과 유연성을 확보한다. 논문에서는 오라클 프로그램의 모듈식 구성 및 구성 요소 간 일관성 유지를 위한 프로그래밍 언어 설계 과제를 다룬다.