Nick Haber
Nick Haber has 4 papers in our library, in 2023–2025, most of them on Language models & pretraining, Reasoning; often with Gabriel Poesia, Noah D. Goodman, Alon Albalak.
OpenAlex · ORCID · Wikidata · h-index 27 · 146 works · 2,689 citations OpenAlex, 2026-10-14
📄 4 works in our library · 🔗 Cited 198 times in our library · 9 more in our library without a page yet · ⭐ Paper Stars ranking: #7650
Affiliations
Fields, topics and concepts
📚 Shelves 12The field of science this work belongs to (OpenAlex fields).Computer Science · 4 worksArtificial Intelligence · 4 worksArts and Humanities · 3 worksLanguage and Linguistics · 3 worksMathematics · 1 workApplied Mathematics · 1 workComputational Theory and Mathematics · 1 workEducation · 1 workExperimental and Cognitive Psychology · 1 workPsychology · 1 workSocial Sciences · 1 workInformation Systems · 1 work
🧭 Topics 2Research subjects and languages the work is about.Language models & pretraining · 2 worksReasoning · 2 works
Works by year
2020s
Papers
- Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions (2023 · 56 citations)
Large language models that write code tend to break down on long, multi-step tasks, because a single wrong token can ruin an entire program. - Big-Math: A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models (2025 · 43 citations)
Reinforcement learning for reasoning in LLMs needs math problems whose answers can be checked automatically. - Learning Formal Mathematics From Intrinsic Motivation (2024 · 23 citations)
Most AI theorem provers depend on human-written formal proofs, which are scarce. They are also evaluated on fixed problem sets chosen by people. This paper asks whether an agent can build mathematical skill from a domain's axioms alone, deciding for itself which statements to work on. The authors present MINIMO, in… - ResearchCodeBench: Benchmarking LLMs on Implementing Novel Machine Learning Research Code (2025 · 16 citations)
Can LLMs turn genuinely new ML ideas, ones published after their training data was gathered, into working code? ResearchCodeBench tests this with an execution-based benchmark built from 20 recent machine learning papers.
All works
- Holodeck: Language Guided Generation of 3D Embodied AI Environments ↗IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · no summary yetYue Yang et al.2024 · 115 citations
- Parsel: Algorithmic Reasoning with Language Models by Composing DecompositionsConference on Neural Information Processing Systems (NeurIPS)Eric Zelikman, Qian Huang, Gabriel Poesia, et al.2023 · 56 citations
- Big-Math: A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language ModelsarXiv:2502.17387Alon Albalak, Duy Phung, Nathan Lile, et al.2025 · 43 citations
- Learning Formal Mathematics From Intrinsic MotivationConference on Neural Information Processing Systems (NeurIPS)Gabriel Poesia, David Broman, Nick Haber, et al.2024 · 23 citations
- ResearchCodeBench: Benchmarking LLMs on Implementing Novel Machine Learning Research CodeConference on Neural Information Processing Systems (NeurIPS)Tianyu Hua; Harper Hua; Violet Xiang; Benjamin Klieger; Sang T. Truong; Weixin Liang; Fan-Yun Sun;, Nick Haber2025 · 16 citations
- Generating and Evaluating Tests for K-12 Students with Language Model Simulations: A Case Study on Sentence Reading Efficiency ↗Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing · no summary yetEric Zelikman et al.2023 · 16 citations
- Learning Next Action Predictors from Human-Computer Interaction ↗arXiv (Cornell University) · no summary yetOmar Shaikh et al.2026 · 3 citations
- ContextRef: Evaluating Referenceless Metrics For Image Description Generation ↗arXiv (Cornell University) · no summary yetElisa Kreiss et al.2023 · 3 citations
- Just One Byte (per gradient): A Note on Low-Bandwidth Decentralized Language Model Finetuning Using Shared Randomness ↗arXiv (Cornell University) · no summary yetEric Zelikman et al.2023 · 3 citations
- When Models Know More Than They Can Explain: Quantifying Knowledge Transfer in Human-AI Collaboration ↗neural information processing systems · no summary yetQuan Shi et al.2025 · 2 citations
- Data-efficient pre-training by scaling synthetic megadocs ↗arXiv (Cornell University) · no summary yetKonwoo Kim et al.2026 · 1 citation
- DelusionEval: Measuring Delusion-Linked Behaviors in AI Chatbots ↗arXiv (Cornell University) · no summary yetJared Moore et al.2026
- Neural Nonmyopic Bayesian Optimization in Dynamic Cost Settings ↗arXiv (Cornell University) · no summary yetSang Truong et al.2026
Co-authors here
- Gabriel Poesia ×2
- Noah D. Goodman ×2
- Alon Albalak
- Anikait Singh
- Chase Blagden
- Dakota Mahan
- David Broman
- Duy Phung
- Eric Zelikman
- Kanishk Gandhi
- Louis Castricato
- Nathan Lile
Venues
- Conference on Neural Information Processing Systems (NeurIPS) ×3: NeurIPS 2025, NeurIPS 2024, NeurIPS 2023
- IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings
- Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing
- neural information processing systems
Cited by
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/authors/nick-haber/