


Остановите войну!
for scientists:
Ashish 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
- 2022
- [j17]Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal:
♫ MuSiQue: Multihop Questions via Single-hop Question Composition. Trans. Assoc. Comput. Linguistics 10: 539-554 (2022) - [c107]Tushar Khot, Kyle Richardson, Daniel Khashabi, Ashish Sabharwal:
Hey AI, Can You Solve Complex Tasks by Talking to Agents? ACL (Findings) 2022: 1808-1823 - [i55]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) - [i54]Zhengzhong Liang, Tushar Khot, Steven Bethard, Mihai Surdeanu, Ashish Sabharwal:
Better Retrieval May Not Lead to Better Question Answering. CoRR abs/2205.03685 (2022) - [i53]Harsh Trivedi, Niranjan Balasubramanian, Tushar Khot, Ashish Sabharwal:
Teaching Broad Reasoning Skills via Decomposition-Guided Contexts. CoRR abs/2205.12496 (2022) - [i52]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, Ameet Rahane, Anantharaman S. Iyer, Anders Andreassen, 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, et al.:
Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models. CoRR abs/2206.04615 (2022) - [i51]William Merrill, Ashish Sabharwal:
Log-Precision Transformers are Constant-Depth Uniform Threshold Circuits. CoRR abs/2207.00729 (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]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 - [c57]George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon:
Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. AAAI 2013 - [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]