검증 가능한 보상을 통한 프로그램 학습: 기호적 역전파

Program Learning with Verifiable Rewards: Symbolic Backpropagation