maoliyuan's picture

1

maoliyuan

maoliyuan

maoliyuan

AI & ML interests

None yet

Organizations

None yet

models 0

None public yet

datasets 6

maoliyuan/filtered-goedel-proofs

Viewer • Updated Jun 26, 2025 • 326k • 4

maoliyuan/filtered-lean-workbook-proofs

Viewer • Updated Jun 25, 2025 • 28.6k • 3

maoliyuan/standard-lean-workbook-proofs

Viewer • Updated Jun 25, 2025 • 29.7k • 11

maoliyuan/filtered-deepseek-v1-proofs

Viewer • Updated Jun 25, 2025 • 27.4k • 1

maoliyuan/standard-goedel-proofs

Viewer • Updated Jun 24, 2025 • 368k

maoliyuan/standard-deepseek-v1-proofs

Viewer • Updated Jun 24, 2025 • 27.5k • 1