Enlin ZHU's picture

Enlin ZHU

Haricot24601
·

AI & ML interests

Onboarding natural language to formal system via LLM

Organizations

models

None public yet

datasets

None public yet