Hugging Face's logo
Wen-Ding Li's picture
5 1 12

Wen-Ding Li PRO

xu3kev
Liyew's profile picture 21world's profile picture StringChaos's profile picture
·
http://cs.cornell.edu/~wdli

AI & ML interests

Code generation

Recent Activity

authored a paper about 15 hours ago
M1: Towards Scalable Test-Time Compute with Mamba Reasoning Models
updated a dataset 6 days ago
xu3kev/lean_blueprint_data
published a dataset 6 days ago
xu3kev/lean_blueprint_data
View all activity

Organizations

BigCode's profile picture Ontocord's M*DEL's profile picture CompVis Community's profile picture Live Code Bench's profile picture BARC's profile picture nerual-solomonoff-induction's profile picture

xu3kev's activity

No public activity