minghao's picture

minghao

Liam-Liu

·

liam-liu-1b262631a

AI & ML interests

LLM, AD

Recent Activity

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

View all activity

Organizations

liked a dataset 10 months ago

2077AIDataFoundation/VeriWeb

Viewer • Updated Jan 21 • 302 • 2.49k • 27

liked a model 12 months ago

DMindAI/DMind-1

Text Generation • 33B • Updated May 24, 2025 • 24 • 22

liked a model about 1 year ago

deepseek-ai/DeepSeek-Prover-V2-671B

Text Generation • 685B • Updated Apr 30, 2025 • 698 • • 829

liked a dataset about 1 year ago

DMindAI/DMind_Benchmark

Viewer • Updated Feb 8 • 3.15k • 1.94k • 82