Publications

Jiewen Hu, Thomas Zhu, Sean Welleck (2024). miniCTX: Neural Theorem Proving with (Long-) Contexts. ICLR 2025, Oral.
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 EMNLP 2024.
PDF Cite Code URL