ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
Paper
•
2510.24592
•
Published
•
16
Minpeng Liao
Decaderan
·
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 2 months ago
ReForm: Reflective Autoformalization with Prospective Bounded Sequence
Optimization
liked
a dataset
about 2 months ago
GuoxinChen/ConsistencyCheck
Organizations
upvoted
a
paper
about 2 months ago