Kai Yuan Jeng's picture

Kai Yuan Jeng

ChristianZ97

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 22 hours ago

ChristianZ97/NuminaMath-LEAN-satp-buffer

published a dataset about 22 hours ago

ChristianZ97/NuminaMath-LEAN-satp-buffer

updated a dataset 1 day ago

ChristianZ97/NuminaMath-LEAN-satp-gaps

View all activity

Organizations

ChristianZ97 's models 3

ChristianZ97/SATP-aesop-policy-xatten

Reinforcement Learning • Updated 2 days ago

ChristianZ97/SATP-aesop-policy

Reinforcement Learning • Updated 14 days ago

ChristianZ97/aesop-policy-v0.1