ZL's picture

1

ZL

zhliang-work

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 10 days ago

Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning

View all activity

Organizations

zhliang-work 's models

None public yet