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