arxiv:2509.04292
Jiaheng Liu
CheeryLJH
AI & ML interests
None yet
Recent Activity
upvoted a paper about 16 hours ago
Artifact-Bench: Evaluating MLLMs on Detecting and Assessing the Artifacts of AI-Generated Videos upvoted a paper 1 day ago
OProver: A Unified Framework for Agentic Formal Theorem Proving submitted a paper 1 day ago
OProver: A Unified Framework for Agentic Formal Theorem ProvingOrganizations
models 0
None public yet
datasets 0
None public yet