Kai Yuan Jeng's picture

Kai Yuan Jeng

ChristianZ97

AI & ML interests

None yet

Recent Activity

updated a dataset 3 days ago

ChristianZ97/PutnamBench-lean4

published a dataset 3 days ago

ChristianZ97/PutnamBench-lean4

updated a model 4 days ago

ChristianZ97/SATP-aesop-policy

View all activity

Organizations

None yet

New activity in ChristianZ97/minif2f_test-AlphaRenamed 2 months ago

[bot] Conversion to Parquet

#1 opened 2 months ago by

parquet-converter