default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAshish Sabharwal
Person information
- affiliation: AI2, Allen Institute for Artificial Intelligence, Seattle, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c133]Harsh Trivedi, Tushar Khot, Mareike Hartmann, Ruskin Manku, Vinty Dong, Edward Li, Shashank Gupta, Ashish Sabharwal, Niranjan Balasubramanian:
AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agents. ACL (1) 2024: 16022-16076- [c132]Ben Bogin, Kejuan Yang, Shashank Gupta, Kyle Richardson, Erin Bransom, Peter Clark, Ashish Sabharwal, Tushar Khot:
SUPER: Evaluating Agents on Setting Up and Executing Tasks from Research Repositories. EMNLP 2024: 12622-12645 - [c131]Matthew Finlayson, John Hewitt, Alexander Koller, Swabha Swayamdipta, Ashish Sabharwal:
Closing the Curious Case of Neural Text Degeneration. ICLR 2024 - [c130]Shashank Gupta, Vaishnavi Shrivastava, Ameet Deshpande, Ashwin Kalyan, Peter Clark, Ashish Sabharwal, Tushar Khot:
Bias Runs Deep: Implicit Reasoning Biases in Persona-Assigned LLMs. ICLR 2024 - [c129]William Merrill, Ashish Sabharwal:
The Expressive Power of Transformers with Chain of Thought. ICLR 2024 - [c128]Bodhisattwa Prasad Majumder, Harshit Surana, Dhruv Agarwal, Sanchaita Hazra, Ashish Sabharwal, Peter Clark:
Position: Data-driven Discovery with Large Generative Models. ICML 2024 - [c127]William Merrill, Jackson Petty, Ashish Sabharwal:
The Illusion of State in State-Space Models. ICML 2024 - [c126]Vishvak Murahari, Ameet Deshpande, Peter Clark, Tanmay Rajpurohit, Ashish Sabharwal, Karthik Narasimhan, Ashwin Kalyan:
QualEval: Qualitative Evaluation for Model Improvement. NAACL-HLT 2024: 2093-2111 - [c125]Archiki Prasad, Alexander Koller, Mareike Hartmann, Peter Clark, Ashish Sabharwal, Mohit Bansal, Tushar Khot:
ADaPT: As-Needed Decomposition and Planning with Language Models. NAACL-HLT (Findings) 2024: 4226-4252 - [c124]Ben Bogin, Shivanshu Gupta, Peter Clark, Ashish Sabharwal:
Leveraging Code to Improve In-Context Learning for Semantic Parsing. NAACL-HLT 2024: 4971-5012 - [i80]Bodhisattwa Prasad Majumder, Harshit Surana, Dhruv Agarwal, Sanchaita Hazra, Ashish Sabharwal, Peter Clark:
Data-driven Discovery with Large Generative Models. CoRR abs/2402.13610 (2024) - [i79]Lena Strobl, Dana Angluin, David Chiang, Jonathan Rawski, Ashish Sabharwal:
Transformers as Transducers. CoRR abs/2404.02040 (2024) - [i78]William Merrill, Jackson Petty, Ashish Sabharwal:
The Illusion of State in State-Space Models. CoRR abs/2404.08819 (2024) - [i77]Bodhisattwa Prasad Majumder, Harshit Surana, Dhruv Agarwal, Bhavana Dalvi Mishra, Abhijeetsingh Meena, Aryan Prakhar, Tirth Vora, Tushar Khot, Ashish Sabharwal, Peter Clark:
DiscoveryBench: Towards Data-Driven Discovery with Large Language Models. CoRR abs/2407.01725 (2024) - [i76]Sarah Wiegreffe, Oyvind Tafjord, Yonatan Belinkov, Hannaneh Hajishirzi, Ashish Sabharwal:
Answer, Assemble, Ace: Understanding How Transformers Answer Multiple Choice Questions. CoRR abs/2407.15018 (2024) - [i75]Harsh Trivedi, Tushar Khot, Mareike Hartmann, Ruskin Manku, Vinty Dong, Edward Li, Shashank Gupta, Ashish Sabharwal, Niranjan Balasubramanian:
AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agents. CoRR abs/2407.18901 (2024) - [i74]Ben Bogin, Kejuan Yang, Shashank Gupta, Kyle D. Richardson, Erin Bransom, Peter Clark, Ashish Sabharwal, Tushar Khot:
SUPER: Evaluating Agents on Setting Up and Executing Tasks from Research Repositories. CoRR abs/2409.07440 (2024) - 2023
- [j20]William Merrill, Ashish Sabharwal:
The Parallelism Tradeoff: Limitations of Log-Precision Transformers. Trans. Assoc. Comput. Linguistics 11: 531-545 (2023) - [j19]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 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:
Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models. Trans. Mach. Learn. Res. 2023 (2023) - [c123]Zeming Chen
, Qiyue Gao, Antoine Bosselut, Ashish Sabharwal, Kyle Richardson:
DISCO: Distilling Counterfactuals with Large Language Models. ACL (1) 2023: 5514-5528 - [c122]Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal:
Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions. ACL (1) 2023: 10014-10037 - [c121]Wenhao Yu, Meng Jiang, Peter Clark, Ashish Sabharwal:
IfQA: A Dataset for Open-domain Question Answering under Counterfactual Presuppositions. EMNLP 2023: 8276-8288 - [c120]Sarah Wiegreffe, Matthew Finlayson, Oyvind Tafjord, Peter Clark, Ashish Sabharwal:
Increasing Probability Mass on Answer Choices Does Not Always Improve Accuracy. EMNLP 2023: 8392-8417 - [c119]Nora Kassner, Oyvind Tafjord, Ashish Sabharwal, Kyle Richardson, Hinrich Schütze, Peter Clark:
Language Models with Rationality. EMNLP 2023: 14190-14201 - [c118]Yao Fu, Hao Peng, Ashish Sabharwal, Peter Clark, Tushar Khot:
Complexity-Based Prompting for Multi-step Reasoning. ICLR 2023 - [c117]Tushar Khot, Harsh Trivedi, Matthew Finlayson, Yao Fu, Kyle Richardson, Peter Clark, Ashish Sabharwal:
Decomposed Prompting: A Modular Approach for Solving Complex Tasks. ICLR 2023 - [c116]Yao Fu, Hao Peng, Litu Ou, Ashish Sabharwal, Tushar Khot:
Specializing Smaller Language Models towards Multi-Step Reasoning. ICML 2023: 10421-10430 - [c115]William Merrill, Ashish Sabharwal:
A Logic for Expressing Log-Precision Transformers. NeurIPS 2023 - [i73]Yao Fu, Hao Peng, Litu Ou, Ashish Sabharwal, Tushar Khot:
Specializing Smaller Language Models towards Multi-Step Reasoning. CoRR abs/2301.12726 (2023) - [i72]Wenhao Yu, Zhihan Zhang, Zhenwen Liang, Meng Jiang, Ashish Sabharwal:
Improving Language Models via Plug-and-Play Retrieval Feedback. CoRR abs/2305.14002 (2023) - [i71]Wenhao Yu, Meng Jiang, Peter Clark, Ashish Sabharwal:
IfQA: A Dataset for Open-domain Question Answering under Counterfactual Presuppositions. CoRR abs/2305.14010 (2023) - [i70]Nora Kassner, Oyvind Tafjord, Ashish Sabharwal, Kyle Richardson, Hinrich Schütze, Peter Clark:
Language Models with Rationality. CoRR abs/2305.14250 (2023) - [i69]Sarah Wiegreffe, Matthew Finlayson, Oyvind Tafjord, Peter Clark, Ashish Sabharwal:
Attentiveness to Answer Choices Doesn't Always Entail High QA Accuracy. CoRR abs/2305.14596 (2023) - [i68]Matthew Finlayson, John Hewitt, Alexander Koller, Swabha Swayamdipta, Ashish Sabharwal:
Closing the Curious Case of Neural Text Degeneration. CoRR abs/2310.01693 (2023) - [i67]William Merrill, Ashish Sabharwal:
The Expressive Power of Transformers with Chain of Thought. CoRR abs/2310.07923 (2023) - [i66]Vishvak Murahari, Ameet Deshpande, Peter Clark, Tanmay Rajpurohit, Ashish Sabharwal, Karthik Narasimhan, Ashwin Kalyan:
QualEval: Qualitative Evaluation for Model Improvement. CoRR abs/2311.02807 (2023) - [i65]Shashank Gupta, Vaishnavi Shrivastava, Ameet Deshpande, Ashwin Kalyan, Peter Clark, Ashish Sabharwal, Tushar Khot:
Bias Runs Deep: Implicit Reasoning Biases in Persona-Assigned LLMs. CoRR abs/2311.04892 (2023) - [i64]Archiki Prasad, Alexander Koller, Mareike Hartmann, Peter Clark, Ashish Sabharwal, Mohit Bansal, Tushar Khot:
ADaPT: As-Needed Decomposition and Planning with Language Models. CoRR abs/2311.05772 (2023) - [i63]Ben Bogin, Shivanshu Gupta, Peter Clark, Ashish Sabharwal:
Leveraging Code to Improve In-context Learning for Semantic Parsing. CoRR abs/2311.09519 (2023) - 2022
- [j18]Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal:
♫ MuSiQue: Multihop Questions via Single-hop Question Composition. Trans. Assoc. Comput. Linguistics 10: 539-554 (2022) - [j17]William Merrill, Ashish Sabharwal, Noah A. Smith:
Saturated Transformers are Constant-Depth Threshold Circuits. Trans. Assoc. Comput. Linguistics 10: 843-856 (2022) - [c114]Jialin Wu, Jiasen Lu, Ashish Sabharwal, Roozbeh Mottaghi:
Multi-Modal Answer Validation for Knowledge-Based VQA. AAAI 2022: 2712-2721 - [c113]Kyle Richardson, Ashish Sabharwal:
Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability. AAAI 2022: 11209-11219 - [c112]Tushar Khot, Kyle Richardson, Daniel Khashabi, Ashish Sabharwal:
Hey AI, Can You Solve Complex Tasks by Talking to Agents? ACL (Findings) 2022: 1808-1823 - [c111]Matthew Finlayson, Kyle Richardson, Ashish Sabharwal, Peter Clark:
What Makes Instruction Learning Hard? An Investigation and a New Challenge in a Synthetic Environment. EMNLP 2022: 414-426 - [c110]Swaroop Mishra, Matthew Finlayson, Pan Lu, Leonard Tang, Sean Welleck, Chitta Baral, Tanmay Rajpurohit, Oyvind Tafjord, Ashish Sabharwal, Peter Clark, Ashwin Kalyan:
LILA: A Unified Benchmark for Mathematical Reasoning. EMNLP 2022: 5807-5832 - [c109]Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal:
Teaching Broad Reasoning Skills for Multi-Step QA by Generating Hard Contexts. EMNLP 2022: 6541-6566 - [c108]Kyle Richardson, Ronen Tamari, Oren Sultan, Dafna Shahaf, Reut Tsarfaty, Ashish Sabharwal:
Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs. EMNLP 2022: 9703-9719 - [c107]Daniel Khashabi, Xinxi Lyu, Sewon Min, Lianhui Qin, Kyle Richardson, Sean Welleck, Hannaneh Hajishirzi, Tushar Khot, Ashish Sabharwal, Sameer Singh, Yejin Choi:
Prompt Waywardness: The Curious Case of Discretized Interpretation of Continuous Prompts. NAACL-HLT 2022: 3631-3643 - [i62]Matthew Finlayson, Kyle Richardson, Ashish Sabharwal, Peter Clark:
What Makes Instruction Learning Hard? An Investigation and a New Challenge in a Synthetic Environment. CoRR abs/2204.09148 (2022) - [i61]Zhengzhong Liang, Tushar Khot, Steven Bethard, Mihai Surdeanu, Ashish Sabharwal:
Better Retrieval May Not Lead to Better Question Answering. CoRR abs/2205.03685 (2022) - [i60]Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal:
Teaching Broad Reasoning Skills via Decomposition-Guided Contexts. CoRR abs/2205.12496 (2022) - [i59]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 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:
Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models. CoRR abs/2206.04615 (2022) - [i58]William Merrill, Ashish Sabharwal:
Log-Precision Transformers are Constant-Depth Uniform Threshold Circuits. CoRR abs/2207.00729 (2022) - [i57]Yao Fu, Hao Peng, Ashish Sabharwal, Peter Clark, Tushar Khot:
Complexity-Based Prompting for Multi-Step Reasoning. CoRR abs/2210.00720 (2022) - [i56]Tushar Khot, Harsh Trivedi, Matthew Finlayson, Yao Fu, Kyle Richardson, Peter Clark, Ashish Sabharwal:
Decomposed Prompting: A Modular Approach for Solving Complex Tasks. CoRR abs/2210.02406 (2022) - [i55]William Merrill, Ashish Sabharwal:
Transformers Implement First-Order Logic with Majority Quantifiers. CoRR abs/2210.02671 (2022) - [i54]Swaroop Mishra, Matthew Finlayson, Pan Lu, Leonard Tang, Sean Welleck, Chitta Baral, Tanmay Rajpurohit, Oyvind Tafjord, Ashish Sabharwal, Peter Clark, Ashwin Kalyan:
Lila: A Unified Benchmark for Mathematical Reasoning. CoRR abs/2210.17517 (2022) - [i53]Kyle Richardson, Ronen Tamari, Oren Sultan, Reut Tsarfaty, Dafna Shahaf, Ashish Sabharwal:
Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs. CoRR abs/2211.07950 (2022) - [i52]Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal:
Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions. CoRR abs/2212.10509 (2022) - [i51]Zeming Chen, Qiyue Gao, Kyle Richardson, Antoine Bosselut, Ashish Sabharwal:
DISCO: Distilling Phrasal Counterfactuals with Large Language Models. CoRR abs/2212.10534 (2022) - 2021
- [c106]Jieyu Zhao, Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Kai-Wei Chang:
Ethical-Advice Taker: Do Language Models Understand Natural Language Interventions? ACL/IJCNLP (Findings) 2021: 4158-4164 - [c105]Shih-Ting Lin, Ashish Sabharwal, Tushar Khot:
ReadOnce Transformers: Reusable Representations of Text for Transformers. ACL/IJCNLP (1) 2021: 7129-7141 - [c104]Daniel Khashabi, Amos Ng, Tushar Khot, Ashish Sabharwal, Hannaneh Hajishirzi, Chris Callison-Burch:
GooAQ: Open Question Answering with Diverse Answer Types. EMNLP (Findings) 2021: 421-433 - [c103]Ashwin Kalyan, Abhinav Kumar, Arjun Chandrasekaran, Ashish Sabharwal, Peter Clark:
How much coffee was consumed during EMNLP 2019? Fermi Problems: A New Reasoning Challenge for AI. EMNLP (1) 2021: 7318-7328 - [c102]Tushar Khot, Daniel Khashabi, Kyle Richardson, Peter Clark, Ashish Sabharwal:
Text Modular Networks: Learning to Decompose Tasks in the Language of Existing Models. NAACL-HLT 2021: 1264-1279 - [c101]Ben Zhou, Kyle Richardson, Qiang Ning, Tushar Khot, Ashish Sabharwal, Dan Roth:
Temporal Reasoning on Implicit Events from Distant Supervision. NAACL-HLT 2021: 1361-1371 - [p7]Henry A. Kautz, Ashish Sabharwal, Bart Selman:
Incomplete Algorithms. Handbook of Satisfiability 2021: 213-232 - [p6]Carla P. Gomes, Ashish Sabharwal:
Exploiting Runtime Variation in Complete Solvers. Handbook of Satisfiability 2021: 463-480 - [p5]Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Model Counting. Handbook of Satisfiability 2021: 993-1014 - [i50]Sumithra Bhakthavatsalam, Daniel Khashabi, Tushar Khot, Bhavana Dalvi Mishra, Kyle Richardson, Ashish Sabharwal, Carissa Schoenick, Oyvind Tafjord, Peter Clark:
Think you have Solved Direct-Answer Question Answering? Try ARC-DA, the Direct-Answer AI2 Reasoning Challenge. CoRR abs/2102.03315 (2021) - [i49]Jialin Wu, Jiasen Lu, Ashish Sabharwal, Roozbeh Mottaghi:
Multi-Modal Answer Validation for Knowledge-Based VQA. CoRR abs/2103.12248 (2021) - [i48]Daniel Khashabi, Amos Ng, Tushar Khot, Ashish Sabharwal, Hannaneh Hajishirzi, Chris Callison-Burch:
GooAQ: Open Question Answering with Diverse Answer Types. CoRR abs/2104.08727 (2021) - [i47]Jieyu Zhao, Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Kai-Wei Chang:
Ethical-Advice Taker: Do Language Models Understand Natural Language Interventions? CoRR abs/2106.01465 (2021) - [i46]Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal:
MuSiQue: Multi-hop Questions via Single-hop Question Composition. CoRR abs/2108.00573 (2021) - [i45]Tushar Khot, Kyle Richardson, Daniel Khashabi, Ashish Sabharwal:
Learning to Solve Complex Tasks by Talking to Agents. CoRR abs/2110.08542 (2021) - [i44]Ashwin Kalyan, Abhinav Kumar, Arjun Chandrasekaran, Ashish Sabharwal, Peter Clark:
How Much Coffee Was Consumed During EMNLP 2019? Fermi Problems: A New Reasoning Challenge for AI. CoRR abs/2110.14207 (2021) - [i43]Daniel Khashabi, Shane Lyu, Sewon Min, Lianhui Qin, Kyle Richardson, Sameer Singh, Sean Welleck, Hannaneh Hajishirzi, Tushar Khot, Ashish Sabharwal, Yejin Choi:
PROMPT WAYWARDNESS: The Curious Case of Discretized Interpretation of Continuous Prompts. CoRR abs/2112.08348 (2021) - [i42]Kyle Richardson, Ashish Sabharwal:
Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability. CoRR abs/2112.09054 (2021) - 2020
- [j16]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:
From 'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project. AI Mag. 41(4): 39-53 (2020) - [j15]Kyle Richardson, Ashish Sabharwal:
What Does My QA Model Know? Devising Controlled Probes using Expert. Trans. Assoc. Comput. Linguistics 8: 572-588 (2020) - [c100]Tushar Khot, Peter Clark, Michal Guerquin, Peter Jansen, Ashish Sabharwal:
QASC: A Dataset for Question Answering via Sentence Composition. AAAI 2020: 8082-8090 - [c99]Kyle Richardson, Hai Hu, Lawrence S. Moss, Ashish Sabharwal:
Probing Natural Language Inference Models through Semantic Fragments. AAAI 2020: 8713-8721 - [c98]Erfan Sadeqi Azer, Daniel Khashabi, Ashish Sabharwal, Dan Roth:
Not All Claims are Created Equal: Choosing the Right Statistical Approach to Assess Hypotheses. ACL 2020: 5715-5725 - [c97]Fan Ding, Hanjing Wang, Ashish Sabharwal, Yexiang Xue:
Towards Efficient Discrete Integration via Adaptive Quantile Queries. ECAI 2020: 2577-2584 - [c96]Daniel Khashabi, Tushar Khot, Ashish Sabharwal:
More Bang for Your Buck: Natural Perturbation for Robust Question Answering. EMNLP (1) 2020: 163-170 - [c95]Daniel Khashabi, Sewon Min, Tushar Khot, Ashish Sabharwal, Oyvind Tafjord, Peter Clark, Hannaneh Hajishirzi:
UnifiedQA: Crossing Format Boundaries With a Single QA System. EMNLP (Findings) 2020: 1896-1907 - [c94]Tao Li, Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Vivek Srikumar:
UNQOVERing Stereotypical Biases via Underspecified Questions. EMNLP (Findings) 2020: 3475-3489 - [c93]Dirk Groeneveld, Tushar Khot, Mausam, Ashish Sabharwal:
A Simple Yet Strong Pipeline for HotpotQA. EMNLP (1) 2020: 8839-8845 - [c92]Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal:
Is Multihop QA in DiRe Condition? Measuring and Reducing Disconnected Reasoning. EMNLP (1) 2020: 8846-8863 - [c91]Ronan Le Bras, Swabha Swayamdipta, Chandra Bhagavatula, Rowan Zellers, Matthew E. Peters, Ashish Sabharwal, Yejin Choi:
Adversarial Filters of Dataset Biases. ICML 2020: 1078-1088 - [c90]Jonathan Kuck, Shuvam Chakraborty, Hao Tang, Rachel Luo, Jiaming Song, Ashish Sabharwal, Stefano Ermon:
Belief Propagation Neural Networks. NeurIPS 2020 - [i41]Ronan Le Bras, Swabha Swayamdipta, Chandra Bhagavatula, Rowan Zellers, Matthew E. Peters, Ashish Sabharwal, Yejin Choi:
Adversarial Filters of Dataset Biases. CoRR abs/2002.04108 (2020) - [i40]Daniel Khashabi, Tushar Khot, Ashish Sabharwal:
Natural Perturbation for Robust Question Answering. CoRR abs/2004.04849 (2020) - [i39]Dirk Groeneveld, Tushar Khot, Mausam, Ashish Sabharwal:
A Simple Yet Strong Pipeline for HotpotQA. CoRR abs/2004.06753 (2020) - [i38]Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Oyvind Tafjord, Peter Clark, Hannaneh Hajishirzi:
UnifiedQA: Crossing Format Boundaries With a Single QA System. CoRR abs/2005.00700 (2020) - [i37]Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal:
Measuring and Reducing Non-Multifact Reasoning in Multi-hop Question Answering. CoRR abs/2005.00789 (2020) - [i36]Jonathan Kuck, Shuvam Chakraborty, Hao Tang, Rachel Luo, Jiaming Song, Ashish Sabharwal, Stefano Ermon:
Belief Propagation Neural Networks. CoRR abs/2007.00295 (2020) - [i35]Tushar Khot, Daniel Khashabi, Kyle Richardson, Peter Clark, Ashish Sabharwal:
Text Modular Networks: Learning to Decompose Tasks in the Language of Existing Models. CoRR abs/2009.00751 (2020) - [i34]Tao Li, Tushar Khot, Daniel Khashabi, Ashish Sabharwal, Vivek Srikumar:
UnQovering Stereotyping Biases via Underspecified Questions. CoRR abs/2010.02428 (2020) - [i33]Ben Zhou, Kyle Richardson, Qiang Ning, Tushar Khot, Ashish Sabharwal, Dan Roth:
Temporal Reasoning on Implicit Events from Distant Supervision. CoRR abs/2010.12753 (2020) - [i32]Shih-Ting Lin, Ashish Sabharwal, Tushar Khot:
ReadOnce Transformers: Reusable Representations of Text for Transformers. CoRR abs/2010.12854 (2020)
2010 – 2019
- 2019
- [c89]Oyvind Tafjord, Peter Clark, Matt Gardner, Wen-tau Yih, Ashish Sabharwal:
QUAREL: A Dataset and Models for Answering Questions about Qualitative Relationships. AAAI 2019: 7063-7071 - [c88]Souvik Kundu, Tushar Khot, Ashish Sabharwal, Peter Clark:
Exploiting Explicit Paths for Multi-hop Reading Comprehension. ACL (1) 2019: 2737-2747 - [c87]Tushar Khot, Ashish Sabharwal, Peter Clark:
What's Missing: A Knowledge Gap Guided Approach for Multi-hop Question Answering. EMNLP/IJCNLP (1) 2019: 2814-2828 - [c86]Harsh Trivedi, Heeyoung Kwon, Tushar Khot, Ashish Sabharwal, Niranjan Balasubramanian:
Repurposing Entailment for Multi-Hop Question Answering Tasks. NAACL-HLT (1) 2019: 2948-2958 - [c85]Jonathan Kuck, Tri Dao, Hamid Rezatofighi, Ashish Sabharwal, Stefano Ermon:
Approximating the Permanent by Sampling from Adaptive Partitions. NeurIPS 2019: 8858-8869 - [c84]Jonathan Kuck, Tri Dao, Shenjia Zhao, Burak Bartan, Ashish Sabharwal, Stefano Ermon:
Adaptive Hashing for Model Counting. UAI 2019: 271-280 - [i31]Daniel Khashabi, Erfan Sadeqi Azer, Tushar Khot, Ashish Sabharwal, Dan Roth:
On the Capabilities and Limitations of Reasoning for Natural Language Understanding. CoRR abs/1901.02522 (2019) - [i30]Harsh Trivedi, Heeyoung Kwon, Tushar Khot, Ashish Sabharwal, Niranjan Balasubramanian:
Repurposing Entailment for Multi-Hop Question Answering Tasks. CoRR abs/1904.09380 (2019) - [i29]Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Dan Roth:
Question Answering as Global Reasoning over Semantic Abstractions. CoRR abs/1906.03672 (2019) - [i28]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:
From 'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project. CoRR abs/1909.01958 (2019) - [i27]Kyle Richardson, Hai Hu, Lawrence S. Moss, Ashish Sabharwal:
Probing Natural Language Inference Models through Semantic Fragments. CoRR abs/1909.07521 (2019) - [i26]Tushar Khot, Ashish Sabharwal, Peter Clark:
What's Missing: A Knowledge Gap Guided Approach for Multi-hop Question Answering. CoRR abs/1909.09253 (2019) - [i25]Fan Ding, Hanjing Wang, Ashish Sabharwal, Yexiang Xue:
AdaWISH: Faster Discrete Integration via Adaptive Quantiles. CoRR abs/1910.05811 (2019) - [i24]Tushar Khot, Peter Clark, Michal Guerquin, Peter Jansen, Ashish Sabharwal:
QASC: A Dataset for Question Answering via Sentence Composition. CoRR abs/1910.11473 (2019) - [i23]Erfan Sadeqi Azer, Daniel Khashabi, Ashish Sabharwal, Dan Roth:
Not All Claims are Created Equal: Choosing the Right Approach to Assess Your Hypotheses. CoRR abs/1911.03850 (2019) - [i22]Jonathan Kuck, Tri Dao, Hamid Rezatofighi, Ashish Sabharwal, Stefano Ermon:
Approximating the Permanent by Sampling from Adaptive Partitions. CoRR abs/1911.11856 (2019) - [i21]Kyle Richardson, Ashish Sabharwal:
What Does My QA Model Know? Devising Controlled Probes using Expert Knowledge. CoRR abs/1912.13337 (2019) - 2018
- [j14]Hanie Sedghi, Ashish Sabharwal:
Knowledge Completion for Generics Using Guided Tensor Factorization. Trans. Assoc. Comput. Linguistics 6: 197-210 (2018) - [c83]Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Dan Roth:
Question Answering as Global Reasoning Over Semantic Abstractions. AAAI 2018: 1905-1914 - [c82]Tushar Khot, Ashish Sabharwal, Peter Clark:
SciTaiL: A Textual Entailment Dataset from Science Question Answering. AAAI 2018: 5189-5197 - [c81]Jonathan Kuck, Ashish Sabharwal, Stefano Ermon:
Approximate Inference via Weighted Rademacher Complexity. AAAI 2018: 6376-6383 - [c80]Dongyeop Kang, Tushar Khot, Ashish Sabharwal, Eduard H. Hovy:
AdvEntuRe: Adversarial Training for Textual Entailment with Knowledge-Guided Examples. ACL (1) 2018: 2418-2428 - [c79]Todor Mihaylov, Peter Clark, Tushar Khot, Ashish Sabharwal:
Can a Suit of Armor Conduct Electricity? A New Dataset for Open Book Question Answering. EMNLP 2018: 2381-2391 - [c78]Dongyeop Kang, Tushar Khot, Ashish Sabharwal, Peter Clark:
Bridging Knowledge Gaps in Neural Entailment via Symbolic Models. EMNLP 2018: 4940-4945 - [c77]Yexiang Xue, Yang Yuan, Zhitian Xu, Ashish Sabharwal:
Expanding Holographic Embeddings for Knowledge Completion. NeurIPS 2018: 4496-4506 - [c76]Ashish Sabharwal, Yexiang Xue:
Adaptive Stratified Sampling for Precision-Recall Estimation. UAI 2018: 825-834 - [i20]Jonathan Kuck, Ashish Sabharwal, Stefano Ermon:
Approximate Inference via Weighted Rademacher Complexity. CoRR abs/1801.09028 (2018) - [i19]Peter Clark, Isaac Cowhey, Oren Etzioni, Tushar Khot, Ashish Sabharwal, Carissa Schoenick, Oyvind Tafjord:
Think you have Solved Question Answering? Try ARC, the AI2 Reasoning Challenge. CoRR abs/1803.05457 (2018) - [i18]Dongyeop Kang, Tushar Khot, Ashish Sabharwal, Eduard H. Hovy:
AdvEntuRe: Adversarial Training for Textual Entailment with Knowledge-Guided Examples. CoRR abs/1805.04680 (2018) - [i17]Dongyeop Kang, Tushar Khot, Ashish Sabharwal, Peter Clark:
Bridging Knowledge Gaps in Neural Entailment via Symbolic Models. CoRR abs/1808.09333 (2018) - [i16]Todor Mihaylov, Peter Clark, Tushar Khot, Ashish Sabharwal:
Can a Suit of Armor Conduct Electricity? A New Dataset for Open Book Question Answering. CoRR abs/1809.02789 (2018) - [i15]Souvik Kundu, Tushar Khot, Ashish Sabharwal:
Exploiting Explicit Paths for Multi-hop Reading Comprehension. CoRR abs/1811.01127 (2018) - [i14]Oyvind Tafjord, Peter Clark, Matt Gardner, Wen-tau Yih, Ashish Sabharwal:
QuaRel: A Dataset and Models for Answering Questions about Qualitative Relationships. CoRR abs/1811.08048 (2018) - 2017
- [c75]Tushar Khot, Ashish Sabharwal, Peter Clark:
Answering Complex Questions Using Open Information Extraction. ACL (2) 2017: 311-316 - [c74]Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Dan Roth:
Learning What is Essential in Questions. CoNLL 2017: 80-89 - [c73]Ashish Sabharwal, Hanie Sedghi:
How Good Are My Predictions? Efficiently Approximating Precision-Recall Curves for Massive Datasets. UAI 2017 - [i13]Tushar Khot, Ashish Sabharwal, Peter Clark:
Answering Complex Questions Using Open Information Extraction. CoRR abs/1704.05572 (2017) - 2016
- [c72]Ashish Sabharwal, Horst Samulowitz, Gerald Tesauro:
Selecting Near-Optimal Learners via Incremental Data Allocation. AAAI 2016: 2007-2015 - [c71]Peter Clark, Oren Etzioni, Tushar Khot, Ashish Sabharwal, Oyvind Tafjord, Peter D. Turney, Daniel Khashabi:
Combining Retrieval, Statistics, and Inference to Answer Elementary Science Questions. AAAI 2016: 2580-2586 - [c70]Carolyn Kim, Ashish Sabharwal, Stefano Ermon:
Exact Sampling with Integer Linear Programs and Random Perturbations. AAAI 2016: 3248-3254 - [c69]Shengjia Zhao, Sorathan Chaturapruek, Ashish Sabharwal, Stefano Ermon:
Closing the Gap Between Short and Long XORs for Model Counting. AAAI 2016: 3322-3329 - [c68]Tudor Achim, Ashish Sabharwal, Stefano Ermon:
Beyond Parity Constraints: Fourier Analysis of Hash Functions for Inference. ICML 2016: 2254-2262 - [c67]Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth:
Question Answering via Integer Programming over Semi-Structured Knowledge. IJCAI 2016: 1145-1152 - [c66]Shengjia Zhao, Enze Zhou, Ashish Sabharwal, Stefano Ermon:
Adaptive Concentration Inequalities for Sequential Decision Problems. NIPS 2016: 1343-1351 - [p4]Donald W. Loveland, Ashish Sabharwal, Bart Selman:
DPLL: The Core of Modern Satisfiability Solvers. Martin Davis on Computability, Computational Logic, and Mathematical Foundations 2016: 315-335 - [i12]Ashish Sabharwal, Horst Samulowitz, Gerald Tesauro:
Selecting Near-Optimal Learners via Incremental Data Allocation. CoRR abs/1601.00024 (2016) - [i11]Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth:
Question Answering via Integer Programming over Semi-Structured Knowledge. CoRR abs/1604.06076 (2016) - [i10]Hanie Sedghi, Ashish Sabharwal:
Knowledge Completion for Generics using Guided Tensor Factorization. CoRR abs/1612.03871 (2016) - 2015
- [j13]Rik Koncel-Kedziorski, Hannaneh Hajishirzi, Ashish Sabharwal, Oren Etzioni, Siena Dumas Ang:
Parsing Algebraic Word Problems into Equations. Trans. Assoc. Comput. Linguistics 3: 585-597 (2015) - [c65]Brian Kell, Ashish Sabharwal, Willem-Jan van Hoeve:
BDD-Guided Clause Generation. CPAIOR 2015: 215-230 - [c64]Tushar Khot, Niranjan Balasubramanian, Eric Gribkoff, Ashish Sabharwal, Peter Clark, Oren Etzioni:
Exploring Markov Logic Networks for Question Answering. EMNLP 2015: 685-694 - [i9]Tushar Khot, Niranjan Balasubramanian, Eric Gribkoff, Ashish Sabharwal, Peter Clark, Oren Etzioni:
Markov Logic Networks for Natural Language Question Answering. CoRR abs/1507.03045 (2015) - [i8]Shengjia Zhao, Sorathan Chaturapruek, Ashish Sabharwal, Stefano Ermon:
Closing the Gap Between Short and Long XORs for Model Counting. CoRR abs/1512.08863 (2015) - 2014
- [j12]Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal:
Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. Ann. Math. Artif. Intell. 70(4): 399-431 (2014) - [c63]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Designing Fast Absorbing Markov Chains. AAAI 2014: 849-855 - [c62]Paul Beame, Ashish Sabharwal:
Non-Restarting SAT Solvers with Simple Preprocessing Can Efficiently Simulate Resolution. AAAI 2014: 2608-2615 - [c61]Ashish Sabharwal, Horst Samulowitz:
Insights into Parallelism with Intensive Knowledge Sharing. CP 2014: 655-671 - [c60]David Bergman, André A. Ciré, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat, Willem Jan van Hoeve:
Parallel Combinatorial Optimization with Decision Diagrams. CPAIOR 2014: 351-367 - [c59]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Low-density Parity Constraints for Hashing-Based Discrete Integration. ICML 2014: 271-279 - 2013
- [c58]George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon:
Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. AAAI 2013: 481-488 - [c57]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:
Large Landscape Conservation - Synthetic and Real-World Datasets. AAAI 2013: 1369-1372 - [c56]Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack:
Automated Design of Search with Composability. AAAI (Late-Breaking Developments) 2013 - [c55]Tobias Achterberg, Ashish Sabharwal, Horst Samulowitz:
Stronger Inference through Implied Literals from Conflicts and Knapsack Covers. CPAIOR 2013: 1-11 - [c54]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. ICML (2) 2013: 334-342 - [c53]Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann:
Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering. IJCAI 2013: 608-614 - [c52]Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann:
Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction. LION 2013: 153-167 - [c51]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Embed and Project: Discrete Sampling with Universal Hashing. NIPS 2013: 2085-2093 - [c50]Horst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann:
Snappy: A Simple Algorithm Portfolio. SAT 2013: 422-428 - [c49]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Optimization With Parity Constraints: From Binary Codes to Discrete Integration. UAI 2013 - [i7]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. CoRR abs/1302.6677 (2013) - [i6]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Optimization With Parity Constraints: From Binary Codes to Discrete Integration. CoRR abs/1309.6827 (2013) - 2012
- [c48]Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann:
Parallel SAT Solver Selection and Scheduling. CP 2012: 512-526 - [c47]Ashish Sabharwal, Horst Samulowitz, Chandra Reddy:
Guiding Combinatorial Optimization with UCT. CPAIOR 2012: 356-361 - [c46]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Density Propagation and Improved Bounds on the Partition Function. NIPS 2012: 2771-2779 - [c45]Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat:
SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation). SAT 2012: 463-468 - [c44]Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann:
Learning Back-Clauses in SAT - (Poster Presentation). SAT 2012: 498-499 - [c43]Arie Matsliah, Ashish Sabharwal, Horst Samulowitz:
Augmenting Clause Learning with Implied Literals - (Poster Presentation). SAT 2012: 500-501 - [i5]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:
Maximizing the Spread of Cascades Using Network Design. CoRR abs/1203.3514 (2012) - [i4]Raghuram Ramanujan, Ashish Sabharwal, Bart Selman:
Understanding Sampling Style Adversarial Search Methods. CoRR abs/1203.4011 (2012) - [i3]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Survey Propagation Revisited. CoRR abs/1206.5273 (2012) - 2011
- [j11]Ashish Sabharwal, Bart Selman:
S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition. Artif. Intell. 175(5-6): 935-937 (2011) - [j10]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Leveraging belief propagation, backtrack search, and statistics for model counting. Ann. Oper. Res. 184(1): 209-231 (2011) - [c42]Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann:
A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT. AAAI 2011: 48-53 - [c41]Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann:
Algorithm Selection and Scheduling. CP 2011: 454-469 - [c40]Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover:
Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling. CP 2011: 508-522 - [c39]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Accelerated Adaptive Markov Chain for Partition Function Computation. NIPS 2011: 2744-2752 - [c38]Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann:
Non-Model-Based Algorithm Portfolios for SAT. SAT 2011: 369-370 - [i2]Paul Beame, Henry A. Kautz, Ashish Sabharwal:
Towards Understanding and Harnessing the Potential of Clause Learning. CoRR abs/1107.0044 (2011) - 2010
- [j9]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:
Reports of the AAAI 2010 Conference Workshops. AI Mag. 31(4): 95-108 (2010) - [j8]Ethan Kim, Ashish Sabharwal, Adrian Vetta, Mathieu Blanchette:
Predicting direct protein interactions from affinity purification mass spectrometry data. Algorithms Mol. Biol. 5: 34 (2010) - [j7]Matthew Cary, Atri Rudra, Ashish Sabharwal, Erik Vee:
Floodlight illumination of infinite wedges. Comput. Geom. 43(1): 23-34 (2010) - [c37]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Approximate Inference for Clusters in Solution Spaces. Abstraction, Reformulation, and Approximation 2010 - [c36]Gregory M. Provan, Ashish Sabharwal:
Preface. Abstraction, Reformulation, and Approximation 2010 - [c35]Raghuram Ramanujan, Ashish Sabharwal, Bart Selman:
On Adversarial Search Spaces and Sampling-Based Planning. ICAPS 2010: 242-245 - [c34]Kiyan Ahmadizadeh, Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal:
An Empirical Study of Optimization for Maximizing Diffusion in Networks. CP 2010: 514-521 - [c33]Lukas Kroc, Ashish Sabharwal, Bart Selman:
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search. SAT 2010: 346-351 - [c32]Raghuram Ramanujan, Ashish Sabharwal, Bart Selman:
Understanding Sampling Style Adversarial Search Methods. UAI 2010: 474-483 - [c31]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:
Maximizing the Spread of Cascades Using Network Design. UAI 2010: 517-526
2000 – 2009
- 2009
- [j6]Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal:
New filtering algorithms for combinations of among constraints. Constraints An Int. J. 14(2): 273-292 (2009) - [j5]Ashish Sabharwal:
SymChaff: exploiting symmetry in a structure-aware satisfiability solver. Constraints An Int. J. 14(4): 478-505 (2009) - [j4]Carmel Domshlak, Jörg Hoffmann, Ashish Sabharwal:
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings. J. Artif. Intell. Res. 36: 415-469 (2009) - [c30]Bistra Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann:
Backdoors to Combinatorial Optimization: Feasibility and Optimality. CPAIOR 2009: 56-70 - [c29]Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman:
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. IJCAI 2009: 544-551 - [c28]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Message-passing and local heuristics as decimation strategies for satisfiability. SAC 2009: 1408-1414 - [c27]Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal:
Backdoors in the Context of Learning. SAT 2009: 73-79 - [c26]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Relaxed DPLL Search for MaxSAT. SAT 2009: 447-452 - [p3]Henry A. Kautz, Ashish Sabharwal, Bart Selman:
Incomplete Algorithms. Handbook of Satisfiability 2009: 185-203 - [p2]Carla P. Gomes, Ashish Sabharwal:
Exploiting Runtime Variation in Complete Solvers. Handbook of Satisfiability 2009: 271-288 - [p1]Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Model Counting. Handbook of Satisfiability 2009: 633-654 - 2008
- [c25]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. CPAIOR 2008: 127-141 - [c24]Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal:
Connections in Networks: A Hybrid Approach. CPAIOR 2008: 303-307 - [c23]Willem Jan van Hoeve, Ashish Sabharwal:
Filtering Atmost1 on Pairs of Set Variables. CPAIOR 2008: 382-386 - [c22]Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal:
Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing. ISAIM 2008 - [c21]Lukas Kroc, Bart Selman, Ashish Sabharwal:
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. ISAIM 2008 - [c20]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation. NIPS 2008: 873-880 - [r1]Carla P. Gomes, Henry A. Kautz, Ashish Sabharwal, Bart Selman:
Satisfiability Solvers. Handbook of Knowledge Representation 2008: 89-134 - 2007
- [j3]Paul Beame, Russell Impagliazzo, Ashish Sabharwal:
The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs. Comput. Complex. 16(3): 245-297 (2007) - [c19]Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal:
The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. AAAI 2007: 42-49 - [c18]Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman:
Counting CSP Solutions Using Generalized XOR Constraints. AAAI 2007: 204-209 - [c17]Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal:
Tradeoffs in the Complexity of Backdoor Detection. CP 2007: 256-270 - [c16]Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter:
Connections in Networks: Hardness of Feasibility Versus Optimality. CPAIOR 2007: 16-28 - [c15]Matthew Cary, Atri Rudra, Ashish Sabharwal:
Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics. ICALP 2007: 949 - [c14]Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman:
From Sampling to Model Counting. IJCAI 2007: 2293-2299 - [c13]Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman:
Short XORs for Model Counting: From Theory to Practice. SAT 2007: 100-106 - [c12]Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman:
Sampling and Soundness: Can We Have Both? New Forms of Reasoning for the Semantic Web 2007 - [c11]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Survey Propagation Revisited. UAI 2007: 217-226 - 2006
- [c10]Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Model Counting: A New Strategy for Obtaining Good Bounds. AAAI 2006: 54-61 - [c9]Jörg Hoffmann, Ashish Sabharwal, Carmel Domshlak:
Friends or Foes? An AI Planning Perspective on Abstraction and Search. ICAPS 2006: 294-303 - [c8]Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal:
Revisiting the Sequence Constraint. CP 2006: 620-634 - [c7]Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. NIPS 2006: 481-488 - [c6]Ashish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman:
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. SAT 2006: 382-395 - 2005
- [b1]Ashish Sabharwal:
Algorithmic applications of propositional proof complexity. University of Washington, USA, 2005 - [c5]Ashish Sabharwal:
SymChaff: A Structure-Aware Satisfiability Solver. AAAI 2005: 467-474 - 2004
- [j2]Paul Beame, Henry A. Kautz, Ashish Sabharwal:
Towards Understanding and Harnessing the Potential of Clause Learning. J. Artif. Intell. Res. 22: 319-351 (2004) - [j1]Joshua Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal:
Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles. SIAM J. Comput. 34(2): 261-276 (2004) - 2003
- [c4]Paul Beame, Henry A. Kautz, Ashish Sabharwal:
Understanding the Power of Clause Learning. IJCAI 2003: 1194-1201 - [c3]Ashish Sabharwal, Paul Beame, Henry A. Kautz:
Using Problem Structure for Efficient Clause Learning. SAT 2003: 242-256 - 2002
- [c2]Josh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal:
Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles. FOCS 2002: 583-592 - [i1]Josh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal:
Bounded-depth Frege lower bounds for weaker pigeonhole principles. Electron. Colloquium Comput. Complex. TR02 (2002) - 2001
- [c1]Paul Beame, Russell Impagliazzo, Ashish Sabharwal:
Resolution Complexity of Independent Sets in Random Graphs. CCC 2001: 52-68
Coauthor Index
[c132] [c130] [c128] [c126] [c125] [c124] [i80] [i77] [i74] [c121] [c120] [c119] [c118] [c117] [i71] [i70] [i69] [i66] [i65] [i64] [i63] [c111] [c110] [i62] [i57] [i56] [i54] [c103] [c102] [i50] [i44] [j16] [c100] [c95] [i38] [i35] [c89] [c88] [c87] [i28] [i26] [i24] [c82] [c79] [c78] [i19] [i17] [i16] [i14] [c75] [i13] [c71] [c67] [i11] [c64] [i9]
[c133] [c132] [c130] [c125] [i77] [i75] [i74] [j19] [c122] [c118] [c117] [c116] [i73] [i65] [i64] [j18] [c112] [c109] [c107] [i61] [i60] [i59] [i57] [i56] [i52] [c106] [c105] [c104] [c102] [c101] [i50] [i48] [i47] [i46] [i45] [i43] [j16] [c100] [c96] [c95] [c94] [c93] [c92] [i40] [i39] [i38] [i37] [i35] [i34] [i33] [i32] [c88] [c87] [c86] [i31] [i30] [i29] [i28] [i26] [i24] [c83] [c82] [c80] [c79] [c78] [i19] [i18] [i17] [i16] [i15] [c75] [c74] [i13] [c71] [c67] [i11] [c64] [i9]
Kyle Richardson 0001
aka: Kyle D. Richardson
aka: Kyle D. Richardson
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-26 00:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
