Huaqing Yuan

huaqingyuan's activity

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

upvoted a paper 9 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

Paper • 2605.17283 • Published 11 days ago • 30

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

published a Space 6 months ago

No application file

Agents

Mllmunlearn

🐨

upvoted a paper 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

authored a paper about 1 year ago

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

Paper • 2504.05535 • Published Apr 7, 2025 • 44

upvoted a paper about 1 year ago

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

Paper • 2504.05535 • Published Apr 7, 2025 • 44