ruotian peng's picture

ruotian peng

prt66

·

AI & ML interests

None yet

Recent Activity

published a model about 5 hours ago

prt66/Llama3.2-3B-Instruct-SimKO

published a model about 5 hours ago

prt66/Qwen2.5-Math-7B-SimKO

updated a model about 14 hours ago

prt66/Llama3.2-3B-Instruct-SimKO

View all activity

Organizations

authored a paper about 1 year ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published May 5, 2025 • 33

authored a paper almost 2 years ago

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

Paper • 2408.03695 • Published Aug 7, 2024 • 13