minghao
Liam-Liu
AI & ML interests
LLM, AD
Recent Activity
authored a paper about 9 hours ago
WebCompass: Towards Multimodal Web Coding Evaluation for Code Language Models upvoted a paper 11 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving published a dataset about 1 month ago
2077AIDataFoundation/KINAOrganizations
