Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
3
36
4
minghao
Liam-Liu
Follow
Gargaz's profile picture
WorldWideServer's profile picture
JierunChen's profile picture
27 followers
·
19 following
liam-liu-1b262631a
AI & ML interests
LLM, AD
Recent Activity
authored
a paper
10 days ago
WebCompass: Towards Multimodal Web Coding Evaluation for Code Language Models
upvoted
a
paper
20 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
published
a dataset
about 2 months ago
2077AIDataFoundation/KINA
View all activity
Organizations
Liam-Liu
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
commented
a paper
10 months ago
VeriGUI: Verifiable Long-Chain GUI Dataset
Paper
•
2508.04026
•
Published
Aug 6, 2025
•
164
•
5
New activity in
m-a-p/COIG-Writer
about 1 year ago
Create README.md
#1 opened about 1 year ago by
Liam-Liu
Create README.md
#1 opened about 1 year ago by
Liam-Liu