jokucheng

jokucheng

2

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 11 hours ago

jokucheng/DerivationTree

published a dataset about 16 hours ago

jokucheng/DerivationTree

authored a paper about 1 month ago

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility

View all activity

Organizations

None yet

jokucheng 's datasets 1

jokucheng/DerivationTree

Preview • Updated about 11 hours ago