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 • 18

maoliyuan/filtered-lean-workbook-proofs

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

maoliyuan/standard-lean-workbook-proofs

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

maoliyuan/filtered-deepseek-v1-proofs

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

maoliyuan/standard-goedel-proofs

Viewer • Updated Jun 24, 2025 • 368k • 12

maoliyuan/standard-deepseek-v1-proofs

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