Kai Yuan Jeng's picture

Kai Yuan Jeng

ChristianZ97

·

AI & ML interests

None yet

Recent Activity

updated a dataset 1 day ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp

updated a dataset 1 day ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp

updated a dataset 3 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer

View all activity

Organizations

New activity in ChristianZ97/minif2f_test-AlphaRenamed 3 months ago

[bot] Conversion to Parquet

#1 opened 3 months ago by

parquet-converter