formalgeo7k

홈페이지 · 논문 3편

6981 SAT-level geometry problem with complete natural language description, geometric shapes, formal language annotations, and theorem sequences annotations.