FormalMATH

FOMA-colm's activity

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

zhouliang 

updated a collection 11 days ago

Lean4 Dataset

Collection

3 items • Updated 11 days ago

zhouliang 

authored a paper 15 days ago

Chinese Tiny LLM: Pretraining a Chinese-Centric Large Language Model

Paper • 2404.04167 • Published Apr 5, 2024 • 14

happzy2633 

authored a paper 21 days ago

CodeCriticBench: A Holistic Code Critique Benchmark for Large Language Models

Paper • 2502.16614 • Published 23 days ago • 24

zhouliang 

authored a paper about 1 month ago

Generating Symbolic World Models via Test-time Scaling of Large Language Models

Paper • 2502.04728 • Published Feb 7 • 19

prt66 

authored a paper 7 months ago

Openstory++: A Large-scale Dataset and Benchmark for Instance-aware Open-domain Visual Storytelling

Paper • 2408.03695 • Published Aug 7, 2024 • 13