Wen-Ding Li's picture

5 1 12

Wen-Ding Li PRO

xu3kev

·

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

AI & ML interests

Code generation

Organizations

xu3kev 's datasets 6

xu3kev/lean_blueprint_data

Viewer • Updated Apr 10 • 161 • 29 • 1

xu3kev/qwq_numinamath

Viewer • Updated Jan 12 • 64.6k • 32 • 1

xu3kev/barc_v0.0.3

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

xu3kev/proof-pile-2-proofsteps

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

xu3kev/BIRD-SQL-data-train

Viewer • Updated Oct 12, 2023 • 9.43k • 451 • 9

xu3kev/BIRD-SQL-data

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