Hugging Face's logo
ZL's picture
1

ZL

zhliang-work
ยท

AI & ML interests

None yet

Recent Activity

upvoted a paper 7 days ago
Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning
View all activity

Organizations

UC Berkeley's profile picture