AI 뉴스 GamePad: A learning environment for theorem proving 2018년 06월 02일 07:00 조회 10 GamePad: A learning environment for theorem proving 원문: https://openai.com/index/gamepad
