arxiv:2608.03930
jokucheng
jokucheng
AI & ML interests
None yet
Recent Activity
updated a dataset about 1 month ago
jokucheng/DerivationTree published a dataset about 1 month ago
jokucheng/DerivationTree authored a paper 3 months ago
Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and CompressibilityOrganizations
None yet