Jui-Hui Chung
juihuichung
AI & ML interests
None yet
Recent Activity
published a dataset about 2 months ago
juihuichung/awakening-proofnet-runs published a dataset about 2 months ago
juihuichung/awakening-leansearch-v4.9.0 updated a dataset about 2 months ago
juihuichung/awakening-leansearch-v4.9.0Organizations
The dataset fails to pass the lean4-server check.
3
#4 opened 9 months ago
by 
Sz1029