minghao
Liam-Liu
AI & ML interests
LLM, AD
Recent Activity
upvoted a paper 5 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving authored a paper about 2 months ago
ChartNet: A Million-Scale, High-Quality Multimodal Dataset for Robust Chart Understanding authored a paper about 2 months ago
Justified or Just Convincing? Error Verifiability as a Dimension of LLM QualityOrganizations
