Hu, Jiewen

2 publications

ICLR 2025 miniCTX: Neural Theorem Proving with (Long-)Contexts Jiewen Hu, Thomas Zhu, Sean Welleck

NeurIPSW 2024 miniCTX: Neural Theorem Proving with (Long-)Contexts Jiewen Hu, Thomas Zhu, Sean Welleck