AlgoSkill은 자연어 문제 설명에서 알고리즘을 설계하는 과정을 유형화된 기술 라이브러리를 활용한 순차적 의사 결정으로 모델링합니다. 컴파일, 테스트, 복잡도 분석 피드백을 활용한 몬테카를로 트리 탐색(MCTS) 컨트롤러가 기술 시퀀스를 탐색합니다. 경쟁 프로그래밍 및 조합 최적화 벤치마크에서 AlgoSkill은 기존 LLM 생성 방식보다 성능이 우수합니다.
AlgoSkill은 추상화, 제약 분석, 상태 설계, 자료 구조 선택, 증명 확인, 반례 구성, 복잡도 개선 등 다양한 알고리즘 기술을 포함합니다. 유형화된 기술, 검증 기반 수정, 탐색 기반 스케줄링이 성능 향상에 기여합니다.
연구 결과는 자동 알고리즘 설계를 일회성 코드 생성 대신 검증 지향 기술 스케줄링으로 보는 것을 뒷받침합니다.