Haocheng Ju's picture

Haocheng Ju

hcju

·

j991222

AI & ML interests

None yet

Organizations

hcju 's datasets 16

hcju/wikiformula

Viewer • Updated May 16, 2025 • 4.36k • 87

hcju/stacksqa

Viewer • Updated May 16, 2025 • 12k • 107

hcju/stacksps

Viewer • Updated May 16, 2025 • 17.3k • 16

hcju/realanalysisps

Viewer • Updated May 16, 2025 • 1.02k • 18

hcju/proofwikiqa

Viewer • Updated May 16, 2025 • 18k • 152

hcju/proofwikips

Viewer • Updated May 16, 2025 • 32.6k • 20

hcju/numbertheoryps

Viewer • Updated May 16, 2025 • 230 • 25

hcju/mseqa

Viewer • Updated May 16, 2025 • 68.3k • 44

hcju/mseformula

Viewer • Updated May 16, 2025 • 21.6k • 22

hcju/modup

Viewer • Updated May 16, 2025 • 109k • 63

hcju/mathlibretrieval

Viewer • Updated May 16, 2025 • 125k • 49

hcju/leanps

Viewer • Updated May 16, 2025 • 195k • 19

hcju/isabelleps

Viewer • Updated May 16, 2025 • 525k • 22

hcju/holps

Viewer • Updated May 16, 2025 • 37.6k • 52

hcju/msedup

Viewer • Updated May 16, 2025 • 1.44M • 58

hcju/leansearch_bench

Viewer • Updated May 16, 2025 • 126k • 6