Kai Yuan Jeng's picture

Kai Yuan Jeng

ChristianZ97

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 6 hours ago

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

updated a dataset about 6 hours ago

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

updated a dataset 1 day ago

ChristianZ97/NuminaMath-LEAN-satp-buffer

View all activity

Organizations

ChristianZ97 's models 4

ChristianZ97/satp-policy-goal

Reinforcement Learning • Updated 3 days ago

ChristianZ97/SATP-aesop-policy-xatten

Reinforcement Learning • Updated 12 days ago

ChristianZ97/SATP-aesop-policy

Reinforcement Learning • Updated 24 days ago

ChristianZ97/aesop-policy-v0.1