Zhai Pengyi
zhaiGOGO
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
24 days ago
DeepSeek-OCR: Contexts Optical Compression
upvoted
a
paper
5 months ago
Mathesis: Towards Formal Theorem Proving from Natural Languages
liked
a model
9 months ago
qihoo360/TinyR1-32B-Preview
Organizations
