Publications
Publications by categories in reversed chronological order.
2025
- preprintFANS – Formal Answer Selection for Natural Language Math Reasoning Using Lean4arXiv preprint arXiv:2503.03238, 2025
- preprintRethinking Diverse Human Preference Learning through Principal Component AnalysisarXiv preprint arXiv:2502.13131, 2025
2024
- preprintEscapeBench: Pushing Language Models to Think Outside the BoxarXiv preprint arXiv:2412.13549, 2024