Kai Yuan Jeng

ChristianZ97
·

AI & ML interests

None yet

Recent Activity

updated a dataset about 22 hours ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp
updated a dataset about 22 hours ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
updated a dataset 2 days ago
ChristianZ97/NuminaMath-LEAN-satp-buffer
View all activity

Organizations

ML intern explorers's profile picture