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
