ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
-
GuoxinChen/ConsistencyCheck
Viewer • Updated • 859 • 22 • 3 -
GuoxinChen/ReForm-8B
Text Generation • 8B • Updated • 43 • 3 -
GuoxinChen/ReForm-32B
Text Generation • 33B • Updated • 21 • 2 -
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
Paper • 2510.24592 • Published • 49
