Huaqing Yuan

huaqingyuan's activity

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

upvoted a paper 2 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

Paper • 2605.17283 • Published 4 days ago • 29

upvoted a paper 3 months ago

Large-Scale Terminal Agentic Trajectory Generation from Dockerized Environments

Paper • 2602.01244 • Published Feb 1 • 16

upvoted a collection 3 months ago

TerminalTraj

Collection

Including TerminalTraj's data, models, and paper • 5 items • Updated Mar 13 • 5

upvoted 2 papers about 1 year ago

IV-Bench: A Benchmark for Image-Grounded Video Perception and Reasoning in Multimodal LLMs

Paper • 2504.15415 • Published Apr 21, 2025 • 23

COIG-P: A High-Quality and Large-Scale Chinese Preference Dataset for Alignment with Human Values

Paper • 2504.05535 • Published Apr 7, 2025 • 44