#path-finding

13,920개 노드 기반 Graph Search를 통한 수학적 증명 자동화 시스템 구축

I built a system that discovers math proofs by treating them as graph search