ReForm - a GuoxinChen Collection

GuoxinChen 's Collections

ReForm

SEER

ReForm

updated 21 days ago

ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization

GuoxinChen/ConsistencyCheck

Viewer • Updated 19 days ago • 859 • 62 • 4
GuoxinChen/ReForm-8B

Text Generation • 8B • Updated 19 days ago • 86 • 3
GuoxinChen/ReForm-32B

Text Generation • 33B • Updated 19 days ago • 38 • 2
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization

Paper • 2510.24592 • Published 21 days ago • 51