ReForm - a GuoxinChen Collection

GuoxinChen 's Collections

ReForm

SEER

ReForm

updated Oct 29

ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization

GuoxinChen/ConsistencyCheck

Viewer • Updated Oct 31 • 859 • 61 • 5
GuoxinChen/ReForm-8B

Text Generation • 8B • Updated Oct 31 • 32 • 4
GuoxinChen/ReForm-32B

Text Generation • 33B • Updated Oct 31 • 14 • 3
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization

Paper • 2510.24592 • Published Oct 28 • 51