TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models Paper • 2310.10180 • Published Oct 16, 2023 • 1
FIMO: A Challenge Formal Dataset for Automated Theorem Proving Paper • 2309.04295 • Published Sep 8, 2023 • 1
Preparing Lessons for Progressive Training on Language Models Paper • 2401.09192 • Published Jan 17, 2024
Reusing Pretrained Models by Multi-linear Operators for Efficient Training Paper • 2310.10699 • Published Oct 16, 2023