Sun Yat-Sen University; Huawei Noah’s Ark Lab; Peking University; City University of Hong Kong; Shenzhen Campus of Sun Yat-Sen University; The Chinese University of Hong Kong
Trigonometric Expression Reduction;Automated Theorem Proving;Formal Mathematical Proof Reduction;Complex Number Combination Reasoning;Generative Language Models
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models