Kaj Bostrom

17 papers A* 3Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Generating Data-Driven Reasoning Rubrics for Domain-Adaptive Reward Modeling.
CoRR
Kate Sanders, Nathaniel Weir, Sapana Chaudhary, Kaj Bostrom, Huzefa Rangwala
2026 J jnl
MaxCode: A Max-Reward Reinforcement Learning Framework for Automated Code Optimization.
CoRR
Jiefu Ou, Sapana Chaudhary, Kaj Bostrom, Nathaniel Weir, Shuai Zhang, Huzefa Rangwala, George Karypis
2026 J jnl
ReSyn: Autonomously Scaling Synthetic Environments for Reasoning Models.
CoRR
Andre He, Nathaniel Weir, Kaj Bostrom, Allen Nie, Darion Cassel, Sam Bayless, Huzefa Rangwala
2025 J jnl
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks.
CoRR
Yu Feng, Nathaniel Weir, Kaj Bostrom, Sam Bayless, Darion Cassel, Sapana Chaudhary, Benjamin Kiesl-Reiter, Huzefa Rangwala
2024 A* conf
Language-to-Code Translation with a Single Labeled Example.
EMNLP
Kaj Bostrom, Harsh Jhamtani, Hao Fang, Sam Thomson, Richard Shin, Patrick Xia, Benjamin Van Durme, Jason Eisner, Jacob Andreas
2024 A* conf
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning.
ICLR
Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
2023 J jnl
Deductive Additivity for Planning of Natural Language Proofs.
CoRR
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
2023 J jnl
Lil-Bevo: Explorations of Strategies for Training Language Models in More Humanlike Ways.
CoRR
Venkata Subrahmanyan Govindarajan, Juan Diego Rodriguez, Kaj Bostrom, Kyle Mahowald
2023 J jnl
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning.
CoRR
Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
2022 — conf
Natural Language Deduction through Search over Statement Compositions.
EMNLP (Findings)
Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett
2022 J jnl
Natural Language Deduction through Search over Statement Compositions.
CoRR
Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett
2022 A* conf
Natural Language Deduction with Incomplete Information.
EMNLP
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
2022 J jnl
Natural Language Deduction with Incomplete Information.
CoRR
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
2021 — conf
Flexible Generation of Natural Language Deductions.
EMNLP (1)
Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, Greg Durrett
2021 J jnl
Flexible Operations for Natural Language Deduction.
CoRR
Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, Greg Durrett
2020 — conf
Byte Pair Encoding is Suboptimal for Language Model Pretraining.
EMNLP (Findings)
Kaj Bostrom, Greg Durrett
2020 J jnl
Byte Pair Encoding is Suboptimal for Language Model Pretraining.
CoRR
Kaj Bostrom, Greg Durrett