Wen-Ding Li's picture

Wen-Ding Li

xu3kev

·

http://cs.cornell.edu/~wdli

AI & ML interests

Code generation

Organizations

xu3kev 's datasets 6

xu3kev/lean_blueprint_data

Viewer • Updated Apr 10, 2025 • 161 • 27 • 1

xu3kev/qwq_numinamath

Viewer • Updated Jan 12, 2025 • 64.6k • 16 • 1

xu3kev/barc_v0.0.3

Viewer • Updated Aug 22, 2024 • 2.85k • 24

xu3kev/proof-pile-2-proofsteps

Viewer • Updated Oct 28, 2023 • 264k • 43 • 1

xu3kev/BIRD-SQL-data-train

Viewer • Updated Oct 12, 2023 • 9.43k • 1.01k • 14

xu3kev/BIRD-SQL-data

Viewer • Updated Oct 12, 2023 • 200 • 196 • 1