Ye Yuan

shizue's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored 5 papers almost 2 years ago

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

Measuring Vision-Language STEM Skills of Neural Models

Paper • 2402.17205 • Published Feb 27, 2024

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