Guoxin Chen

GuoxinChen's activity

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

New activity in GuoxinChen/ReForm-32B 2 days ago

Add pipeline tag and library name to model card

❤️ 1

#1 opened 2 days ago by

nielsr

New activity in GuoxinChen/ReForm-8B 2 days ago

Add pipeline tag and library name to model card for ReForm

❤️ 1

#1 opened 2 days ago by

nielsr

New activity in GuoxinChen/ConsistencyCheck 2 days ago

Add task categories and descriptive tags to metadata

❤️ 1

#2 opened 2 days ago by

nielsr

commented 2 papers 3 days ago

ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization

Paper • 2510.24592 • Published 5 days ago • 49 •

2

ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization

Paper • 2510.24592 • Published 5 days ago • 49 •

2