AlphaIntegrator: 심볼릭 적분 증명을 위한 트랜스포머 기반 동작 검색 시스템 (AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs)

본 논문에서는 심볼릭 엔진과 GPT 트랜스포머 모델을 결합하여 수학적 표현식의 적분을 단계별로 증명하는 방법을 제시합니다.