Nathaniel Weir

41 papers A* 7A 1B 1Journal 23Unranked 9

Year	Rank	Type	Title / 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
2026	J	`jnl`	VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning. CoRR Vikash Singh, Darion Cassel, Nathaniel Weir, Nick Feng, Sam Bayless
2025	J	`jnl`	A Neurosymbolic Approach to Natural Language Formalization and Verification. CoRR Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao
2025	—	`conf`	Core: Robust Factual Precision with Informative Sub-Claim Identification. ACL (Findings) Zhengping Jiang, Jingyu Zhang, Nathaniel Weir, Seth Ebner, Miriam Wanner, Kate Sanders, Daniel Khashabi, Anqi Liu, Benjamin Van Durme
2025	A*	`conf`	From Models to Microtheories: Distilling a Model's Topical Knowledge for Grounded Question-Answering. ICLR Nathaniel Weir, Bhavana Dalvi Mishra, Orion Weller, Oyvind Tafjord, Sam Hornstein, Alexander Sabol, Peter A. Jansen, Benjamin Van Durme, Peter Clark
2025	A*	`conf`	SELF-[IN]CORRECT: LLMs Struggle with Discriminating Self-Generated Responses. AAAI Dongwei Jiang, Jingyu Zhang, Orion Weller, Nathaniel Weir, Benjamin Van Durme, Daniel Khashabi
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	—	`conf`	"According to . . . ": Prompting Language Models Improves Quoting from Pre-Training Data. EACL (1) Orion Weller, Marc Marone, Nathaniel Weir, Dawn J. Lawrie, Daniel Khashabi, Benjamin Van Durme
2024	J	`jnl`	Core: Robust Factual Precision Scoring with Informative Sub-Claim Identification. CoRR Zhengping Jiang, Jingyu Zhang, Nathaniel Weir, Seth Ebner, Miriam Wanner, Kate Sanders, Daniel Khashabi, Anqi Liu, Benjamin Van Durme
2024	—	`conf`	Defending Against Disinformation Attacks in Open-Domain Question Answering. EACL (2) Orion Weller, Aleem Khan, Nathaniel Weir, Dawn J. Lawrie, Benjamin Van Durme
2024	A*	`conf`	Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic. EMNLP Nathaniel Weir, Kate Sanders, Orion Weller, Shreya Sharma, Dongwei Jiang, Zhengping Jiang, Bhavana Dalvi Mishra, Oyvind Tafjord, Peter A. Jansen, Peter Clark, Benjamin Van Durme
2024	J	`jnl`	Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic. CoRR Nathaniel Weir, Kate Sanders, Orion Weller, Shreya Sharma, Dongwei Jiang, Zhengping Jiang, Bhavana Dalvi Mishra, Oyvind Tafjord, Peter A. Jansen, Peter Clark, Benjamin Van Durme
2024	J	`jnl`	From Models to Microtheories: Distilling a Model's Topical Knowledge for Grounded Question Answering. CoRR Nathaniel Weir, Bhavana Dalvi Mishra, Orion Weller, Oyvind Tafjord, Sam Hornstein, Alexander Sabol, Peter Jansen, Benjamin Van Durme, Peter Clark
2024	A*	`conf`	Learning to Reason via Program Generation, Emulation, and Search. NeurIPS Nathaniel Weir, Muhammad Khalifa, Linlu Qiu, Orion Weller, Peter Clark
2024	J	`jnl`	Learning to Reason via Program Generation, Emulation, and Search. CoRR Nathaniel Weir, Muhammad Khalifa, Linlu Qiu, Orion Weller, Peter Clark
2024	A*	`conf`	NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning. IJCAI Nathaniel Weir, Peter Clark, Benjamin Van Durme
2024	A*	`conf`	Ontologically Faithful Generation of Non-Player Character Dialogues. EMNLP Nathaniel Weir, Ryan Thomas, Randolph D'Amore, Kellie Hill, Benjamin Van Durme, Harsh Jhamtani
2024	J	`jnl`	Reframing Tax Law Entailment as Analogical Reasoning. CoRR Xinrui Zou, Ming Zhang, Nathaniel Weir, Benjamin Van Durme, Nils Holzenberger
2024	J	`jnl`	SELF-[IN]CORRECT: LLMs Struggle with Refining Self-Generated Responses. CoRR Dongwei Jiang, Jingyu Zhang, Orion Weller, Nathaniel Weir, Benjamin Van Durme, Daniel Khashabi
2024	A*	`conf`	TV-TREES: Multimodal Entailment Trees for Neuro-Symbolic Video Reasoning. EMNLP Kate Sanders, Nathaniel Weir, Benjamin Van Durme
2024	J	`jnl`	TV-TREES: Multimodal Entailment Trees for Neuro-Symbolic Video Reasoning. CoRR Kate Sanders, Nathaniel Weir, Benjamin Van Durme
2023	J	`jnl`	"According to ..." Prompting Language Models Improves Quoting from Pre-Training Data. CoRR Orion Weller, Marc Marone, Nathaniel Weir, Dawn J. Lawrie, Daniel Khashabi, Benjamin Van Durme
2023	A	`conf`	One-Shot Learning from a Demonstration with Hierarchical Latent Language. AAMAS Nathaniel Weir, Xingdi Yuan, Marc-Alexandre Côté, Matthew J. Hausknecht, Romain Laroche, Ida Momennejad, Harm van Seijen, Benjamin Van Durme
2022	J	`jnl`	Defending Against Poisoning Attacks in Open-Domain Question Answering. CoRR Orion Weller, Aleem Khan, Nathaniel Weir, Dawn J. Lawrie, Benjamin Van Durme
2022	J	`jnl`	Dynamic Generation of Interpretable Inference Rules in a Neuro-Symbolic Expert System. CoRR Nathaniel Weir, Benjamin Van Durme
2022	J	`jnl`	One-Shot Learning from a Demonstration with Hierarchical Latent Language. CoRR Nathaniel Weir, Xingdi Yuan, Marc-Alexandre Côté, Matthew J. Hausknecht, Romain Laroche, Ida Momennejad, Harm van Seijen, Benjamin Van Durme
2022	J	`jnl`	Ontologically Faithful Generation of Non-Player Character Dialogues. CoRR Nathaniel Weir, Ryan Thomas, Randolph D'Amore, Kellie Hill, Benjamin Van Durme, Harsh Jhamtani
2021	—	`conf`	InFillmore: Frame-Guided Language Generation with Bidirectional Context. *SEM Jiefu Ou, Nathaniel Weir, Anton Belyy, Felix Yu, Benjamin Van Durme
2021	J	`jnl`	InFillmore: Neural Frame Lexicalization for Narrative Text Infilling. CoRR Jiefu Ou, Nathaniel Weir, Anton Belyy, Felix Yu, Benjamin Van Durme
2020	—	`conf`	COD3S: Diverse Generation with Discrete Semantic Signatures. EMNLP (1) Nathaniel Weir, João Sedoc, Benjamin Van Durme
2020	J	`jnl`	COD3S: Diverse Generation with Discrete Semantic Signatures. CoRR Nathaniel Weir, João Sedoc, Benjamin Van Durme
2020	—	`conf`	DBPal: A Fully Pluggable NL2SQL Training Pipeline. SIGMOD Conference Nathaniel Weir, Prasetya Ajie Utama, Alex Galakatos, Andrew Crotty, Amir Ilkhechi, Shekar Ramaswamy, Rohin Bhushan, Nadja Geisler, Benjamin Hättasch, Steffen Eger, Ugur Çetintemel, Carsten Binnig
2020	J	`jnl`	On the Existence of Tacit Assumptions in Contextualized Language Models. CoRR Nathaniel Weir, Adam Poliak, Benjamin Van Durme
2020	B	`conf`	Probing Neural Language Models for Human Tacit Assumptions. CogSci Nathaniel Weir, Adam Poliak, Benjamin Van Durme
2019	—	`conf`	Bootstrapping an End-to-End Natural Language Interface for Databases. SIGMOD Conference Nathaniel Weir, Prasetya Ajie Utama
2019	J	`jnl`	DBPal: Weak Supervision for Learning a Natural Language Interface to Databases. CoRR Nathaniel Weir, Andrew Crotty, Alex Galakatos, Amir Ilkhechi, Shekar Ramaswamy, Rohin Bhushan, Ugur Çetintemel, Prasetya Ajie Utama, Nadja Geisler, Benjamin Hättasch, Steffen Eger, Carsten Binnig
2018	J	`jnl`	An End-to-end Neural Natural Language Interface for Databases. CoRR Prasetya Ajie Utama, Nathaniel Weir, Fuat Basik, Carsten Binnig, Ugur Çetintemel, Benjamin Hättasch, Amir Ilkhechi, Shekar Ramaswamy, Arif Usta
2018	—	`conf`	DBPal: A Learned NL-Interface for Databases. SIGMOD Conference Fuat Basik, Benjamin Hättasch, Amir Ilkhechi, Arif Usta, Shekar Ramaswamy, Prasetya Ajie Utama, Nathaniel Weir, Carsten Binnig, Ugur Çetintemel
2017	—	`conf`	Towards Interactive Data Exploration. BIRTE (Revised Selected Papers) Carsten Binnig, Fuat Basik, Benedetto Buratti, Ugur Çetintemel, Yeounoh Chung, Andrew Crotty, Cyrus Cousins, Dylan Ebert, Philipp Eichmann, Alex Galakatos, Benjamin Hättasch, Amir Ilkhechi, Tim Kraska, Zeyuan Shang, Isabella Tromba, Arif Usta, Prasetya Ajie Utama, Eli Upfal, Linnan Wang, Nathaniel Weir, Robert C. Zeleznik, Emanuel Zgraggen