Ashish Sabharwal

260 papers A* 61A 27B 10Misc 3Journal 114Unranked 36
YearRankTypeTitle / Venue / Authors
2026 J jnl
Language Model Planners do not Scale, but do Formalizers?
CoRR
Owen Jiang, Cassie Huang, Ashish Sabharwal, Li Zhang
2026 J jnl
MoNaCo: More Natural and Complex Questions for Reasoning Across Dozens of Documents.
Trans. Assoc. Comput. Linguistics
Tomer Wolfson, Harsh Trivedi, Mor Geva, Yoav Goldberg, Dan Roth, Tushar Khot, Ashish Sabharwal, Reut Tsarfaty
2026 J jnl
Why Are Linear RNNs More Parallelizable?
CoRR
William Merrill, Hongjian Jiang, Yanhong Li, Anthony W. Lin, Ashish Sabharwal
2025 J jnl
A Little Depth Goes a Long Way: The Expressive Power of Log-Depth Transformers.
CoRR
William Merrill, Ashish Sabharwal
2025 A* conf
Answer, Assemble, Ace: Understanding How LMs Answer Multiple Choice Questions.
ICLR
Sarah Wiegreffe, Oyvind Tafjord, Yonatan Belinkov, Hannaneh Hajishirzi, Ashish Sabharwal
2025 J jnl
AstaBench: Rigorous Benchmarking of AI Agents with a Scientific Research Suite.
CoRR
Jonathan Bragg, Mike D'Arcy, Nishant Balepur, Dan Bareket, Bhavana Dalvi, Sergey Feldman, Dany Haddad, Jena D. Hwang, Peter A. Jansen, Varsha Kishore, Bodhisattwa Prasad Majumder, Aakanksha Naik, Sigal Rahamimov, Kyle Richardson, Amanpreet Singh, Harshit Surana, Aryeh Tiktinsky, Rosni Vasu, Guy Wiener, Chloe Anastasiades, Stefan Candra, Jason Dunkelberger, Dan Emery, Rob Evans, Malachi Hamada, Regan Huff, Rodney Kinney, Matt Latzke, Jaron Lochner, Ruben Lozano-Aguilera, Cecile Nguyen, Smita Rao, Amber Tanaka, Brooke Vlahos, Peter Clark, Doug Downey, Yoav Goldberg, Ashish Sabharwal, Daniel S. Weld
2025 A* conf
DiscoveryBench: Towards Data-Driven Discovery with Large Language Models.
ICLR
Bodhisattwa Prasad Majumder, Harshit Surana, Dhruv Agarwal, Bhavana Dalvi Mishra, Abhijeetsingh Meena, Aryan Prakhar, Tirth Vora, Tushar Khot, Ashish Sabharwal, Peter Clark
2025 J jnl
Exact Expressive Power of Transformers with Padding.
CoRR
William Merrill, Ashish Sabharwal
2025 J jnl
Leveraging In-Context Learning for Language Model Agents.
CoRR
Shivanshu Gupta, Sameer Singh, Ashish Sabharwal, Tushar Khot, Ben Bogin
2025 J jnl
MoNaCo: More Natural and Complex Questions for Reasoning Across Dozens of Documents.
CoRR
Tomer Wolfson, Harsh Trivedi, Mor Geva, Yoav Goldberg, Dan Roth, Tushar Khot, Ashish Sabharwal, Reut Tsarfaty
2025 J jnl
Olmo 3.
CoRR
Allyson Ettinger, Amanda Bertsch, Bailey Kuehl, David Graham, David Heineman, Dirk Groeneveld, Faeze Brahman, Finbarr Timbers, Hamish Ivison, Jacob Morrison, Jake Poznanski, Kyle Lo, Luca Soldaini, Matt Jordan, Mayee F. Chen, Michael Noukhovitch, Nathan Lambert, Pete Walsh, Pradeep Dasigi, Robert Berry, Saumya Malik, Saurabh Shah, Scott Geng, Shane Arora, Shashank Gupta, Taira Anderson, Teng Xiao, Tyler Murray, Tyler Romero, Victoria Graf, Akari Asai, Akshita Bhagia, Alexander Wettig, Alisa Liu, Aman Rangapur, Chloe Anastasiades, Costa Huang, Dustin Schwenk, Harsh Trivedi, Ian Magnusson, Jaron Lochner, Jiacheng Liu, Lester James V. Miranda, Maarten Sap, Malia Morgan, Michael Schmitz, Michal Guerquin, Michael Wilson, Regan Huff, Ronan Le Bras, Rui Xin, Rulin Shao, Sam Skjonsberg, Shannon Zejiang Shen, Shuyue Stella Li, Tucker Wilde, Valentina Pyatkin, William Merrill, Yapei Chang, Yuling Gu, Zhiyuan Zeng, Ashish Sabharwal, Luke Zettlemoyer, Pang Wei Koh, Ali Farhadi, Noah A. Smith, Hannaneh Hajishirzi
2025 J jnl
On the Reasoning Abilities of Masked Diffusion Language Models.
CoRR
Anej Svete, Ashish Sabharwal
2025 J jnl
Open-ended Scientific Discovery via Bayesian Surprise.
CoRR
Dhruv Agarwal, Bodhisattwa Prasad Majumder, Reece Adamson, Megha Chakravorty, Satvika Reddy Gavireddy, Aditya Parashar, Harshit Surana, Bhavana Dalvi Mishra, Andrew McCallum, Ashish Sabharwal, Peter Clark
2025 J jnl
Transformers as Transducers.
Trans. Assoc. Comput. Linguistics
Lena Strobl, Dana Angluin, David Chiang, Jonathan Rawski, Ashish Sabharwal
2025 A* conf
Understanding the Logic of Direct Preference Alignment through Logic.
ICML
Kyle Richardson, Vivek Srikumar, Ashish Sabharwal
2025 A* conf
ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning.
ICML
Bill Yuchen Lin, Ronan Le Bras, Kyle Richardson, Ashish Sabharwal, Radha Poovendran, Peter Clark, Yejin Choi
2025 J jnl
ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning.
CoRR
Bill Yuchen Lin, Ronan Le Bras, Kyle Richardson, Ashish Sabharwal, Radha Poovendran, Peter Clark, Yejin Choi
2024 — conf
ADaPT: As-Needed Decomposition and Planning with Language Models.
NAACL-HLT (Findings)
Archiki Prasad, Alexander Koller, Mareike Hartmann, Peter Clark, Ashish Sabharwal, Mohit Bansal, Tushar Khot
2024 J jnl
Answer, Assemble, Ace: Understanding How Transformers Answer Multiple Choice Questions.
CoRR
Sarah Wiegreffe, Oyvind Tafjord, Yonatan Belinkov, Hannaneh Hajishirzi, Ashish Sabharwal
2024 — conf
AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agents.
ACL (1)
Harsh Trivedi, Tushar Khot, Mareike Hartmann, Ruskin Manku, Vinty Dong, Edward Li, Shashank Gupta, Ashish Sabharwal, Niranjan Balasubramanian
2024 J jnl
AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agents.
CoRR
Harsh Trivedi, Tushar Khot, Mareike Hartmann, Ruskin Manku, Vinty Dong, Edward Li, Shashank Gupta, Ashish Sabharwal, Niranjan Balasubramanian
2024 A* conf
Bias Runs Deep: Implicit Reasoning Biases in Persona-Assigned LLMs.
ICLR
Shashank Gupta, Vaishnavi Shrivastava, Ameet Deshpande, Ashwin Kalyan, Peter Clark, Ashish Sabharwal, Tushar Khot
2024 A* conf
Closing the Curious Case of Neural Text Degeneration.
ICLR
Matthew Finlayson, John Hewitt, Alexander Koller, Swabha Swayamdipta, Ashish Sabharwal
2024 J jnl
Data-driven Discovery with Large Generative Models.
CoRR
Bodhisattwa Prasad Majumder, Harshit Surana, Dhruv Agarwal, Sanchaita Hazra, Ashish Sabharwal, Peter Clark
2024 J jnl
DiscoveryBench: Towards Data-Driven Discovery with Large Language Models.
CoRR
Bodhisattwa Prasad Majumder, Harshit Surana, Dhruv Agarwal, Bhavana Dalvi Mishra, Abhijeetsingh Meena, Aryan Prakhar, Tirth Vora, Tushar Khot, Ashish Sabharwal, Peter Clark
2024 — conf
Leveraging Code to Improve In-Context Learning for Semantic Parsing.
NAACL-HLT
Ben Bogin, Shivanshu Gupta, Peter Clark, Ashish Sabharwal
2024 A* conf
Position: Data-driven Discovery with Large Generative Models.
ICML
Bodhisattwa Prasad Majumder, Harshit Surana, Dhruv Agarwal, Sanchaita Hazra, Ashish Sabharwal, Peter Clark
2024 — conf
QualEval: Qualitative Evaluation for Model Improvement.
NAACL-HLT
Vishvak Murahari, Ameet Deshpande, Peter Clark, Tanmay Rajpurohit, Ashish Sabharwal, Karthik Narasimhan, Ashwin Kalyan
2024 A* conf
SUPER: Evaluating Agents on Setting Up and Executing Tasks from Research Repositories.
EMNLP
Ben Bogin, Kejuan Yang, Shashank Gupta, Kyle Richardson, Erin Bransom, Peter Clark, Ashish Sabharwal, Tushar Khot
2024 J jnl
SUPER: Evaluating Agents on Setting Up and Executing Tasks from Research Repositories.
CoRR
Ben Bogin, Kejuan Yang, Shashank Gupta, Kyle D. Richardson, Erin Bransom, Peter Clark, Ashish Sabharwal, Tushar Khot
2024 A* conf
The Expressive Power of Transformers with Chain of Thought.
ICLR
William Merrill, Ashish Sabharwal
2024 A* conf
The Illusion of State in State-Space Models.
ICML
William Merrill, Jackson Petty, Ashish Sabharwal
2024 J jnl
The Illusion of State in State-Space Models.
CoRR
William Merrill, Jackson Petty, Ashish Sabharwal
2024 J jnl
Transformers as Transducers.
CoRR
Lena Strobl, Dana Angluin, David Chiang, Jonathan Rawski, Ashish Sabharwal
2024 J jnl
Understanding the Logic of Direct Preference Alignment through Logic.
CoRR
Kyle Richardson, Vivek Srikumar, Ashish Sabharwal
2023 A* conf
A Logic for Expressing Log-Precision Transformers.
NeurIPS
William Merrill, Ashish Sabharwal
2023 J jnl
ADaPT: As-Needed Decomposition and Planning with Language Models.
CoRR
Archiki Prasad, Alexander Koller, Mareike Hartmann, Peter Clark, Ashish Sabharwal, Mohit Bansal, Tushar Khot
2023 J jnl
Attentiveness to Answer Choices Doesn't Always Entail High QA Accuracy.
CoRR
Sarah Wiegreffe, Matthew Finlayson, Oyvind Tafjord, Peter Clark, Ashish Sabharwal
2023 J jnl
Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models.
Trans. Mach. Learn. Res.
Aarohi Srivastava, Abhinav Rastogi, Abhishek Rao, Abu Awal Md Shoeb, Abubakar Abid, Adam Fisch, Adam R. Brown, Adam Santoro, Aditya Gupta, Adrià Garriga-Alonso, Agnieszka Kluska, Aitor Lewkowycz, Akshat Agarwal, Alethea Power, Alex Ray, Alex Warstadt, Alexander W. Kocurek, Ali Safaya, Ali Tazarv, Alice Xiang, Alicia Parrish, Allen Nie, Aman Hussain, Amanda Askell, Amanda Dsouza, Ambrose Slone, Ameet Rahane, Anantharaman S. Iyer, Anders Andreassen, Andrea Madotto, Andrea Santilli, Andreas Stuhlmüller, Andrew M. Dai, Andrew La, Andrew K. Lampinen, Andy Zou, Angela Jiang, Angelica Chen, Anh Vuong, Animesh Gupta, Anna Gottardi, Antonio Norelli, Anu Venkatesh, Arash Gholamidavoodi, Arfa Tabassum, Arul Menezes, Arun Kirubarajan, Asher Mullokandov, Ashish Sabharwal, Austin Herrick, Avia Efrat, Aykut Erdem, Ayla Karakas, B. Ryan Roberts, Bao Sheng Loe, Barret Zoph, Bartlomiej Bojanowski, Batuhan Özyurt, Behnam Hedayatnia, Behnam Neyshabur, Benjamin Inden, Benno Stein, Berk Ekmekci, Bill Yuchen Lin, Blake Howald, Bryan Orinion, Cameron Diao, Cameron Dour, Catherine Stinson, Cedrick Argueta, Cèsar Ferri Ramírez, Chandan Singh, Charles Rathkopf, Chenlin Meng, Chitta Baral, Chiyu Wu, Chris Callison-Burch, Chris Waites, Christian Voigt, Christopher D. Manning, Christopher Potts, Cindy Ramirez, Clara E. Rivera, Clemencia Siro, Colin Raffel, Courtney Ashcraft, Cristina Garbacea, Damien Sileo, Dan Garrette, Dan Hendrycks, Dan Kilman, Dan Roth, Daniel Freeman, Daniel Khashabi, Daniel Levy, Daniel Moseguí González, Danielle Perszyk, Danny Hernandez, Danqi Chen, Daphne Ippolito, Dar Gilboa, David Dohan, David Drakard, David Jurgens, Debajyoti Datta, Deep Ganguli, Denis Emelin, Denis Kleyko, Deniz Yuret, Derek Chen, Derek Tam, Dieuwke Hupkes, Diganta Misra, Dilyar Buzan, Dimitri Coelho Mollo, Diyi Yang, Dong-Ho Lee, Dylan Schrader, Ekaterina Shutova, Ekin Dogus Cubuk, Elad Segal, Eleanor Hagerman, Elizabeth Barnes, Elizabeth Donoway, Ellie Pavlick, Emanuele Rodolà, Emma Lam, Eric Chu, Eric Tang, Erkut Erdem, Ernie Chang, Ethan A. Chi, Ethan Dyer, Ethan J. Jerzak, Ethan Kim, Eunice Engefu Manyasi, Evgenii Zheltonozhskii, Fanyue Xia, Fatemeh Siar, Fernando Martínez-Plumed, Francesca Happé, François Chollet, Frieda Rong, Gaurav Mishra, Genta Indra Winata, Gerard de Melo, Germán Kruszewski, Giambattista Parascandolo, Giorgio Mariani, Gloria Wang, Gonzalo Jaimovitch-López, Gregor Betz, Guy Gur-Ari, Hana Galijasevic, Hannah Kim, Hannah Rashkin, Hannaneh Hajishirzi, Harsh Mehta, Hayden Bogar, Henry Shevlin, Hinrich Schütze, Hiromu Yakura, Hongming Zhang, Hugh Mee Wong, Ian Ng, Isaac Noble, Jaap Jumelet, Jack Geissinger, Jackson Kernion, Jacob Hilton, Jaehoon Lee, Jaime Fernández Fisac, James B. Simon, James Koppel, James Zheng, James Zou, Jan Kocon, Jana Thompson, Janelle Wingfield, Jared Kaplan, Jarema Radom, Jascha Sohl-Dickstein, Jason Phang, Jason Wei, Jason Yosinski, Jekaterina Novikova, Jelle Bosscher, Jennifer Marsh, Jeremy Kim, Jeroen Taal, Jesse H. Engel, Jesujoba Alabi, Jiacheng Xu, Jiaming Song, Jillian Tang, Joan Waweru, John Burden, John Miller, John U. Balis, Jonathan Batchelder, Jonathan Berant, Jörg Frohberg, Jos Rozen, José Hernández-Orallo, Joseph Boudeman, Joseph Guerr, Joseph Jones, Joshua B. Tenenbaum, Joshua S. Rule, Joyce Chua, Kamil Kanclerz, Karen Livescu, Karl Krauth, Karthik Gopalakrishnan, Katerina Ignatyeva, Katja Markert, Kaustubh D. Dhole, Kevin Gimpel, Kevin Omondi, Kory W. Mathewson, Kristen Chiafullo, Ksenia Shkaruta, Kumar Shridhar, Kyle McDonell, Kyle Richardson, Laria Reynolds, Leo Gao, Li Zhang, Liam Dugan, Lianhui Qin, Lidia Contreras Ochando, Louis-Philippe Morency, Luca Moschella, Lucas Lam, Lucy Noble, Ludwig Schmidt, Luheng He, Luis Oliveros Colón, Luke Metz, Lütfi Kerem Senel, Maarten Bosma, Maarten Sap, Maartje ter Hoeve, Maheen Farooqi, Manaal Faruqui, Mantas Mazeika, Marco Baturan, Marco Marelli, Marco Maru, María José Ramírez-Quintana, Marie Tolkiehn, Mario Giulianelli, Martha Lewis, Martin Potthast, Matthew L. Leavitt, Matthias Hagen, Mátyás Schubert, Medina Baitemirova, Melody Arnaud, Melvin McElrath, Michael A. Yee, Michael Cohen, Michael Gu, Michael I. Ivanitskiy, Michael Starritt, Michael Strube, Michal Swedrowski, Michele Bevilacqua, Michihiro Yasunaga, Mihir Kale, Mike Cain, Mimee Xu, Mirac Suzgun, Mitch Walker, Mo Tiwari, Mohit Bansal, Moin Aminnaseri, Mor Geva, Mozhdeh Gheini, Mukund Varma T., Nanyun Peng, Nathan A. Chi, Nayeon Lee, Neta Gur-Ari Krakover, Nicholas Cameron, Nicholas Roberts, Nick Doiron, Nicole Martinez, Nikita Nangia, Niklas Deckers, Niklas Muennighoff, Nitish Shirish Keskar, Niveditha Iyer, Noah Constant, Noah Fiedel, Nuan Wen, Oliver Zhang, Omar Agha, Omar Elbaghdadi, Omer Levy, Owain Evans, Pablo Antonio Moreno Casares, Parth Doshi, Pascale Fung, Paul Pu Liang, Paul Vicol, Pegah Alipoormolabashi, Peiyuan Liao, Percy Liang, Peter Chang, Peter Eckersley, Phu Mon Htut, Pinyu Hwang, Piotr Milkowski, Piyush Patil, Pouya Pezeshkpour, Priti Oli, Qiaozhu Mei, Qing Lyu, Qinlang Chen, Rabin Banjade, Rachel Etta Rudolph, Raefer Gabriel, Rahel Habacker, Ramon Risco, Raphaël Millière, Rhythm Garg, Richard Barnes, Rif A. Saurous, Riku Arakawa, Robbe Raymaekers, Robert Frank, Rohan Sikand, Roman Novak, Roman Sitelew, Ronan LeBras, Rosanne Liu, Rowan Jacobs, Rui Zhang, Ruslan Salakhutdinov, Ryan Chi, Ryan Lee, Ryan Stovall, Ryan Teehan, Rylan Yang, Sahib Singh, Saif M. Mohammad, Sajant Anand, Sam Dillavou, Sam Shleifer, Sam Wiseman, Samuel Gruetter, Samuel R. Bowman, Samuel S. Schoenholz, Sanghyun Han, Sanjeev Kwatra, Sarah A. Rous, Sarik Ghazarian, Sayan Ghosh, Sean Casey, Sebastian Bischoff, Sebastian Gehrmann, Sebastian Schuster, Sepideh Sadeghi, Shadi Hamdan, Sharon Zhou, Shashank Srivastava, Sherry Shi, Shikhar Singh, Shima Asaadi, Shixiang Shane Gu, Shubh Pachchigar, Shubham Toshniwal, Shyam Upadhyay, Shyamolima (Shammie) Debnath, Siamak Shakeri, Simon Thormeyer, Simone Melzi, Siva Reddy, Sneha Priscilla Makini, Soo-Hwan Lee, Spencer Torene, Sriharsha Hatwar, Stanislas Dehaene, Stefan Divic, Stefano Ermon, Stella Biderman, Stephanie Lin, Stephen Prasad, Steven T. Piantadosi, Stuart M. Shieber, Summer Misherghi, Svetlana Kiritchenko, Swaroop Mishra, Tal Linzen, Tal Schuster, Tao Li, Tao Yu, Tariq Ali, Tatsu Hashimoto, Te-Lin Wu, Théo Desbordes, Theodore Rothschild, Thomas Phan, Tianle Wang, Tiberius Nkinyili, Timo Schick, Timofei Kornev, Titus Tunduny, Tobias Gerstenberg, Trenton Chang, Trishala Neeraj, Tushar Khot, Tyler Shultz, Uri Shaham, Vedant Misra, Vera Demberg, Victoria Nyamai, Vikas Raunak, Vinay V. Ramasesh, Vinay Uday Prabhu, Vishakh Padmakumar, Vivek Srikumar, William Fedus, William Saunders, William Zhang, Wout Vossen, Xiang Ren, Xiaoyu Tong, Xinran Zhao, Xinyi Wu, Xudong Shen, Yadollah Yaghoobzadeh, Yair Lakretz, Yangqiu Song, Yasaman Bahri, Yejin Choi, Yichi Yang, Yiding Hao, Yifu Chen, Yonatan Belinkov, Yu Hou, Yufang Hou, Yuntao Bai, Zachary Seid, Zhuoye Zhao, Zijian Wang, Zijie J. Wang, Zirui Wang, Ziyi Wu
2023 J jnl
Bias Runs Deep: Implicit Reasoning Biases in Persona-Assigned LLMs.
CoRR
Shashank Gupta, Vaishnavi Shrivastava, Ameet Deshpande, Ashwin Kalyan, Peter Clark, Ashish Sabharwal, Tushar Khot
2023 J jnl
Closing the Curious Case of Neural Text Degeneration.
CoRR
Matthew Finlayson, John Hewitt, Alexander Koller, Swabha Swayamdipta, Ashish Sabharwal
2023 A* conf
Complexity-Based Prompting for Multi-step Reasoning.
ICLR
Yao Fu, Hao Peng, Ashish Sabharwal, Peter Clark, Tushar Khot
2023 — conf
DISCO: Distilling Counterfactuals with Large Language Models.
ACL (1)
Zeming Chen, Qiyue Gao, Antoine Bosselut, Ashish Sabharwal, Kyle Richardson
2023 A* conf
Decomposed Prompting: A Modular Approach for Solving Complex Tasks.
ICLR
Tushar Khot, Harsh Trivedi, Matthew Finlayson, Yao Fu, Kyle Richardson, Peter Clark, Ashish Sabharwal
2023 A* conf
IfQA: A Dataset for Open-domain Question Answering under Counterfactual Presuppositions.
EMNLP
Wenhao Yu, Meng Jiang, Peter Clark, Ashish Sabharwal
2023 J jnl
IfQA: A Dataset for Open-domain Question Answering under Counterfactual Presuppositions.
CoRR
Wenhao Yu, Meng Jiang, Peter Clark, Ashish Sabharwal
2023 J jnl
Improving Language Models via Plug-and-Play Retrieval Feedback.
CoRR
Wenhao Yu, Zhihan Zhang, Zhenwen Liang, Meng Jiang, Ashish Sabharwal
2023 A* conf
Increasing Probability Mass on Answer Choices Does Not Always Improve Accuracy.
EMNLP
Sarah Wiegreffe, Matthew Finlayson, Oyvind Tafjord, Peter Clark, Ashish Sabharwal
2023 — conf
Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions.
ACL (1)
Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal
2023 A* conf
Language Models with Rationality.
EMNLP
Nora Kassner, Oyvind Tafjord, Ashish Sabharwal, Kyle Richardson, Hinrich Schütze, Peter Clark
2023 J jnl
Language Models with Rationality.
CoRR
Nora Kassner, Oyvind Tafjord, Ashish Sabharwal, Kyle Richardson, Hinrich Schütze, Peter Clark
2023 J jnl
Leveraging Code to Improve In-context Learning for Semantic Parsing.
CoRR
Ben Bogin, Shivanshu Gupta, Peter Clark, Ashish Sabharwal
2023 J jnl
QualEval: Qualitative Evaluation for Model Improvement.
CoRR
Vishvak Murahari, Ameet Deshpande, Peter Clark, Tanmay Rajpurohit, Ashish Sabharwal, Karthik Narasimhan, Ashwin Kalyan
2023 A* conf
Specializing Smaller Language Models towards Multi-Step Reasoning.
ICML
Yao Fu, Hao Peng, Litu Ou, Ashish Sabharwal, Tushar Khot
2023 J jnl
Specializing Smaller Language Models towards Multi-Step Reasoning.
CoRR
Yao Fu, Hao Peng, Litu Ou, Ashish Sabharwal, Tushar Khot
2023 J jnl
The Expressive Power of Transformers with Chain of Thought.
CoRR
William Merrill, Ashish Sabharwal
2023 J jnl
The Parallelism Tradeoff: Limitations of Log-Precision Transformers.
Trans. Assoc. Comput. Linguistics
William Merrill, Ashish Sabharwal
2022 J jnl
Better Retrieval May Not Lead to Better Question Answering.
CoRR
Zhengzhong Liang, Tushar Khot, Steven Bethard, Mihai Surdeanu, Ashish Sabharwal
2022 J jnl
Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models.
CoRR
Aarohi Srivastava, Abhinav Rastogi, Abhishek Rao, Abu Awal Md Shoeb, Abubakar Abid, Adam Fisch, Adam R. Brown, Adam Santoro, Aditya Gupta, Adrià Garriga-Alonso, Agnieszka Kluska, Aitor Lewkowycz, Akshat Agarwal, Alethea Power, Alex Ray, Alex Warstadt, Alexander W. Kocurek, Ali Safaya, Ali Tazarv, Alice Xiang, Alicia Parrish, Allen Nie, Aman Hussain, Amanda Askell, Amanda Dsouza, Ambrose Slone, Ameet Rahane, Anantharaman S. Iyer, Anders Andreassen, Andrea Madotto, Andrea Santilli, Andreas Stuhlmüller, Andrew M. Dai, Andrew La, Andrew K. Lampinen, Andy Zou, Angela Jiang, Angelica Chen, Anh Vuong, Animesh Gupta, Anna Gottardi, Antonio Norelli, Anu Venkatesh, Arash Gholamidavoodi, Arfa Tabassum, Arul Menezes, Arun Kirubarajan, Asher Mullokandov, Ashish Sabharwal, Austin Herrick, Avia Efrat, Aykut Erdem, Ayla Karakas, B. Ryan Roberts, Bao Sheng Loe, Barret Zoph, Bartlomiej Bojanowski, Batuhan Özyurt, Behnam Hedayatnia, Behnam Neyshabur, Benjamin Inden, Benno Stein, Berk Ekmekci, Bill Yuchen Lin, Blake Howald, Bryan Orinion, Cameron Diao, Cameron Dour, Catherine Stinson, Cedrick Argueta, Cèsar Ferri Ramírez, Chandan Singh, Charles Rathkopf, Chenlin Meng, Chitta Baral, Chiyu Wu, Chris Callison-Burch, Chris Waites, Christian Voigt, Christopher D. Manning, Christopher Potts, Cindy Ramirez, Clara E. Rivera, Clemencia Siro, Colin Raffel, Courtney Ashcraft, Cristina Garbacea, Damien Sileo, Dan Garrette, Dan Hendrycks, Dan Kilman, Dan Roth, Daniel Freeman, Daniel Khashabi, Daniel Levy, Daniel Moseguí González, Danielle Perszyk, Danny Hernandez, Danqi Chen, Daphne Ippolito, Dar Gilboa, David Dohan, David Drakard, David Jurgens, Debajyoti Datta, Deep Ganguli, Denis Emelin, Denis Kleyko, Deniz Yuret, Derek Chen, Derek Tam, Dieuwke Hupkes, Diganta Misra, Dilyar Buzan, Dimitri Coelho Mollo, Diyi Yang, Dong-Ho Lee, Dylan Schrader, Ekaterina Shutova, Ekin Dogus Cubuk, Elad Segal, Eleanor Hagerman, Elizabeth Barnes, Elizabeth Donoway, Ellie Pavlick, Emanuele Rodolà, Emma Lam, Eric Chu, Eric Tang, Erkut Erdem, Ernie Chang, Ethan A. Chi, Ethan Dyer, Ethan J. Jerzak, Ethan Kim, Eunice Engefu Manyasi, Evgenii Zheltonozhskii, Fanyue Xia, Fatemeh Siar, Fernando Martínez-Plumed, Francesca Happé, François Chollet, Frieda Rong, Gaurav Mishra, Genta Indra Winata, Gerard de Melo, Germán Kruszewski, Giambattista Parascandolo, Giorgio Mariani, Gloria Wang, Gonzalo Jaimovitch-López, Gregor Betz, Guy Gur-Ari, Hana Galijasevic, Hannah Kim, Hannah Rashkin, Hannaneh Hajishirzi, Harsh Mehta, Hayden Bogar, Henry Shevlin, Hinrich Schütze, Hiromu Yakura, Hongming Zhang, Hugh Mee Wong, Ian Ng, Isaac Noble, Jaap Jumelet, Jack Geissinger, Jackson Kernion, Jacob Hilton, Jaehoon Lee, Jaime Fernández Fisac, James B. Simon, James Koppel, James Zheng, James Zou, Jan Kocon, Jana Thompson, Janelle Wingfield, Jared Kaplan, Jarema Radom, Jascha Sohl-Dickstein, Jason Phang, Jason Wei, Jason Yosinski, Jekaterina Novikova, Jelle Bosscher, Jennifer Marsh, Jeremy Kim, Jeroen Taal, Jesse H. Engel, Jesujoba Alabi, Jiacheng Xu, Jiaming Song, Jillian Tang, Joan Waweru, John Burden, John Miller, John U. Balis, Jonathan Batchelder, Jonathan Berant, Jörg Frohberg, Jos Rozen, José Hernández-Orallo, Joseph Boudeman, Joseph Guerr, Joseph Jones, Joshua B. Tenenbaum, Joshua S. Rule, Joyce Chua, Kamil Kanclerz, Karen Livescu, Karl Krauth, Karthik Gopalakrishnan, Katerina Ignatyeva, Katja Markert, Kaustubh D. Dhole, Kevin Gimpel, Kevin Omondi, Kory W. Mathewson, Kristen Chiafullo, Ksenia Shkaruta, Kumar Shridhar, Kyle McDonell, Kyle Richardson, Laria Reynolds, Leo Gao, Li Zhang, Liam Dugan, Lianhui Qin, Lidia Contreras Ochando, Louis-Philippe Morency, Luca Moschella, Lucas Lam, Lucy Noble, Ludwig Schmidt, Luheng He, Luis Oliveros Colón, Luke Metz, Lütfi Kerem Senel, Maarten Bosma, Maarten Sap, Maartje ter Hoeve, Maheen Farooqi, Manaal Faruqui, Mantas Mazeika, Marco Baturan, Marco Marelli, Marco Maru, María José Ramírez-Quintana, Marie Tolkiehn, Mario Giulianelli, Martha Lewis, Martin Potthast, Matthew L. Leavitt, Matthias Hagen, Mátyás Schubert, Medina Baitemirova, Melody Arnaud, Melvin McElrath, Michael A. Yee, Michael Cohen, Michael Gu, Michael I. Ivanitskiy, Michael Starritt, Michael Strube, Michal Swedrowski, Michele Bevilacqua, Michihiro Yasunaga, Mihir Kale, Mike Cain, Mimee Xu, Mirac Suzgun, Mitch Walker, Mo Tiwari, Mohit Bansal, Moin Aminnaseri, Mor Geva, Mozhdeh Gheini, Mukund Varma T., Nanyun Peng, Nathan A. Chi, Nayeon Lee, Neta Gur-Ari Krakover, Nicholas Cameron, Nicholas Roberts, Nick Doiron, Nicole Martinez, Nikita Nangia, Niklas Deckers, Niklas Muennighoff, Nitish Shirish Keskar, Niveditha Iyer, Noah Constant, Noah Fiedel, Nuan Wen, Oliver Zhang, Omar Agha, Omar Elbaghdadi, Omer Levy, Owain Evans, Pablo Antonio Moreno Casares, Parth Doshi, Pascale Fung, Paul Pu Liang, Paul Vicol, Pegah Alipoormolabashi, Peiyuan Liao, Percy Liang, Peter Chang, Peter Eckersley, Phu Mon Htut, Pinyu Hwang, Piotr Milkowski, Piyush Patil, Pouya Pezeshkpour, Priti Oli, Qiaozhu Mei, Qing Lyu, Qinlang Chen, Rabin Banjade, Rachel Etta Rudolph, Raefer Gabriel, Rahel Habacker, Ramon Risco, Raphaël Millière, Rhythm Garg, Richard Barnes, Rif A. Saurous, Riku Arakawa, Robbe Raymaekers, Robert Frank, Rohan Sikand, Roman Novak, Roman Sitelew, Ronan LeBras, Rosanne Liu, Rowan Jacobs, Rui Zhang, Ruslan Salakhutdinov, Ryan Chi, Ryan Lee, Ryan Stovall, Ryan Teehan, Rylan Yang, Sahib Singh, Saif M. Mohammad, Sajant Anand, Sam Dillavou, Sam Shleifer, Sam Wiseman, Samuel Gruetter, Samuel R. Bowman, Samuel S. Schoenholz, Sanghyun Han, Sanjeev Kwatra, Sarah A. Rous, Sarik Ghazarian, Sayan Ghosh, Sean Casey, Sebastian Bischoff, Sebastian Gehrmann, Sebastian Schuster, Sepideh Sadeghi, Shadi Hamdan, Sharon Zhou, Shashank Srivastava, Sherry Shi, Shikhar Singh, Shima Asaadi, Shixiang Shane Gu, Shubh Pachchigar, Shubham Toshniwal, Shyam Upadhyay, Shyamolima (Shammie) Debnath, Siamak Shakeri, Simon Thormeyer, Simone Melzi, Siva Reddy, Sneha Priscilla Makini, Soo-Hwan Lee, Spencer Torene, Sriharsha Hatwar, Stanislas Dehaene, Stefan Divic, Stefano Ermon, Stella Biderman, Stephanie Lin, Stephen Prasad, Steven T. Piantadosi, Stuart M. Shieber, Summer Misherghi, Svetlana Kiritchenko, Swaroop Mishra, Tal Linzen, Tal Schuster, Tao Li, Tao Yu, Tariq Ali, Tatsu Hashimoto, Te-Lin Wu, Théo Desbordes, Theodore Rothschild, Thomas Phan, Tianle Wang, Tiberius Nkinyili, Timo Schick, Timofei Kornev, Titus Tunduny, Tobias Gerstenberg, Trenton Chang, Trishala Neeraj, Tushar Khot, Tyler Shultz, Uri Shaham, Vedant Misra, Vera Demberg, Victoria Nyamai, Vikas Raunak, Vinay V. Ramasesh, Vinay Uday Prabhu, Vishakh Padmakumar, Vivek Srikumar, William Fedus, William Saunders, William Zhang, Wout Vossen, Xiang Ren, Xiaoyu Tong, Xinran Zhao, Xinyi Wu, Xudong Shen, Yadollah Yaghoobzadeh, Yair Lakretz, Yangqiu Song, Yasaman Bahri, Yejin Choi, Yichi Yang, Yiding Hao, Yifu Chen, Yonatan Belinkov, Yu Hou, Yufang Hou, Yuntao Bai, Zachary Seid, Zhuoye Zhao, Zijian Wang, Zijie J. Wang, Zirui Wang, Ziyi Wu
2022 A* conf
Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs.
EMNLP
Kyle Richardson, Ronen Tamari, Oren Sultan, Dafna Shahaf, Reut Tsarfaty, Ashish Sabharwal
2022 J jnl
Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs.
CoRR
Kyle Richardson, Ronen Tamari, Oren Sultan, Reut Tsarfaty, Dafna Shahaf, Ashish Sabharwal
2022 J jnl
Complexity-Based Prompting for Multi-Step Reasoning.
CoRR
Yao Fu, Hao Peng, Ashish Sabharwal, Peter Clark, Tushar Khot
2022 J jnl
DISCO: Distilling Phrasal Counterfactuals with Large Language Models.
CoRR
Zeming Chen, Qiyue Gao, Kyle Richardson, Antoine Bosselut, Ashish Sabharwal
2022 J jnl
Decomposed Prompting: A Modular Approach for Solving Complex Tasks.
CoRR
Tushar Khot, Harsh Trivedi, Matthew Finlayson, Yao Fu, Kyle Richardson, Peter Clark, Ashish Sabharwal
2022 — conf
Hey AI, Can You Solve Complex Tasks by Talking to Agents?
ACL (Findings)
Tushar Khot, Kyle Richardson, Daniel Khashabi, Ashish Sabharwal
2022 J jnl
Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions.
CoRR
Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal
2022 A* conf
LILA: A Unified Benchmark for Mathematical Reasoning.
EMNLP
Swaroop Mishra, Matthew Finlayson, Pan Lu, Leonard Tang, Sean Welleck, Chitta Baral, Tanmay Rajpurohit, Oyvind Tafjord, Ashish Sabharwal, Peter Clark, Ashwin Kalyan
2022 J jnl
Lila: A Unified Benchmark for Mathematical Reasoning.
CoRR
Swaroop Mishra, Matthew Finlayson, Pan Lu, Leonard Tang, Sean Welleck, Chitta Baral, Tanmay Rajpurohit, Oyvind Tafjord, Ashish Sabharwal, Peter Clark, Ashwin Kalyan
2022 J jnl
Log-Precision Transformers are Constant-Depth Uniform Threshold Circuits.
CoRR
William Merrill, Ashish Sabharwal
2022 A* conf
Multi-Modal Answer Validation for Knowledge-Based VQA.
AAAI
Jialin Wu, Jiasen Lu, Ashish Sabharwal, Roozbeh Mottaghi
2022 — conf
Prompt Waywardness: The Curious Case of Discretized Interpretation of Continuous Prompts.
NAACL-HLT
Daniel Khashabi, Xinxi Lyu, Sewon Min, Lianhui Qin, Kyle Richardson, Sean Welleck, Hannaneh Hajishirzi, Tushar Khot, Ashish Sabharwal, Sameer Singh, Yejin Choi
2022 A* conf
Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability.
AAAI
Kyle Richardson, Ashish Sabharwal
2022 J jnl
Saturated Transformers are Constant-Depth Threshold Circuits.
Trans. Assoc. Comput. Linguistics
William Merrill, Ashish Sabharwal, Noah A. Smith
2022 A* conf
Teaching Broad Reasoning Skills for Multi-Step QA by Generating Hard Contexts.
EMNLP
Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal
2022 J jnl
Teaching Broad Reasoning Skills via Decomposition-Guided Contexts.
CoRR
Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal
2022 J jnl
Transformers Implement First-Order Logic with Majority Quantifiers.
CoRR
William Merrill, Ashish Sabharwal
2022 A* conf
What Makes Instruction Learning Hard? An Investigation and a New Challenge in a Synthetic Environment.
EMNLP
Matthew Finlayson, Kyle Richardson, Ashish Sabharwal, Peter Clark
2022 J jnl
What Makes Instruction Learning Hard? An Investigation and a New Challenge in a Synthetic Environment.
CoRR
Matthew Finlayson, Kyle Richardson, Ashish Sabharwal, Peter Clark
2022 J jnl
♫ MuSiQue: Multihop Questions via Single-hop Question Composition.
Trans. Assoc. Comput. Linguistics
Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal
2021 — conf
Ethical-Advice Taker: Do Language Models Understand Natural Language Interventions?
ACL/IJCNLP (Findings)
Jieyu Zhao, Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Kai-Wei Chang
2021 J jnl
Ethical-Advice Taker: Do Language Models Understand Natural Language Interventions?
CoRR
Jieyu Zhao, Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Kai-Wei Chang
2021 — ch.
Exploiting Runtime Variation in Complete Solvers.
Handbook of Satisfiability
Carla P. Gomes, Ashish Sabharwal
2021 — conf
GooAQ: Open Question Answering with Diverse Answer Types.
EMNLP (Findings)
Daniel Khashabi, Amos Ng, Tushar Khot, Ashish Sabharwal, Hannaneh Hajishirzi, Chris Callison-Burch
2021 J jnl
GooAQ: Open Question Answering with Diverse Answer Types.
CoRR
Daniel Khashabi, Amos Ng, Tushar Khot, Ashish Sabharwal, Hannaneh Hajishirzi, Chris Callison-Burch
2021 J jnl
How Much Coffee Was Consumed During EMNLP 2019? Fermi Problems: A New Reasoning Challenge for AI.
CoRR
Ashwin Kalyan, Abhinav Kumar, Arjun Chandrasekaran, Ashish Sabharwal, Peter Clark
2021 — conf
How much coffee was consumed during EMNLP 2019? Fermi Problems: A New Reasoning Challenge for AI.
EMNLP (1)
Ashwin Kalyan, Abhinav Kumar, Arjun Chandrasekaran, Ashish Sabharwal, Peter Clark
2021 — ch.
Incomplete Algorithms.
Handbook of Satisfiability
Henry A. Kautz, Ashish Sabharwal, Bart Selman
2021 J jnl
Learning to Solve Complex Tasks by Talking to Agents.
CoRR
Tushar Khot, Kyle Richardson, Daniel Khashabi, Ashish Sabharwal
2021 — ch.
Model Counting.
Handbook of Satisfiability
Carla P. Gomes, Ashish Sabharwal, Bart Selman
2021 J jnl
MuSiQue: Multi-hop Questions via Single-hop Question Composition.
CoRR
Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal
2021 J jnl
Multi-Modal Answer Validation for Knowledge-Based VQA.
CoRR
Jialin Wu, Jiasen Lu, Ashish Sabharwal, Roozbeh Mottaghi
2021 J jnl
PROMPT WAYWARDNESS: The Curious Case of Discretized Interpretation of Continuous Prompts.
CoRR
Daniel Khashabi, Shane Lyu, Sewon Min, Lianhui Qin, Kyle Richardson, Sameer Singh, Sean Welleck, Hannaneh Hajishirzi, Tushar Khot, Ashish Sabharwal, Yejin Choi
2021 J jnl
Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability.
CoRR
Kyle Richardson, Ashish Sabharwal
2021 — conf
ReadOnce Transformers: Reusable Representations of Text for Transformers.
ACL/IJCNLP (1)
Shih-Ting Lin, Ashish Sabharwal, Tushar Khot
2021 — conf
Temporal Reasoning on Implicit Events from Distant Supervision.
NAACL-HLT
Ben Zhou, Kyle Richardson, Qiang Ning, Tushar Khot, Ashish Sabharwal, Dan Roth
2021 — conf
Text Modular Networks: Learning to Decompose Tasks in the Language of Existing Models.
NAACL-HLT
Tushar Khot, Daniel Khashabi, Kyle Richardson, Peter Clark, Ashish Sabharwal
2021 J jnl
Think you have Solved Direct-Answer Question Answering? Try ARC-DA, the Direct-Answer AI2 Reasoning Challenge.
CoRR
Sumithra Bhakthavatsalam, Daniel Khashabi, Tushar Khot, Bhavana Dalvi Mishra, Kyle Richardson, Ashish Sabharwal, Carissa Schoenick, Oyvind Tafjord, Peter Clark
2020 — conf
A Simple Yet Strong Pipeline for HotpotQA.
EMNLP (1)
Dirk Groeneveld, Tushar Khot, Mausam, Ashish Sabharwal
2020 J jnl
A Simple Yet Strong Pipeline for HotpotQA.
CoRR
Dirk Groeneveld, Tushar Khot, Mausam, Ashish Sabharwal
2020 A* conf
Adversarial Filters of Dataset Biases.
ICML
Ronan Le Bras, Swabha Swayamdipta, Chandra Bhagavatula, Rowan Zellers, Matthew E. Peters, Ashish Sabharwal, Yejin Choi
2020 J jnl
Adversarial Filters of Dataset Biases.
CoRR
Ronan Le Bras, Swabha Swayamdipta, Chandra Bhagavatula, Rowan Zellers, Matthew E. Peters, Ashish Sabharwal, Yejin Choi
2020 A* conf
Belief Propagation Neural Networks.
NeurIPS
Jonathan Kuck, Shuvam Chakraborty, Hao Tang, Rachel Luo, Jiaming Song, Ashish Sabharwal, Stefano Ermon
2020 J jnl
Belief Propagation Neural Networks.
CoRR
Jonathan Kuck, Shuvam Chakraborty, Hao Tang, Rachel Luo, Jiaming Song, Ashish Sabharwal, Stefano Ermon
2020 J jnl
From 'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project.
AI Mag.
Peter Clark, Oren Etzioni, Tushar Khot, Daniel Khashabi, Bhavana Dalvi Mishra, Kyle Richardson, Ashish Sabharwal, Carissa Schoenick, Oyvind Tafjord, Niket Tandon, Sumithra Bhakthavatsalam, Dirk Groeneveld, Michal Guerquin, Michael Schmitz
2020 — conf
Is Multihop QA in DiRe Condition? Measuring and Reducing Disconnected Reasoning.
EMNLP (1)
Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal
2020 J jnl
Measuring and Reducing Non-Multifact Reasoning in Multi-hop Question Answering.
CoRR
Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal
2020 — conf
More Bang for Your Buck: Natural Perturbation for Robust Question Answering.
EMNLP (1)
Daniel Khashabi, Tushar Khot, Ashish Sabharwal
2020 J jnl
Natural Perturbation for Robust Question Answering.
CoRR
Daniel Khashabi, Tushar Khot, Ashish Sabharwal
2020 A* conf
Not All Claims are Created Equal: Choosing the Right Statistical Approach to Assess Hypotheses.
ACL
Erfan Sadeqi Azer, Daniel Khashabi, Ashish Sabharwal, Dan Roth
2020 A* conf
Probing Natural Language Inference Models through Semantic Fragments.
AAAI
Kyle Richardson, Hai Hu, Lawrence S. Moss, Ashish Sabharwal
2020 A* conf
QASC: A Dataset for Question Answering via Sentence Composition.
AAAI
Tushar Khot, Peter Clark, Michal Guerquin, Peter Jansen, Ashish Sabharwal
2020 J jnl
ReadOnce Transformers: Reusable Representations of Text for Transformers.
CoRR
Shih-Ting Lin, Ashish Sabharwal, Tushar Khot
2020 J jnl
Temporal Reasoning on Implicit Events from Distant Supervision.
CoRR
Ben Zhou, Kyle Richardson, Qiang Ning, Tushar Khot, Ashish Sabharwal, Dan Roth
2020 J jnl
Text Modular Networks: Learning to Decompose Tasks in the Language of Existing Models.
CoRR
Tushar Khot, Daniel Khashabi, Kyle Richardson, Peter Clark, Ashish Sabharwal
2020 A conf
Towards Efficient Discrete Integration via Adaptive Quantile Queries.
ECAI
Fan Ding, Hanjing Wang, Ashish Sabharwal, Yexiang Xue
2020 — conf
UNQOVERing Stereotypical Biases via Underspecified Questions.
EMNLP (Findings)
Tao Li, Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Vivek Srikumar
2020 J jnl
UnQovering Stereotyping Biases via Underspecified Questions.
CoRR
Tao Li, Tushar Khot, Daniel Khashabi, Ashish Sabharwal, Vivek Srikumar
2020 — conf
UnifiedQA: Crossing Format Boundaries With a Single QA System.
EMNLP (Findings)
Daniel Khashabi, Sewon Min, Tushar Khot, Ashish Sabharwal, Oyvind Tafjord, Peter Clark, Hannaneh Hajishirzi
2020 J jnl
UnifiedQA: Crossing Format Boundaries With a Single QA System.
CoRR
Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Oyvind Tafjord, Peter Clark, Hannaneh Hajishirzi
2020 J jnl
What Does My QA Model Know? Devising Controlled Probes using Expert.
Trans. Assoc. Comput. Linguistics
Kyle Richardson, Ashish Sabharwal
2019 J jnl
AdaWISH: Faster Discrete Integration via Adaptive Quantiles.
CoRR
Fan Ding, Hanjing Wang, Ashish Sabharwal, Yexiang Xue
2019 A conf
Adaptive Hashing for Model Counting.
UAI
Jonathan Kuck, Tri Dao, Shenjia Zhao, Burak Bartan, Ashish Sabharwal, Stefano Ermon
2019 A* conf
Approximating the Permanent by Sampling from Adaptive Partitions.
NeurIPS
Jonathan Kuck, Tri Dao, Hamid Rezatofighi, Ashish Sabharwal, Stefano Ermon
2019 J jnl
Approximating the Permanent by Sampling from Adaptive Partitions.
CoRR
Jonathan Kuck, Tri Dao, Hamid Rezatofighi, Ashish Sabharwal, Stefano Ermon
2019 — conf
Exploiting Explicit Paths for Multi-hop Reading Comprehension.
ACL (1)
Souvik Kundu, Tushar Khot, Ashish Sabharwal, Peter Clark
2019 J jnl
From 'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project.
CoRR
Peter Clark, Oren Etzioni, Daniel Khashabi, Tushar Khot, Bhavana Dalvi Mishra, Kyle Richardson, Ashish Sabharwal, Carissa Schoenick, Oyvind Tafjord, Niket Tandon, Sumithra Bhakthavatsalam, Dirk Groeneveld, Michal Guerquin, Michael Schmitz
2019 J jnl
Not All Claims are Created Equal: Choosing the Right Approach to Assess Your Hypotheses.
CoRR
Erfan Sadeqi Azer, Daniel Khashabi, Ashish Sabharwal, Dan Roth
2019 J jnl
On the Capabilities and Limitations of Reasoning for Natural Language Understanding.
CoRR
Daniel Khashabi, Erfan Sadeqi Azer, Tushar Khot, Ashish Sabharwal, Dan Roth
2019 J jnl
Probing Natural Language Inference Models through Semantic Fragments.
CoRR
Kyle Richardson, Hai Hu, Lawrence S. Moss, Ashish Sabharwal
2019 J jnl
QASC: A Dataset for Question Answering via Sentence Composition.
CoRR
Tushar Khot, Peter Clark, Michal Guerquin, Peter Jansen, Ashish Sabharwal
2019 A* conf
QUAREL: A Dataset and Models for Answering Questions about Qualitative Relationships.
AAAI
Oyvind Tafjord, Peter Clark, Matt Gardner, Wen-tau Yih, Ashish Sabharwal
2019 J jnl
Question Answering as Global Reasoning over Semantic Abstractions.
CoRR
Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Dan Roth
2019 — conf
Repurposing Entailment for Multi-Hop Question Answering Tasks.
NAACL-HLT (1)
Harsh Trivedi, Heeyoung Kwon, Tushar Khot, Ashish Sabharwal, Niranjan Balasubramanian
2019 J jnl
Repurposing Entailment for Multi-Hop Question Answering Tasks.
CoRR
Harsh Trivedi, Heeyoung Kwon, Tushar Khot, Ashish Sabharwal, Niranjan Balasubramanian
2019 J jnl
What Does My QA Model Know? Devising Controlled Probes using Expert Knowledge.
CoRR
Kyle Richardson, Ashish Sabharwal
2019 — conf
What's Missing: A Knowledge Gap Guided Approach for Multi-hop Question Answering.
EMNLP/IJCNLP (1)
Tushar Khot, Ashish Sabharwal, Peter Clark
2019 J jnl
What's Missing: A Knowledge Gap Guided Approach for Multi-hop Question Answering.
CoRR
Tushar Khot, Ashish Sabharwal, Peter Clark
2018 A conf
Adaptive Stratified Sampling for Precision-Recall Estimation.
UAI
Ashish Sabharwal, Yexiang Xue
2018 — conf
AdvEntuRe: Adversarial Training for Textual Entailment with Knowledge-Guided Examples.
ACL (1)
Dongyeop Kang, Tushar Khot, Ashish Sabharwal, Eduard H. Hovy
2018 J jnl
AdvEntuRe: Adversarial Training for Textual Entailment with Knowledge-Guided Examples.
CoRR
Dongyeop Kang, Tushar Khot, Ashish Sabharwal, Eduard H. Hovy
2018 A* conf
Approximate Inference via Weighted Rademacher Complexity.
AAAI
Jonathan Kuck, Ashish Sabharwal, Stefano Ermon
2018 J jnl
Approximate Inference via Weighted Rademacher Complexity.
CoRR
Jonathan Kuck, Ashish Sabharwal, Stefano Ermon
2018 A* conf
Bridging Knowledge Gaps in Neural Entailment via Symbolic Models.
EMNLP
Dongyeop Kang, Tushar Khot, Ashish Sabharwal, Peter Clark
2018 J jnl
Bridging Knowledge Gaps in Neural Entailment via Symbolic Models.
CoRR
Dongyeop Kang, Tushar Khot, Ashish Sabharwal, Peter Clark
2018 A* conf
Can a Suit of Armor Conduct Electricity? A New Dataset for Open Book Question Answering.
EMNLP
Todor Mihaylov, Peter Clark, Tushar Khot, Ashish Sabharwal
2018 J jnl
Can a Suit of Armor Conduct Electricity? A New Dataset for Open Book Question Answering.
CoRR
Todor Mihaylov, Peter Clark, Tushar Khot, Ashish Sabharwal
2018 A* conf
Expanding Holographic Embeddings for Knowledge Completion.
NeurIPS
Yexiang Xue, Yang Yuan, Zhitian Xu, Ashish Sabharwal
2018 J jnl
Exploiting Explicit Paths for Multi-hop Reading Comprehension.
CoRR
Souvik Kundu, Tushar Khot, Ashish Sabharwal
2018 J jnl
Knowledge Completion for Generics Using Guided Tensor Factorization.
Trans. Assoc. Comput. Linguistics
Hanie Sedghi, Ashish Sabharwal
2018 J jnl
QuaRel: A Dataset and Models for Answering Questions about Qualitative Relationships.
CoRR
Oyvind Tafjord, Peter Clark, Matt Gardner, Wen-tau Yih, Ashish Sabharwal
2018 A* conf
Question Answering as Global Reasoning Over Semantic Abstractions.
AAAI
Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Dan Roth
2018 A* conf
SciTaiL: A Textual Entailment Dataset from Science Question Answering.
AAAI
Tushar Khot, Ashish Sabharwal, Peter Clark
2018 J jnl
Think you have Solved Question Answering? Try ARC, the AI2 Reasoning Challenge.
CoRR
Peter Clark, Isaac Cowhey, Oren Etzioni, Tushar Khot, Ashish Sabharwal, Carissa Schoenick, Oyvind Tafjord
2017 — conf
Answering Complex Questions Using Open Information Extraction.
ACL (2)
Tushar Khot, Ashish Sabharwal, Peter Clark
2017 J jnl
Answering Complex Questions Using Open Information Extraction.
CoRR
Tushar Khot, Ashish Sabharwal, Peter Clark
2017 A conf
How Good Are My Predictions? Efficiently Approximating Precision-Recall Curves for Massive Datasets.
UAI
Ashish Sabharwal, Hanie Sedghi
2017 B conf
Learning What is Essential in Questions.
CoNLL
Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Dan Roth
2016 — conf
Adaptive Concentration Inequalities for Sequential Decision Problems.
NIPS
Shengjia Zhao, Enze Zhou, Ashish Sabharwal, Stefano Ermon
2016 A* conf
Beyond Parity Constraints: Fourier Analysis of Hash Functions for Inference.
ICML
Tudor Achim, Ashish Sabharwal, Stefano Ermon
2016 A* conf
Closing the Gap Between Short and Long XORs for Model Counting.
AAAI
Shengjia Zhao, Sorathan Chaturapruek, Ashish Sabharwal, Stefano Ermon
2016 A* conf
Combining Retrieval, Statistics, and Inference to Answer Elementary Science Questions.
AAAI
Peter Clark, Oren Etzioni, Tushar Khot, Ashish Sabharwal, Oyvind Tafjord, Peter D. Turney, Daniel Khashabi
2016 — ch.
DPLL: The Core of Modern Satisfiability Solvers.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Donald W. Loveland, Ashish Sabharwal, Bart Selman
2016 A* conf
Exact Sampling with Integer Linear Programs and Random Perturbations.
AAAI
Carolyn Kim, Ashish Sabharwal, Stefano Ermon
2016 J jnl
Knowledge Completion for Generics using Guided Tensor Factorization.
CoRR
Hanie Sedghi, Ashish Sabharwal
2016 A* conf
Question Answering via Integer Programming over Semi-Structured Knowledge.
IJCAI
Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth
2016 J jnl
Question Answering via Integer Programming over Semi-Structured Knowledge.
CoRR
Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth
2016 A* conf
Selecting Near-Optimal Learners via Incremental Data Allocation.
AAAI
Ashish Sabharwal, Horst Samulowitz, Gerald Tesauro
2016 J jnl
Selecting Near-Optimal Learners via Incremental Data Allocation.
CoRR
Ashish Sabharwal, Horst Samulowitz, Gerald Tesauro
2015 B conf
BDD-Guided Clause Generation.
CPAIOR
Brian Kell, Ashish Sabharwal, Willem-Jan van Hoeve
2015 J jnl
Closing the Gap Between Short and Long XORs for Model Counting.
CoRR
Shengjia Zhao, Sorathan Chaturapruek, Ashish Sabharwal, Stefano Ermon
2015 A* conf
Exploring Markov Logic Networks for Question Answering.
EMNLP
Tushar Khot, Niranjan Balasubramanian, Eric Gribkoff, Ashish Sabharwal, Peter Clark, Oren Etzioni
2015 J jnl
Markov Logic Networks for Natural Language Question Answering.
CoRR
Tushar Khot, Niranjan Balasubramanian, Eric Gribkoff, Ashish Sabharwal, Peter Clark, Oren Etzioni
2015 J jnl
Parsing Algebraic Word Problems into Equations.
Trans. Assoc. Comput. Linguistics
Rik Koncel-Kedziorski, Hannaneh Hajishirzi, Ashish Sabharwal, Oren Etzioni, Siena Dumas Ang
2014 A* conf
Designing Fast Absorbing Markov Chains.
AAAI
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2014 A conf
Insights into Parallelism with Intensive Knowledge Sharing.
CP
Ashish Sabharwal, Horst Samulowitz
2014 A* conf
Low-density Parity Constraints for Hashing-Based Discrete Integration.
ICML
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2014 A* conf
Non-Restarting SAT Solvers with Simple Preprocessing Can Efficiently Simulate Resolution.
AAAI
Paul Beame, Ashish Sabharwal
2014 B conf
Parallel Combinatorial Optimization with Decision Diagrams.
CPAIOR
David Bergman, André A. Ciré, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat, Willem Jan van Hoeve
2014 J jnl
Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search.
Ann. Math. Artif. Intell.
Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
2013 A* conf
Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering.
IJCAI
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
2013 — conf
Automated Design of Search with Composability.
AAAI (Late-Breaking Developments)
Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack
2013 — conf
Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction.
LION
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
2013 — conf
Embed and Project: Discrete Sampling with Universal Hashing.
NIPS
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2013 A* conf
Large Landscape Conservation - Synthetic and Real-World Datasets.
AAAI
Bistra Dilkina, Katherine J. Lai, Ronan LeBras, Yexiang Xue, Carla P. Gomes, Ashish Sabharwal, Jordan Suter, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery
2013 A conf
Optimization With Parity Constraints: From Binary Codes to Discrete Integration.
UAI
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2013 J jnl
Optimization With Parity Constraints: From Binary Codes to Discrete Integration.
CoRR
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2013 A* conf
Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers.
AAAI
George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon
2013 A conf
Snappy: A Simple Algorithm Portfolio.
SAT
Horst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann
2013 B conf
Stronger Inference through Implied Literals from Conflicts and Knapsack Covers.
CPAIOR
Tobias Achterberg, Ashish Sabharwal, Horst Samulowitz
2013 J jnl
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization
CoRR
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2013 — conf
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization.
ICML (2)
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2012 A conf
Augmenting Clause Learning with Implied Literals - (Poster Presentation).
SAT
Arie Matsliah, Ashish Sabharwal, Horst Samulowitz
2012 — conf
Density Propagation and Improved Bounds on the Partition Function.
NIPS
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2012 B conf
Guiding Combinatorial Optimization with UCT.
CPAIOR
Ashish Sabharwal, Horst Samulowitz, Chandra Reddy
2012 A conf
Learning Back-Clauses in SAT - (Poster Presentation).
SAT
Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
2012 J jnl
Maximizing the Spread of Cascades Using Network Design
CoRR
Daniel Sheldon, Bistra Dilkina, Adam N. Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, Carla P. Gomes, David B. Shmoys, William Allen, Ole Amundsen, William Vaughan
2012 A conf
Parallel SAT Solver Selection and Scheduling.
CP
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
2012 A conf
SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation).
SAT
Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat
2012 J jnl
Survey Propagation Revisited
CoRR
Lukas Kroc, Ashish Sabharwal, Bart Selman
2012 J jnl
Understanding Sampling Style Adversarial Search Methods
CoRR
Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
2011 A* conf
A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT.
AAAI
Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann
2011 — conf
Accelerated Adaptive Markov Chain for Partition Function Computation.
NIPS
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2011 A conf
Algorithm Selection and Scheduling.
CP
Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
2011 A conf
Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling.
CP
Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover
2011 J jnl
Leveraging belief propagation, backtrack search, and statistics for model counting.
Ann. Oper. Res.
Lukas Kroc, Ashish Sabharwal, Bart Selman
2011 A conf
Non-Model-Based Algorithm Portfolios for SAT.
SAT
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
2011 J jnl
S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition.
Artif. Intell.
Ashish Sabharwal, Bart Selman
2011 J jnl
Towards Understanding and Harnessing the Potential of Clause Learning
CoRR
Paul Beame, Henry A. Kautz, Ashish Sabharwal
2010 A conf
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search.
SAT
Lukas Kroc, Ashish Sabharwal, Bart Selman
2010 A conf
An Empirical Study of Optimization for Maximizing Diffusion in Networks.
CP
Kiyan Ahmadizadeh, Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
2010 — conf
Approximate Inference for Clusters in Solution Spaces.
Abstraction, Reformulation, and Approximation
Lukas Kroc, Ashish Sabharwal, Bart Selman
2010 J jnl
Floodlight illumination of infinite wedges.
Comput. Geom.
Matthew Cary, Atri Rudra, Ashish Sabharwal, Erik Vee
2010 A conf
Maximizing the Spread of Cascades Using Network Design.
UAI
Daniel Sheldon, Bistra Dilkina, Adam N. Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, Carla P. Gomes, David B. Shmoys, William Allen, Ole Amundsen, William Vaughan
2010 A* conf
On Adversarial Search Spaces and Sampling-Based Planning.
ICAPS
Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
2010 J jnl
Predicting direct protein interactions from affinity purification mass spectrometry data.
Algorithms Mol. Biol.
Ethan Kim, Ashish Sabharwal, Adrian Vetta, Mathieu Blanchette
2010 — conf
Preface.
Abstraction, Reformulation, and Approximation
Gregory M. Provan, Ashish Sabharwal
2010 J jnl
Reports of the AAAI 2010 Conference Workshops.
AI Mag.
David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell Jr., Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan
2010 A conf
Understanding Sampling Style Adversarial Search Methods.
UAI
Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
2009 A conf
Backdoors in the Context of Learning.
SAT
Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
2009 B conf
Backdoors to Combinatorial Optimization: Feasibility and Optimality.
CPAIOR
Bistra Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann
2009 — ch.
Exploiting Runtime Variation in Complete Solvers.
Handbook of Satisfiability
Carla P. Gomes, Ashish Sabharwal
2009 J jnl
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings.
J. Artif. Intell. Res.
Carmel Domshlak, Jörg Hoffmann, Ashish Sabharwal
2009 — ch.
Incomplete Algorithms.
Handbook of Satisfiability
Henry A. Kautz, Ashish Sabharwal, Bart Selman
2009 A* conf
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT.
IJCAI
Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman
2009 Misc conf
Message-passing and local heuristics as decimation strategies for satisfiability.
SAC
Lukas Kroc, Ashish Sabharwal, Bart Selman
2009 — ch.
Model Counting.
Handbook of Satisfiability
Carla P. Gomes, Ashish Sabharwal, Bart Selman
2009 J jnl
New filtering algorithms for combinations of among constraints.
Constraints An Int. J.
Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal
2009 A conf
Relaxed DPLL Search for MaxSAT.
SAT
Lukas Kroc, Ashish Sabharwal, Bart Selman
2009 J jnl
SymChaff: exploiting symmetry in a structure-aware satisfiability solver.
Constraints An Int. J.
Ashish Sabharwal
2008 B conf
Connections in Networks: A Hybrid Approach.
CPAIOR
Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal
2008 — conf
Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation.
NIPS
Lukas Kroc, Ashish Sabharwal, Bart Selman
2008 B conf
Filtering Atmost1 on Pairs of Set Variables.
CPAIOR
Willem Jan van Hoeve, Ashish Sabharwal
2008 B conf
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.
CPAIOR
Lukas Kroc, Ashish Sabharwal, Bart Selman
2008 Misc conf
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.
ISAIM
Lukas Kroc, Bart Selman, Ashish Sabharwal
2008 — ch.
Satisfiability Solvers.
Handbook of Knowledge Representation
Carla P. Gomes, Henry A. Kautz, Ashish Sabharwal, Bart Selman
2008 Misc conf
Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing.
ISAIM
Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
2007 B conf
Connections in Networks: Hardness of Feasibility Versus Optimality.
CPAIOR
Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter
2007 A* conf
Counting CSP Solutions Using Generalized XOR Constraints.
AAAI
Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman
2007 A* conf
From Sampling to Model Counting.
IJCAI
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
2007 A* conf
Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics.
ICALP
Matthew Cary, Atri Rudra, Ashish Sabharwal
2007 — conf
Sampling and Soundness: Can We Have Both?
New Forms of Reasoning for the Semantic Web
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
2007 A conf
Short XORs for Model Counting: From Theory to Practice.
SAT
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
2007 A conf
Survey Propagation Revisited.
UAI
Lukas Kroc, Ashish Sabharwal, Bart Selman
2007 A* conf
The Impact of Network Topology on Pure Nash Equilibria in Graphical Games.
AAAI
Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
2007 J jnl
The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs.
Comput. Complex.
Paul Beame, Russell Impagliazzo, Ashish Sabharwal
2007 A conf
Tradeoffs in the Complexity of Backdoor Detection.
CP
Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
2006 A* conf
Friends or Foes? An AI Planning Perspective on Abstraction and Search.
ICAPS
Jörg Hoffmann, Ashish Sabharwal, Carmel Domshlak
2006 A* conf
Model Counting: A New Strategy for Obtaining Good Bounds.
AAAI
Carla P. Gomes, Ashish Sabharwal, Bart Selman
2006 — conf
Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints.
NIPS
Carla P. Gomes, Ashish Sabharwal, Bart Selman
2006 A conf
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency.
SAT
Ashish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman
2006 A conf
Revisiting the Sequence Constraint.
CP
Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal
2005 — —
Algorithmic applications of propositional proof complexity.
Ashish Sabharwal
2005 A* conf
SymChaff: A Structure-Aware Satisfiability Solver.
AAAI
Ashish Sabharwal
2004 J jnl
Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles.
SIAM J. Comput.
Joshua Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal
2004 J jnl
Towards Understanding and Harnessing the Potential of Clause Learning.
J. Artif. Intell. Res.
Paul Beame, Henry A. Kautz, Ashish Sabharwal
2003 A* conf
Understanding the Power of Clause Learning.
IJCAI
Paul Beame, Henry A. Kautz, Ashish Sabharwal
2003 A conf
Using Problem Structure for Efficient Clause Learning.
SAT
Ashish Sabharwal, Paul Beame, Henry A. Kautz
2002 A* conf
Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles.
FOCS
Josh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal
2002 J jnl
Bounded-depth Frege lower bounds for weaker pigeonhole principles
Electron. Colloquium Comput. Complex.
Josh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal
2001 A conf
Resolution Complexity of Independent Sets in Random Graphs.
CCC
Paul Beame, Russell Impagliazzo, Ashish Sabharwal