Rethinking Autoformalization
Collection
Models for "Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach" • 10 items • Updated • 1
Qinghua Zhou PRO
qinghua-zhou
·
AI & ML interests
Deep learning, machine learning, few-shot learning, continuous learning, etc.
Recent Activity
upvoted a collection 17 days ago
Rethinking Autoformalization authored a paper 4 months ago
Stealth edits for provably fixing or attacking large language models upvoted a paper 4 months ago
Stealth edits for provably fixing or attacking large language modelsOrganizations
upvoted a collection 17 days ago
authored a
paper 4 months ago
upvoted a paper 4 months ago
updated a
Space over 1 year ago
liked a
dataset over 1 year ago
liked a
Space almost 2 years ago