activity
20222026
most citedLarge Language Models Struggle to Learn Long-Tail Knowledge

96 citations · 100 across the 8 of their papers we have counts for

collaborators
Showing 2026 · cs.CLShow all

1 paper · 2 filters

cs.CL2026

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

Eric Jiang, Xiao Liang, Yikai Zhang +19

Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in formal proof generation for we…