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