chen

Cay0516's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a collection about 1 month ago

ReForm

Collection

ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization • 4 items • Updated Oct 29 • 4