Publications

Jiewen Hu, Thomas Zhu, Sean Welleck (2024). miniCTX: Neural Theorem Proving with (Long-) Contexts. The 4th Workshop on Mathematical Reasoning and AI at NeurIPS'24.
PDF Cite Code Dataset URL
Run-Ze Fan, Xuefeng Li, Haoyang Zou, Junlong Li, Shwai He, Ethan Chern, Jiewen Hu, Pengfei Liu (2024). Reformatted Alignment. Findings of the Association for Computational Linguistics: EMNLP 2024.
PDF Cite Code URL