Lan Zhang's picture

Lan Zhang

lanzhang128

AI & ML interests

None yet

Recent Activity

updated a dataset about 2 months ago

lanzhang128/Definition-Autoformalization

published a dataset about 2 months ago

lanzhang128/Definition-Autoformalization

View all activity

Organizations

None yet

models 0

None public yet

datasets 1

lanzhang128/Definition-Autoformalization

Viewer • Updated Nov 4 • 86 • 33