Solving (some) formal math olympiad problems
신경 정리 증명기를 통해 고등학교 올림피아드 문제를 해결했습니다.
Developed a neural theorem prover that solves high-school olympiad problems.
AI가 선별한 아티클
신경 정리 증명기를 통해 고등학교 올림피아드 문제를 해결했습니다.
Developed a neural theorem prover that solves high-school olympiad problems.