Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Ashish Sabharwal
@article{DBLP:journals/corr/abs-2402-13610, author = {Bodhisattwa Prasad Majumder and Harshit Surana and Dhruv Agarwal and Sanchaita Hazra and Ashish Sabharwal and Peter Clark}, title = {Data-driven Discovery with Large Generative Models}, journal = {CoRR}, volume = {abs/2402.13610}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.13610}, doi = {10.48550/ARXIV.2402.13610}, eprinttype = {arXiv}, eprint = {2402.13610}, timestamp = {Tue, 09 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-13610.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/ChenGBS023, author = {Zeming Chen and Qiyue Gao and Antoine Bosselut and Ashish Sabharwal and Kyle Richardson}, editor = {Anna Rogers and Jordan L. Boyd{-}Graber and Naoaki Okazaki}, title = {{DISCO:} Distilling Counterfactuals with Large Language Models}, booktitle = {Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), {ACL} 2023, Toronto, Canada, July 9-14, 2023}, pages = {5514--5528}, publisher = {Association for Computational Linguistics}, year = {2023}, url = {https://doi.org/10.18653/v1/2023.acl-long.302}, doi = {10.18653/V1/2023.ACL-LONG.302}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acl/ChenGBS023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/TrivediBKS23, author = {Harsh Trivedi and Niranjan Balasubramanian and Tushar Khot and Ashish Sabharwal}, editor = {Anna Rogers and Jordan L. Boyd{-}Graber and Naoaki Okazaki}, title = {Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions}, booktitle = {Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), {ACL} 2023, Toronto, Canada, July 9-14, 2023}, pages = {10014--10037}, publisher = {Association for Computational Linguistics}, year = {2023}, url = {https://doi.org/10.18653/v1/2023.acl-long.557}, doi = {10.18653/V1/2023.ACL-LONG.557}, timestamp = {Thu, 10 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acl/TrivediBKS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/00020CS23, author = {Wenhao Yu and Meng Jiang and Peter Clark and Ashish Sabharwal}, editor = {Houda Bouamor and Juan Pino and Kalika Bali}, title = {IfQA: {A} Dataset for Open-domain Question Answering under Counterfactual Presuppositions}, booktitle = {Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2023, Singapore, December 6-10, 2023}, pages = {8276--8288}, publisher = {Association for Computational Linguistics}, year = {2023}, url = {https://doi.org/10.18653/v1/2023.emnlp-main.515}, doi = {10.18653/V1/2023.EMNLP-MAIN.515}, timestamp = {Fri, 12 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/00020CS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/WiegreffeFTCS23, author = {Sarah Wiegreffe and Matthew Finlayson and Oyvind Tafjord and Peter Clark and Ashish Sabharwal}, editor = {Houda Bouamor and Juan Pino and Kalika Bali}, title = {Increasing Probability Mass on Answer Choices Does Not Always Improve Accuracy}, booktitle = {Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2023, Singapore, December 6-10, 2023}, pages = {8392--8417}, publisher = {Association for Computational Linguistics}, year = {2023}, url = {https://doi.org/10.18653/v1/2023.emnlp-main.522}, doi = {10.18653/V1/2023.EMNLP-MAIN.522}, timestamp = {Fri, 12 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/WiegreffeFTCS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/KassnerTS0SC23, author = {Nora Kassner and Oyvind Tafjord and Ashish Sabharwal and Kyle Richardson and Hinrich Sch{\"{u}}tze and Peter Clark}, editor = {Houda Bouamor and Juan Pino and Kalika Bali}, title = {Language Models with Rationality}, booktitle = {Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2023, Singapore, December 6-10, 2023}, pages = {14190--14201}, publisher = {Association for Computational Linguistics}, year = {2023}, url = {https://doi.org/10.18653/v1/2023.emnlp-main.877}, doi = {10.18653/V1/2023.EMNLP-MAIN.877}, timestamp = {Fri, 12 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/KassnerTS0SC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclr/FuPSCK23, author = {Yao Fu and Hao Peng and Ashish Sabharwal and Peter Clark and Tushar Khot}, title = {Complexity-Based Prompting for Multi-step Reasoning}, booktitle = {The Eleventh International Conference on Learning Representations, {ICLR} 2023, Kigali, Rwanda, May 1-5, 2023}, publisher = {OpenReview.net}, year = {2023}, url = {https://openreview.net/pdf?id=yf1icZHC-l9}, timestamp = {Mon, 26 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclr/FuPSCK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclr/KhotTFF0CS23, author = {Tushar Khot and Harsh Trivedi and Matthew Finlayson and Yao Fu and Kyle Richardson and Peter Clark and Ashish Sabharwal}, title = {Decomposed Prompting: {A} Modular Approach for Solving Complex Tasks}, booktitle = {The Eleventh International Conference on Learning Representations, {ICLR} 2023, Kigali, Rwanda, May 1-5, 2023}, publisher = {OpenReview.net}, year = {2023}, url = {https://openreview.net/pdf?id=\_nGgzQjzaRy}, timestamp = {Fri, 30 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclr/KhotTFF0CS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icml/FuPOSK23, author = {Yao Fu and Hao Peng and Litu Ou and Ashish Sabharwal and Tushar Khot}, editor = {Andreas Krause and Emma Brunskill and Kyunghyun Cho and Barbara Engelhardt and Sivan Sabato and Jonathan Scarlett}, title = {Specializing Smaller Language Models towards Multi-Step Reasoning}, booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July 2023, Honolulu, Hawaii, {USA}}, series = {Proceedings of Machine Learning Research}, volume = {202}, pages = {10421--10430}, publisher = {{PMLR}}, year = {2023}, url = {https://proceedings.mlr.press/v202/fu23d.html}, timestamp = {Mon, 26 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icml/FuPOSK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/MerrillS23, author = {William Merrill and Ashish Sabharwal}, editor = {Alice Oh and Tristan Naumann and Amir Globerson and Kate Saenko and Moritz Hardt and Sergey Levine}, title = {A Logic for Expressing Log-Precision Transformers}, booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023}, year = {2023}, url = {http://papers.nips.cc/paper\_files/paper/2023/hash/a48e5877c7bf86a513950ab23b360498-Abstract-Conference.html}, timestamp = {Fri, 01 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nips/MerrillS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-12726, author = {Yao Fu and Hao Peng and Litu Ou and Ashish Sabharwal and Tushar Khot}, title = {Specializing Smaller Language Models towards Multi-Step Reasoning}, journal = {CoRR}, volume = {abs/2301.12726}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.12726}, doi = {10.48550/ARXIV.2301.12726}, eprinttype = {arXiv}, eprint = {2301.12726}, timestamp = {Mon, 26 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-12726.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-14002, author = {Wenhao Yu and Zhihan Zhang and Zhenwen Liang and Meng Jiang and Ashish Sabharwal}, title = {Improving Language Models via Plug-and-Play Retrieval Feedback}, journal = {CoRR}, volume = {abs/2305.14002}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.14002}, doi = {10.48550/ARXIV.2305.14002}, eprinttype = {arXiv}, eprint = {2305.14002}, timestamp = {Mon, 05 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-14002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-14010, author = {Wenhao Yu and Meng Jiang and Peter Clark and Ashish Sabharwal}, title = {IfQA: {A} Dataset for Open-domain Question Answering under Counterfactual Presuppositions}, journal = {CoRR}, volume = {abs/2305.14010}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.14010}, doi = {10.48550/ARXIV.2305.14010}, eprinttype = {arXiv}, eprint = {2305.14010}, timestamp = {Tue, 06 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-14010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-14250, author = {Nora Kassner and Oyvind Tafjord and Ashish Sabharwal and Kyle Richardson and Hinrich Sch{\"{u}}tze and Peter Clark}, title = {Language Models with Rationality}, journal = {CoRR}, volume = {abs/2305.14250}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.14250}, doi = {10.48550/ARXIV.2305.14250}, eprinttype = {arXiv}, eprint = {2305.14250}, timestamp = {Mon, 05 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-14250.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-14596, author = {Sarah Wiegreffe and Matthew Finlayson and Oyvind Tafjord and Peter Clark and Ashish Sabharwal}, title = {Attentiveness to Answer Choices Doesn't Always Entail High {QA} Accuracy}, journal = {CoRR}, volume = {abs/2305.14596}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.14596}, doi = {10.48550/ARXIV.2305.14596}, eprinttype = {arXiv}, eprint = {2305.14596}, timestamp = {Tue, 06 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-14596.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-01693, author = {Matthew Finlayson and John Hewitt and Alexander Koller and Swabha Swayamdipta and Ashish Sabharwal}, title = {Closing the Curious Case of Neural Text Degeneration}, journal = {CoRR}, volume = {abs/2310.01693}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.01693}, doi = {10.48550/ARXIV.2310.01693}, eprinttype = {arXiv}, eprint = {2310.01693}, timestamp = {Thu, 19 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-01693.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-07923, author = {William Merrill and Ashish Sabharwal}, title = {The Expressive Power of Transformers with Chain of Thought}, journal = {CoRR}, volume = {abs/2310.07923}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.07923}, doi = {10.48550/ARXIV.2310.07923}, eprinttype = {arXiv}, eprint = {2310.07923}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-07923.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-02807, author = {Vishvak Murahari and Ameet Deshpande and Peter Clark and Tanmay Rajpurohit and Ashish Sabharwal and Karthik Narasimhan and Ashwin Kalyan}, title = {QualEval: Qualitative Evaluation for Model Improvement}, journal = {CoRR}, volume = {abs/2311.02807}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.02807}, doi = {10.48550/ARXIV.2311.02807}, eprinttype = {arXiv}, eprint = {2311.02807}, timestamp = {Wed, 08 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-02807.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-04892, author = {Shashank Gupta and Vaishnavi Shrivastava and Ameet Deshpande and Ashwin Kalyan and Peter Clark and Ashish Sabharwal and Tushar Khot}, title = {Bias Runs Deep: Implicit Reasoning Biases in Persona-Assigned LLMs}, journal = {CoRR}, volume = {abs/2311.04892}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.04892}, doi = {10.48550/ARXIV.2311.04892}, eprinttype = {arXiv}, eprint = {2311.04892}, timestamp = {Tue, 14 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-04892.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-05772, author = {Archiki Prasad and Alexander Koller and Mareike Hartmann and Peter Clark and Ashish Sabharwal and Mohit Bansal and Tushar Khot}, title = {ADaPT: As-Needed Decomposition and Planning with Language Models}, journal = {CoRR}, volume = {abs/2311.05772}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.05772}, doi = {10.48550/ARXIV.2311.05772}, eprinttype = {arXiv}, eprint = {2311.05772}, timestamp = {Tue, 14 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-05772.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-09519, author = {Ben Bogin and Shivanshu Gupta and Peter Clark and Ashish Sabharwal}, title = {Leveraging Code to Improve In-context Learning for Semantic Parsing}, journal = {CoRR}, volume = {abs/2311.09519}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.09519}, doi = {10.48550/ARXIV.2311.09519}, eprinttype = {arXiv}, eprint = {2311.09519}, timestamp = {Tue, 21 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-09519.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tacl/TrivediBKS22, author = {Harsh Trivedi and Niranjan Balasubramanian and Tushar Khot and Ashish Sabharwal}, title = {{\unicode{9835}} MuSiQue: Multihop Questions via Single-hop Question Composition}, journal = {Trans. Assoc. Comput. Linguistics}, volume = {10}, pages = {539--554}, year = {2022}, url = {https://doi.org/10.1162/tacl\_a\_00475}, doi = {10.1162/TACL\_A\_00475}, timestamp = {Wed, 29 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tacl/TrivediBKS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tacl/MerrillSS22, author = {William Merrill and Ashish Sabharwal and Noah A. Smith}, title = {Saturated Transformers are Constant-Depth Threshold Circuits}, journal = {Trans. Assoc. Comput. Linguistics}, volume = {10}, pages = {843--856}, year = {2022}, url = {https://transacl.org/ojs/index.php/tacl/article/view/3465}, timestamp = {Wed, 26 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tacl/MerrillSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/WuLSM22, author = {Jialin Wu and Jiasen Lu and Ashish Sabharwal and Roozbeh Mottaghi}, title = {Multi-Modal Answer Validation for Knowledge-Based {VQA}}, booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI} 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22 - March 1, 2022}, pages = {2712--2721}, publisher = {{AAAI} Press}, year = {2022}, url = {https://doi.org/10.1609/aaai.v36i3.20174}, doi = {10.1609/AAAI.V36I3.20174}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/WuLSM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/0001S22, author = {Kyle Richardson and Ashish Sabharwal}, title = {Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability}, booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI} 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22 - March 1, 2022}, pages = {11209--11219}, publisher = {{AAAI} Press}, year = {2022}, url = {https://doi.org/10.1609/aaai.v36i10.21371}, doi = {10.1609/AAAI.V36I10.21371}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/0001S22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/Khot0KS22, author = {Tushar Khot and Kyle Richardson and Daniel Khashabi and Ashish Sabharwal}, editor = {Smaranda Muresan and Preslav Nakov and Aline Villavicencio}, title = {Hey AI, Can You Solve Complex Tasks by Talking to Agents?}, booktitle = {Findings of the Association for Computational Linguistics: {ACL} 2022, Dublin, Ireland, May 22-27, 2022}, pages = {1808--1823}, publisher = {Association for Computational Linguistics}, year = {2022}, url = {https://doi.org/10.18653/v1/2022.findings-acl.142}, doi = {10.18653/V1/2022.FINDINGS-ACL.142}, timestamp = {Mon, 01 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acl/Khot0KS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/Finlayson0SC22, author = {Matthew Finlayson and Kyle Richardson and Ashish Sabharwal and Peter Clark}, editor = {Yoav Goldberg and Zornitsa Kozareva and Yue Zhang}, title = {What Makes Instruction Learning Hard? An Investigation and a New Challenge in a Synthetic Environment}, booktitle = {Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022}, pages = {414--426}, publisher = {Association for Computational Linguistics}, year = {2022}, url = {https://doi.org/10.18653/v1/2022.emnlp-main.27}, doi = {10.18653/V1/2022.EMNLP-MAIN.27}, timestamp = {Thu, 10 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/Finlayson0SC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/MishraFLTWBRTSC22, author = {Swaroop Mishra and Matthew Finlayson and Pan Lu and Leonard Tang and Sean Welleck and Chitta Baral and Tanmay Rajpurohit and Oyvind Tafjord and Ashish Sabharwal and Peter Clark and Ashwin Kalyan}, editor = {Yoav Goldberg and Zornitsa Kozareva and Yue Zhang}, title = {{LILA:} {A} Unified Benchmark for Mathematical Reasoning}, booktitle = {Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022}, pages = {5807--5832}, publisher = {Association for Computational Linguistics}, year = {2022}, url = {https://doi.org/10.18653/v1/2022.emnlp-main.392}, doi = {10.18653/V1/2022.EMNLP-MAIN.392}, timestamp = {Thu, 10 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/MishraFLTWBRTSC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/TrivediBKS22, author = {Harsh Trivedi and Niranjan Balasubramanian and Tushar Khot and Ashish Sabharwal}, editor = {Yoav Goldberg and Zornitsa Kozareva and Yue Zhang}, title = {Teaching Broad Reasoning Skills for Multi-Step {QA} by Generating Hard Contexts}, booktitle = {Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022}, pages = {6541--6566}, publisher = {Association for Computational Linguistics}, year = {2022}, url = {https://doi.org/10.18653/v1/2022.emnlp-main.439}, doi = {10.18653/V1/2022.EMNLP-MAIN.439}, timestamp = {Thu, 10 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/TrivediBKS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/0001TSSTS22, author = {Kyle Richardson and Ronen Tamari and Oren Sultan and Dafna Shahaf and Reut Tsarfaty and Ashish Sabharwal}, editor = {Yoav Goldberg and Zornitsa Kozareva and Yue Zhang}, title = {Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs}, booktitle = {Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022}, pages = {9703--9719}, publisher = {Association for Computational Linguistics}, year = {2022}, url = {https://doi.org/10.18653/v1/2022.emnlp-main.658}, doi = {10.18653/V1/2022.EMNLP-MAIN.658}, timestamp = {Thu, 10 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/0001TSSTS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/naacl/KhashabiLMQ0WHK22, author = {Daniel Khashabi and Xinxi Lyu and Sewon Min and Lianhui Qin and Kyle Richardson and Sean Welleck and Hannaneh Hajishirzi and Tushar Khot and Ashish Sabharwal and Sameer Singh and Yejin Choi}, editor = {Marine Carpuat and Marie{-}Catherine de Marneffe and Iv{\'{a}}n Vladimir Meza Ru{\'{\i}}z}, title = {Prompt Waywardness: The Curious Case of Discretized Interpretation of Continuous Prompts}, booktitle = {Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, {NAACL} 2022, Seattle, WA, United States, July 10-15, 2022}, pages = {3631--3643}, publisher = {Association for Computational Linguistics}, year = {2022}, url = {https://doi.org/10.18653/v1/2022.naacl-main.266}, doi = {10.18653/V1/2022.NAACL-MAIN.266}, timestamp = {Thu, 04 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/naacl/KhashabiLMQ0WHK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2204-09148, author = {Matthew Finlayson and Kyle Richardson and Ashish Sabharwal and Peter Clark}, title = {What Makes Instruction Learning Hard? An Investigation and a New Challenge in a Synthetic Environment}, journal = {CoRR}, volume = {abs/2204.09148}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2204.09148}, doi = {10.48550/ARXIV.2204.09148}, eprinttype = {arXiv}, eprint = {2204.09148}, timestamp = {Mon, 25 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2204-09148.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-03685, author = {Zhengzhong Liang and Tushar Khot and Steven Bethard and Mihai Surdeanu and Ashish Sabharwal}, title = {Better Retrieval May Not Lead to Better Question Answering}, journal = {CoRR}, volume = {abs/2205.03685}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.03685}, doi = {10.48550/ARXIV.2205.03685}, eprinttype = {arXiv}, eprint = {2205.03685}, timestamp = {Wed, 11 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-03685.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-12496, author = {Harsh Trivedi and Niranjan Balasubramanian and Tushar Khot and Ashish Sabharwal}, title = {Teaching Broad Reasoning Skills via Decomposition-Guided Contexts}, journal = {CoRR}, volume = {abs/2205.12496}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.12496}, doi = {10.48550/ARXIV.2205.12496}, eprinttype = {arXiv}, eprint = {2205.12496}, timestamp = {Mon, 30 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-12496.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2206-04615, author = {Aarohi Srivastava and Abhinav Rastogi and Abhishek Rao and Abu Awal Md Shoeb and Abubakar Abid and Adam Fisch and Adam R. Brown and Adam Santoro and Aditya Gupta and Adri{\`{a}} Garriga{-}Alonso and Agnieszka Kluska and Aitor Lewkowycz and Akshat Agarwal and Alethea Power and Alex Ray and Alex Warstadt and Alexander W. Kocurek and Ali Safaya and Ali Tazarv and Alice Xiang and Alicia Parrish and Allen Nie and Aman Hussain and Amanda Askell and Amanda Dsouza and Ameet Rahane and Anantharaman S. Iyer and Anders Andreassen and Andrea Santilli and Andreas Stuhlm{\"{u}}ller and Andrew M. Dai and Andrew La and Andrew K. Lampinen and Andy Zou and Angela Jiang and Angelica Chen and Anh Vuong and Animesh Gupta and Anna Gottardi and Antonio Norelli and Anu Venkatesh and Arash Gholamidavoodi and Arfa Tabassum and Arul Menezes and Arun Kirubarajan and Asher Mullokandov and Ashish Sabharwal and Austin Herrick and Avia Efrat and Aykut Erdem and Ayla Karakas and et al.}, title = {Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models}, journal = {CoRR}, volume = {abs/2206.04615}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2206.04615}, doi = {10.48550/ARXIV.2206.04615}, eprinttype = {arXiv}, eprint = {2206.04615}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-04615.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2207-00729, author = {William Merrill and Ashish Sabharwal}, title = {Log-Precision Transformers are Constant-Depth Uniform Threshold Circuits}, journal = {CoRR}, volume = {abs/2207.00729}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2207.00729}, doi = {10.48550/ARXIV.2207.00729}, eprinttype = {arXiv}, eprint = {2207.00729}, timestamp = {Wed, 06 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2207-00729.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-00720, author = {Yao Fu and Hao Peng and Ashish Sabharwal and Peter Clark and Tushar Khot}, title = {Complexity-Based Prompting for Multi-Step Reasoning}, journal = {CoRR}, volume = {abs/2210.00720}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.00720}, doi = {10.48550/ARXIV.2210.00720}, eprinttype = {arXiv}, eprint = {2210.00720}, timestamp = {Mon, 26 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-00720.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-02406, author = {Tushar Khot and Harsh Trivedi and Matthew Finlayson and Yao Fu and Kyle Richardson and Peter Clark and Ashish Sabharwal}, title = {Decomposed Prompting: {A} Modular Approach for Solving Complex Tasks}, journal = {CoRR}, volume = {abs/2210.02406}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.02406}, doi = {10.48550/ARXIV.2210.02406}, eprinttype = {arXiv}, eprint = {2210.02406}, timestamp = {Fri, 07 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-02406.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-02671, author = {William Merrill and Ashish Sabharwal}, title = {Transformers Implement First-Order Logic with Majority Quantifiers}, journal = {CoRR}, volume = {abs/2210.02671}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.02671}, doi = {10.48550/ARXIV.2210.02671}, eprinttype = {arXiv}, eprint = {2210.02671}, timestamp = {Fri, 07 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-02671.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-17517, author = {Swaroop Mishra and Matthew Finlayson and Pan Lu and Leonard Tang and Sean Welleck and Chitta Baral and Tanmay Rajpurohit and Oyvind Tafjord and Ashish Sabharwal and Peter Clark and Ashwin Kalyan}, title = {Lila: {A} Unified Benchmark for Mathematical Reasoning}, journal = {CoRR}, volume = {abs/2210.17517}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.17517}, doi = {10.48550/ARXIV.2210.17517}, eprinttype = {arXiv}, eprint = {2210.17517}, timestamp = {Thu, 03 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-17517.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2211-07950, author = {Kyle Richardson and Ronen Tamari and Oren Sultan and Reut Tsarfaty and Dafna Shahaf and Ashish Sabharwal}, title = {Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs}, journal = {CoRR}, volume = {abs/2211.07950}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2211.07950}, doi = {10.48550/ARXIV.2211.07950}, eprinttype = {arXiv}, eprint = {2211.07950}, timestamp = {Wed, 23 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-07950.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2212-10509, author = {Harsh Trivedi and Niranjan Balasubramanian and Tushar Khot and Ashish Sabharwal}, title = {Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions}, journal = {CoRR}, volume = {abs/2212.10509}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2212.10509}, doi = {10.48550/ARXIV.2212.10509}, eprinttype = {arXiv}, eprint = {2212.10509}, timestamp = {Wed, 04 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2212-10509.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2212-10534, author = {Zeming Chen and Qiyue Gao and Kyle Richardson and Antoine Bosselut and Ashish Sabharwal}, title = {{DISCO:} Distilling Phrasal Counterfactuals with Large Language Models}, journal = {CoRR}, volume = {abs/2212.10534}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2212.10534}, doi = {10.48550/ARXIV.2212.10534}, eprinttype = {arXiv}, eprint = {2212.10534}, timestamp = {Wed, 04 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2212-10534.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/ZhaoKKSC21, author = {Jieyu Zhao and Daniel Khashabi and Tushar Khot and Ashish Sabharwal and Kai{-}Wei Chang}, editor = {Chengqing Zong and Fei Xia and Wenjie Li and Roberto Navigli}, title = {Ethical-Advice Taker: Do Language Models Understand Natural Language Interventions?}, booktitle = {Findings of the Association for Computational Linguistics: {ACL/IJCNLP} 2021, Online Event, August 1-6, 2021}, series = {Findings of {ACL}}, volume = {{ACL/IJCNLP} 2021}, pages = {4158--4164}, publisher = {Association for Computational Linguistics}, year = {2021}, url = {https://doi.org/10.18653/v1/2021.findings-acl.364}, doi = {10.18653/V1/2021.FINDINGS-ACL.364}, timestamp = {Fri, 27 Aug 2021 08:39:19 +0200}, biburl = {https://dblp.org/rec/conf/acl/ZhaoKKSC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/LinSK20, author = {Shih{-}Ting Lin and Ashish Sabharwal and Tushar Khot}, editor = {Chengqing Zong and Fei Xia and Wenjie Li and Roberto Navigli}, title = {ReadOnce Transformers: Reusable Representations of Text for Transformers}, booktitle = {Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, {ACL/IJCNLP} 2021, (Volume 1: Long Papers), Virtual Event, August 1-6, 2021}, pages = {7129--7141}, publisher = {Association for Computational Linguistics}, year = {2021}, url = {https://doi.org/10.18653/v1/2021.acl-long.554}, doi = {10.18653/V1/2021.ACL-LONG.554}, timestamp = {Mon, 09 Aug 2021 16:25:37 +0200}, biburl = {https://dblp.org/rec/conf/acl/LinSK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/KhashabiNKSHC21, author = {Daniel Khashabi and Amos Ng and Tushar Khot and Ashish Sabharwal and Hannaneh Hajishirzi and Chris Callison{-}Burch}, editor = {Marie{-}Francine Moens and Xuanjing Huang and Lucia Specia and Scott Wen{-}tau Yih}, title = {GooAQ: Open Question Answering with Diverse Answer Types}, booktitle = {Findings of the Association for Computational Linguistics: {EMNLP} 2021, Virtual Event / Punta Cana, Dominican Republic, 16-20 November, 2021}, pages = {421--433}, publisher = {Association for Computational Linguistics}, year = {2021}, url = {https://doi.org/10.18653/v1/2021.findings-emnlp.38}, doi = {10.18653/V1/2021.FINDINGS-EMNLP.38}, timestamp = {Fri, 16 Feb 2024 08:27:36 +0100}, biburl = {https://dblp.org/rec/conf/emnlp/KhashabiNKSHC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/KalyanKCSC21, author = {Ashwin Kalyan and Abhinav Kumar and Arjun Chandrasekaran and Ashish Sabharwal and Peter Clark}, editor = {Marie{-}Francine Moens and Xuanjing Huang and Lucia Specia and Scott Wen{-}tau Yih}, title = {How much coffee was consumed during {EMNLP} 2019? Fermi Problems: {A} New Reasoning Challenge for {AI}}, booktitle = {Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2021, Virtual Event / Punta Cana, Dominican Republic, 7-11 November, 2021}, pages = {7318--7328}, publisher = {Association for Computational Linguistics}, year = {2021}, url = {https://doi.org/10.18653/v1/2021.emnlp-main.582}, doi = {10.18653/V1/2021.EMNLP-MAIN.582}, timestamp = {Fri, 16 Feb 2024 08:27:36 +0100}, biburl = {https://dblp.org/rec/conf/emnlp/KalyanKCSC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/naacl/KhotKRCS21, author = {Tushar Khot and Daniel Khashabi and Kyle Richardson and Peter Clark and Ashish Sabharwal}, editor = {Kristina Toutanova and Anna Rumshisky and Luke Zettlemoyer and Dilek Hakkani{-}T{\"{u}}r and Iz Beltagy and Steven Bethard and Ryan Cotterell and Tanmoy Chakraborty and Yichao Zhou}, title = {Text Modular Networks: Learning to Decompose Tasks in the Language of Existing Models}, booktitle = {Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, {NAACL-HLT} 2021, Online, June 6-11, 2021}, pages = {1264--1279}, publisher = {Association for Computational Linguistics}, year = {2021}, url = {https://doi.org/10.18653/v1/2021.naacl-main.99}, doi = {10.18653/V1/2021.NAACL-MAIN.99}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/naacl/KhotKRCS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/naacl/ZhouRNKSR21, author = {Ben Zhou and Kyle Richardson and Qiang Ning and Tushar Khot and Ashish Sabharwal and Dan Roth}, editor = {Kristina Toutanova and Anna Rumshisky and Luke Zettlemoyer and Dilek Hakkani{-}T{\"{u}}r and Iz Beltagy and Steven Bethard and Ryan Cotterell and Tanmoy Chakraborty and Yichao Zhou}, title = {Temporal Reasoning on Implicit Events from Distant Supervision}, booktitle = {Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, {NAACL-HLT} 2021, Online, June 6-11, 2021}, pages = {1361--1371}, publisher = {Association for Computational Linguistics}, year = {2021}, url = {https://doi.org/10.18653/v1/2021.naacl-main.107}, doi = {10.18653/V1/2021.NAACL-MAIN.107}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/naacl/ZhouRNKSR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/KautzSS21, author = {Henry A. Kautz and Ashish Sabharwal and Bart Selman}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Incomplete Algorithms}, booktitle = {Handbook of Satisfiability - Second Edition}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {336}, pages = {213--232}, publisher = {{IOS} Press}, year = {2021}, url = {https://doi.org/10.3233/FAIA200989}, doi = {10.3233/FAIA200989}, timestamp = {Fri, 06 May 2022 08:03:54 +0200}, biburl = {https://dblp.org/rec/series/faia/KautzSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/GomesS21, author = {Carla P. Gomes and Ashish Sabharwal}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Exploiting Runtime Variation in Complete Solvers}, booktitle = {Handbook of Satisfiability - Second Edition}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {336}, pages = {463--480}, publisher = {{IOS} Press}, year = {2021}, url = {https://doi.org/10.3233/FAIA200994}, doi = {10.3233/FAIA200994}, timestamp = {Fri, 06 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/faia/GomesS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/GomesSS21, author = {Carla P. Gomes and Ashish Sabharwal and Bart Selman}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Model Counting}, booktitle = {Handbook of Satisfiability - Second Edition}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {336}, pages = {993--1014}, publisher = {{IOS} Press}, year = {2021}, url = {https://doi.org/10.3233/FAIA201009}, doi = {10.3233/FAIA201009}, timestamp = {Fri, 06 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/faia/GomesSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2102-03315, author = {Sumithra Bhakthavatsalam and Daniel Khashabi and Tushar Khot and Bhavana Dalvi Mishra and Kyle Richardson and Ashish Sabharwal and Carissa Schoenick and Oyvind Tafjord and Peter Clark}, title = {Think you have Solved Direct-Answer Question Answering? Try ARC-DA, the Direct-Answer {AI2} Reasoning Challenge}, journal = {CoRR}, volume = {abs/2102.03315}, year = {2021}, url = {https://arxiv.org/abs/2102.03315}, eprinttype = {arXiv}, eprint = {2102.03315}, timestamp = {Fri, 12 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2102-03315.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-12248, author = {Jialin Wu and Jiasen Lu and Ashish Sabharwal and Roozbeh Mottaghi}, title = {Multi-Modal Answer Validation for Knowledge-Based {VQA}}, journal = {CoRR}, volume = {abs/2103.12248}, year = {2021}, url = {https://arxiv.org/abs/2103.12248}, eprinttype = {arXiv}, eprint = {2103.12248}, timestamp = {Tue, 06 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-12248.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-08727, author = {Daniel Khashabi and Amos Ng and Tushar Khot and Ashish Sabharwal and Hannaneh Hajishirzi and Chris Callison{-}Burch}, title = {GooAQ: Open Question Answering with Diverse Answer Types}, journal = {CoRR}, volume = {abs/2104.08727}, year = {2021}, url = {https://arxiv.org/abs/2104.08727}, eprinttype = {arXiv}, eprint = {2104.08727}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-08727.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-01465, author = {Jieyu Zhao and Daniel Khashabi and Tushar Khot and Ashish Sabharwal and Kai{-}Wei Chang}, title = {Ethical-Advice Taker: Do Language Models Understand Natural Language Interventions?}, journal = {CoRR}, volume = {abs/2106.01465}, year = {2021}, url = {https://arxiv.org/abs/2106.01465}, eprinttype = {arXiv}, eprint = {2106.01465}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-01465.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-00573, author = {Harsh Trivedi and Niranjan Balasubramanian and Tushar Khot and Ashish Sabharwal}, title = {MuSiQue: Multi-hop Questions via Single-hop Question Composition}, journal = {CoRR}, volume = {abs/2108.00573}, year = {2021}, url = {https://arxiv.org/abs/2108.00573}, eprinttype = {arXiv}, eprint = {2108.00573}, timestamp = {Thu, 05 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-00573.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-08542, author = {Tushar Khot and Kyle Richardson and Daniel Khashabi and Ashish Sabharwal}, title = {Learning to Solve Complex Tasks by Talking to Agents}, journal = {CoRR}, volume = {abs/2110.08542}, year = {2021}, url = {https://arxiv.org/abs/2110.08542}, eprinttype = {arXiv}, eprint = {2110.08542}, timestamp = {Fri, 22 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-08542.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-14207, author = {Ashwin Kalyan and Abhinav Kumar and Arjun Chandrasekaran and Ashish Sabharwal and Peter Clark}, title = {How Much Coffee Was Consumed During {EMNLP} 2019? Fermi Problems: {A} New Reasoning Challenge for {AI}}, journal = {CoRR}, volume = {abs/2110.14207}, year = {2021}, url = {https://arxiv.org/abs/2110.14207}, eprinttype = {arXiv}, eprint = {2110.14207}, timestamp = {Fri, 29 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-14207.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-08348, author = {Daniel Khashabi and Shane Lyu and Sewon Min and Lianhui Qin and Kyle Richardson and Sameer Singh and Sean Welleck and Hannaneh Hajishirzi and Tushar Khot and Ashish Sabharwal and Yejin Choi}, title = {{PROMPT} {WAYWARDNESS:} The Curious Case of Discretized Interpretation of Continuous Prompts}, journal = {CoRR}, volume = {abs/2112.08348}, year = {2021}, url = {https://arxiv.org/abs/2112.08348}, eprinttype = {arXiv}, eprint = {2112.08348}, timestamp = {Thu, 04 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-08348.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-09054, author = {Kyle Richardson and Ashish Sabharwal}, title = {Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability}, journal = {CoRR}, volume = {abs/2112.09054}, year = {2021}, url = {https://arxiv.org/abs/2112.09054}, eprinttype = {arXiv}, eprint = {2112.09054}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-09054.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/ClarkEKKMRSSTTB20, author = {Peter Clark and Oren Etzioni and Tushar Khot and Daniel Khashabi and Bhavana Dalvi Mishra and Kyle Richardson and Ashish Sabharwal and Carissa Schoenick and Oyvind Tafjord and Niket Tandon and Sumithra Bhakthavatsalam and Dirk Groeneveld and Michal Guerquin and Michael Schmitz}, title = {From 'F' to 'A' on the {N.Y.} Regents Science Exams: An Overview of the Aristo Project}, journal = {{AI} Mag.}, volume = {41}, number = {4}, pages = {39--53}, year = {2020}, url = {https://doi.org/10.1609/aimag.v41i4.5304}, doi = {10.1609/AIMAG.V41I4.5304}, timestamp = {Fri, 12 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aim/ClarkEKKMRSSTTB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tacl/RichardsonS20, author = {Kyle Richardson and Ashish Sabharwal}, title = {What Does My {QA} Model Know? Devising Controlled Probes using Expert}, journal = {Trans. Assoc. Comput. Linguistics}, volume = {8}, pages = {572--588}, year = {2020}, url = {https://doi.org/10.1162/tacl\_a\_00331}, doi = {10.1162/TACL\_A\_00331}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tacl/RichardsonS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KhotCGJS20, author = {Tushar Khot and Peter Clark and Michal Guerquin and Peter Jansen and Ashish Sabharwal}, title = {{QASC:} {A} Dataset for Question Answering via Sentence Composition}, booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020}, pages = {8082--8090}, publisher = {{AAAI} Press}, year = {2020}, url = {https://doi.org/10.1609/aaai.v34i05.6319}, doi = {10.1609/AAAI.V34I05.6319}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KhotCGJS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/RichardsonHMS20, author = {Kyle Richardson and Hai Hu and Lawrence S. Moss and Ashish Sabharwal}, title = {Probing Natural Language Inference Models through Semantic Fragments}, booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020}, pages = {8713--8721}, publisher = {{AAAI} Press}, year = {2020}, url = {https://doi.org/10.1609/aaai.v34i05.6397}, doi = {10.1609/AAAI.V34I05.6397}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/RichardsonHMS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/AzerKSR20, author = {Erfan Sadeqi Azer and Daniel Khashabi and Ashish Sabharwal and Dan Roth}, editor = {Dan Jurafsky and Joyce Chai and Natalie Schluter and Joel R. Tetreault}, title = {Not All Claims are Created Equal: Choosing the Right Statistical Approach to Assess Hypotheses}, booktitle = {Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, {ACL} 2020, Online, July 5-10, 2020}, pages = {5715--5725}, publisher = {Association for Computational Linguistics}, year = {2020}, url = {https://doi.org/10.18653/v1/2020.acl-main.506}, doi = {10.18653/V1/2020.ACL-MAIN.506}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acl/AzerKSR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/DingWSX20, author = {Fan Ding and Hanjing Wang and Ashish Sabharwal and Yexiang Xue}, editor = {Giuseppe De Giacomo and Alejandro Catal{\'{a}} and Bistra Dilkina and Michela Milano and Sen{\'{e}}n Barro and Alberto Bugar{\'{\i}}n and J{\'{e}}r{\^{o}}me Lang}, title = {Towards Efficient Discrete Integration via Adaptive Quantile Queries}, booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {325}, pages = {2577--2584}, publisher = {{IOS} Press}, year = {2020}, url = {https://doi.org/10.3233/FAIA200393}, doi = {10.3233/FAIA200393}, timestamp = {Fri, 09 Apr 2021 18:50:05 +0200}, biburl = {https://dblp.org/rec/conf/ecai/DingWSX20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/KhashabiKS20, author = {Daniel Khashabi and Tushar Khot and Ashish Sabharwal}, editor = {Bonnie Webber and Trevor Cohn and Yulan He and Yang Liu}, title = {More Bang for Your Buck: Natural Perturbation for Robust Question Answering}, booktitle = {Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2020, Online, November 16-20, 2020}, pages = {163--170}, publisher = {Association for Computational Linguistics}, year = {2020}, url = {https://doi.org/10.18653/v1/2020.emnlp-main.12}, doi = {10.18653/V1/2020.EMNLP-MAIN.12}, timestamp = {Wed, 23 Mar 2022 10:11:55 +0100}, biburl = {https://dblp.org/rec/conf/emnlp/KhashabiKS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/KhashabiMKSTCH20, author = {Daniel Khashabi and Sewon Min and Tushar Khot and Ashish Sabharwal and Oyvind Tafjord and Peter Clark and Hannaneh Hajishirzi}, editor = {Trevor Cohn and Yulan He and Yang Liu}, title = {UnifiedQA: Crossing Format Boundaries With a Single {QA} System}, booktitle = {Findings of the Association for Computational Linguistics: {EMNLP} 2020, Online Event, 16-20 November 2020}, series = {Findings of {ACL}}, volume = {{EMNLP} 2020}, pages = {1896--1907}, publisher = {Association for Computational Linguistics}, year = {2020}, url = {https://doi.org/10.18653/v1/2020.findings-emnlp.171}, doi = {10.18653/V1/2020.FINDINGS-EMNLP.171}, timestamp = {Wed, 23 Mar 2022 10:11:55 +0100}, biburl = {https://dblp.org/rec/conf/emnlp/KhashabiMKSTCH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/LiKKSS20, author = {Tao Li and Daniel Khashabi and Tushar Khot and Ashish Sabharwal and Vivek Srikumar}, editor = {Trevor Cohn and Yulan He and Yang Liu}, title = {UNQOVERing Stereotypical Biases via Underspecified Questions}, booktitle = {Findings of the Association for Computational Linguistics: {EMNLP} 2020, Online Event, 16-20 November 2020}, series = {Findings of {ACL}}, volume = {{EMNLP} 2020}, pages = {3475--3489}, publisher = {Association for Computational Linguistics}, year = {2020}, url = {https://doi.org/10.18653/v1/2020.findings-emnlp.311}, doi = {10.18653/V1/2020.FINDINGS-EMNLP.311}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/LiKKSS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/GroeneveldKMS20, author = {Dirk Groeneveld and Tushar Khot and Mausam and Ashish Sabharwal}, editor = {Bonnie Webber and Trevor Cohn and Yulan He and Yang Liu}, title = {A Simple Yet Strong Pipeline for HotpotQA}, booktitle = {Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2020, Online, November 16-20, 2020}, pages = {8839--8845}, publisher = {Association for Computational Linguistics}, year = {2020}, url = {https://doi.org/10.18653/v1/2020.emnlp-main.711}, doi = {10.18653/V1/2020.EMNLP-MAIN.711}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emnlp/GroeneveldKMS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/TrivediBKS20, author = {Harsh Trivedi and Niranjan Balasubramanian and Tushar Khot and Ashish Sabharwal}, editor = {Bonnie Webber and Trevor Cohn and Yulan He and Yang Liu}, title = {Is Multihop {QA} in DiRe Condition? Measuring and Reducing Disconnected Reasoning}, booktitle = {Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2020, Online, November 16-20, 2020}, pages = {8846--8863}, publisher = {Association for Computational Linguistics}, year = {2020}, url = {https://doi.org/10.18653/v1/2020.emnlp-main.712}, doi = {10.18653/V1/2020.EMNLP-MAIN.712}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/TrivediBKS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icml/BrasSBZPSC20, author = {Ronan Le Bras and Swabha Swayamdipta and Chandra Bhagavatula and Rowan Zellers and Matthew E. Peters and Ashish Sabharwal and Yejin Choi}, title = {Adversarial Filters of Dataset Biases}, booktitle = {Proceedings of the 37th International Conference on Machine Learning, {ICML} 2020, 13-18 July 2020, Virtual Event}, series = {Proceedings of Machine Learning Research}, volume = {119}, pages = {1078--1088}, publisher = {{PMLR}}, year = {2020}, url = {http://proceedings.mlr.press/v119/bras20a.html}, timestamp = {Sat, 29 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icml/BrasSBZPSC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/KuckCTLSSE20, author = {Jonathan Kuck and Shuvam Chakraborty and Hao Tang and Rachel Luo and Jiaming Song and Ashish Sabharwal and Stefano Ermon}, editor = {Hugo Larochelle and Marc'Aurelio Ranzato and Raia Hadsell and Maria{-}Florina Balcan and Hsuan{-}Tien Lin}, title = {Belief Propagation Neural Networks}, booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual}, year = {2020}, url = {https://proceedings.neurips.cc/paper/2020/hash/07217414eb3fbe24d4e5b6cafb91ca18-Abstract.html}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nips/KuckCTLSSE20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-04108, author = {Ronan Le Bras and Swabha Swayamdipta and Chandra Bhagavatula and Rowan Zellers and Matthew E. Peters and Ashish Sabharwal and Yejin Choi}, title = {Adversarial Filters of Dataset Biases}, journal = {CoRR}, volume = {abs/2002.04108}, year = {2020}, url = {https://arxiv.org/abs/2002.04108}, eprinttype = {arXiv}, eprint = {2002.04108}, timestamp = {Sat, 29 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-04108.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-04849, author = {Daniel Khashabi and Tushar Khot and Ashish Sabharwal}, title = {Natural Perturbation for Robust Question Answering}, journal = {CoRR}, volume = {abs/2004.04849}, year = {2020}, url = {https://arxiv.org/abs/2004.04849}, eprinttype = {arXiv}, eprint = {2004.04849}, timestamp = {Tue, 14 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-04849.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-06753, author = {Dirk Groeneveld and Tushar Khot and Mausam and Ashish Sabharwal}, title = {A Simple Yet Strong Pipeline for HotpotQA}, journal = {CoRR}, volume = {abs/2004.06753}, year = {2020}, url = {https://arxiv.org/abs/2004.06753}, eprinttype = {arXiv}, eprint = {2004.06753}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-06753.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-00700, author = {Daniel Khashabi and Tushar Khot and Ashish Sabharwal and Oyvind Tafjord and Peter Clark and Hannaneh Hajishirzi}, title = {UnifiedQA: Crossing Format Boundaries With a Single {QA} System}, journal = {CoRR}, volume = {abs/2005.00700}, year = {2020}, url = {https://arxiv.org/abs/2005.00700}, eprinttype = {arXiv}, eprint = {2005.00700}, timestamp = {Fri, 08 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-00700.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-00789, author = {Harsh Trivedi and Niranjan Balasubramanian and Tushar Khot and Ashish Sabharwal}, title = {Measuring and Reducing Non-Multifact Reasoning in Multi-hop Question Answering}, journal = {CoRR}, volume = {abs/2005.00789}, year = {2020}, url = {https://arxiv.org/abs/2005.00789}, eprinttype = {arXiv}, eprint = {2005.00789}, timestamp = {Fri, 08 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-00789.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-00295, author = {Jonathan Kuck and Shuvam Chakraborty and Hao Tang and Rachel Luo and Jiaming Song and Ashish Sabharwal and Stefano Ermon}, title = {Belief Propagation Neural Networks}, journal = {CoRR}, volume = {abs/2007.00295}, year = {2020}, url = {https://arxiv.org/abs/2007.00295}, eprinttype = {arXiv}, eprint = {2007.00295}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-00295.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2009-00751, author = {Tushar Khot and Daniel Khashabi and Kyle Richardson and Peter Clark and Ashish Sabharwal}, title = {Text Modular Networks: Learning to Decompose Tasks in the Language of Existing Models}, journal = {CoRR}, volume = {abs/2009.00751}, year = {2020}, url = {https://arxiv.org/abs/2009.00751}, eprinttype = {arXiv}, eprint = {2009.00751}, timestamp = {Fri, 12 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2009-00751.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-02428, author = {Tao Li and Tushar Khot and Daniel Khashabi and Ashish Sabharwal and Vivek Srikumar}, title = {UnQovering Stereotyping Biases via Underspecified Questions}, journal = {CoRR}, volume = {abs/2010.02428}, year = {2020}, url = {https://arxiv.org/abs/2010.02428}, eprinttype = {arXiv}, eprint = {2010.02428}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-02428.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-12753, author = {Ben Zhou and Kyle Richardson and Qiang Ning and Tushar Khot and Ashish Sabharwal and Dan Roth}, title = {Temporal Reasoning on Implicit Events from Distant Supervision}, journal = {CoRR}, volume = {abs/2010.12753}, year = {2020}, url = {https://arxiv.org/abs/2010.12753}, eprinttype = {arXiv}, eprint = {2010.12753}, timestamp = {Fri, 12 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-12753.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-12854, author = {Shih{-}Ting Lin and Ashish Sabharwal and Tushar Khot}, title = {ReadOnce Transformers: Reusable Representations of Text for Transformers}, journal = {CoRR}, volume = {abs/2010.12854}, year = {2020}, url = {https://arxiv.org/abs/2010.12854}, eprinttype = {arXiv}, eprint = {2010.12854}, timestamp = {Mon, 02 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-12854.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/TafjordC0YS19, author = {Oyvind Tafjord and Peter Clark and Matt Gardner and Wen{-}tau Yih and Ashish Sabharwal}, title = {{QUAREL:} {A} Dataset and Models for Answering Questions about Qualitative Relationships}, booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019}, pages = {7063--7071}, publisher = {{AAAI} Press}, year = {2019}, url = {https://doi.org/10.1609/aaai.v33i01.33017063}, doi = {10.1609/AAAI.V33I01.33017063}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/TafjordC0YS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/KunduKSC19, author = {Souvik Kundu and Tushar Khot and Ashish Sabharwal and Peter Clark}, editor = {Anna Korhonen and David R. Traum and Llu{\'{\i}}s M{\`{a}}rquez}, title = {Exploiting Explicit Paths for Multi-hop Reading Comprehension}, booktitle = {Proceedings of the 57th Conference of the Association for Computational Linguistics, {ACL} 2019, Florence, Italy, July 28- August 2, 2019, Volume 1: Long Papers}, pages = {2737--2747}, publisher = {Association for Computational Linguistics}, year = {2019}, url = {https://doi.org/10.18653/v1/p19-1263}, doi = {10.18653/V1/P19-1263}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acl/KunduKSC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/KhotSC19, author = {Tushar Khot and Ashish Sabharwal and Peter Clark}, editor = {Kentaro Inui and Jing Jiang and Vincent Ng and Xiaojun Wan}, title = {What's Missing: {A} Knowledge Gap Guided Approach for Multi-hop Question Answering}, booktitle = {Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, {EMNLP-IJCNLP} 2019, Hong Kong, China, November 3-7, 2019}, pages = {2814--2828}, publisher = {Association for Computational Linguistics}, year = {2019}, url = {https://doi.org/10.18653/v1/D19-1281}, doi = {10.18653/V1/D19-1281}, timestamp = {Thu, 07 Apr 2022 09:14:07 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/KhotSC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/naacl/TrivediKKSB19, author = {Harsh Trivedi and Heeyoung Kwon and Tushar Khot and Ashish Sabharwal and Niranjan Balasubramanian}, editor = {Jill Burstein and Christy Doran and Thamar Solorio}, title = {Repurposing Entailment for Multi-Hop Question Answering Tasks}, booktitle = {Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, {NAACL-HLT} 2019, Minneapolis, MN, USA, June 2-7, 2019, Volume 1 (Long and Short Papers)}, pages = {2948--2958}, publisher = {Association for Computational Linguistics}, year = {2019}, url = {https://doi.org/10.18653/v1/n19-1302}, doi = {10.18653/V1/N19-1302}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/naacl/TrivediKKSB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/KuckDRSE19, author = {Jonathan Kuck and Tri Dao and Hamid Rezatofighi and Ashish Sabharwal and Stefano Ermon}, editor = {Hanna M. Wallach and Hugo Larochelle and Alina Beygelzimer and Florence d'Alch{\'{e}}{-}Buc and Emily B. Fox and Roman Garnett}, title = {Approximating the Permanent by Sampling from Adaptive Partitions}, booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada}, pages = {8858--8869}, year = {2019}, url = {https://proceedings.neurips.cc/paper/2019/hash/d914a6c6d93c8df063b9099a076a488c-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/KuckDRSE19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uai/KuckDZBSE19, author = {Jonathan Kuck and Tri Dao and Shenjia Zhao and Burak Bartan and Ashish Sabharwal and Stefano Ermon}, editor = {Amir Globerson and Ricardo Silva}, title = {Adaptive Hashing for Model Counting}, booktitle = {Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, {UAI} 2019, Tel Aviv, Israel, July 22-25, 2019}, series = {Proceedings of Machine Learning Research}, volume = {115}, pages = {271--280}, publisher = {{AUAI} Press}, year = {2019}, url = {http://proceedings.mlr.press/v115/kuck20a.html}, timestamp = {Tue, 15 Dec 2020 17:40:18 +0100}, biburl = {https://dblp.org/rec/conf/uai/KuckDZBSE19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1901-02522, author = {Daniel Khashabi and Erfan Sadeqi Azer and Tushar Khot and Ashish Sabharwal and Dan Roth}, title = {On the Capabilities and Limitations of Reasoning for Natural Language Understanding}, journal = {CoRR}, volume = {abs/1901.02522}, year = {2019}, url = {http://arxiv.org/abs/1901.02522}, eprinttype = {arXiv}, eprint = {1901.02522}, timestamp = {Fri, 01 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-02522.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-09380, author = {Harsh Trivedi and Heeyoung Kwon and Tushar Khot and Ashish Sabharwal and Niranjan Balasubramanian}, title = {Repurposing Entailment for Multi-Hop Question Answering Tasks}, journal = {CoRR}, volume = {abs/1904.09380}, year = {2019}, url = {http://arxiv.org/abs/1904.09380}, eprinttype = {arXiv}, eprint = {1904.09380}, timestamp = {Fri, 26 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-09380.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-03672, author = {Daniel Khashabi and Tushar Khot and Ashish Sabharwal and Dan Roth}, title = {Question Answering as Global Reasoning over Semantic Abstractions}, journal = {CoRR}, volume = {abs/1906.03672}, year = {2019}, url = {http://arxiv.org/abs/1906.03672}, eprinttype = {arXiv}, eprint = {1906.03672}, timestamp = {Fri, 14 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-03672.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1909-01958, author = {Peter Clark and Oren Etzioni and Daniel Khashabi and Tushar Khot and Bhavana Dalvi Mishra and Kyle Richardson and Ashish Sabharwal and Carissa Schoenick and Oyvind Tafjord and Niket Tandon and Sumithra Bhakthavatsalam and Dirk Groeneveld and Michal Guerquin and Michael Schmitz}, title = {From 'F' to 'A' on the {N.Y.} Regents Science Exams: An Overview of the Aristo Project}, journal = {CoRR}, volume = {abs/1909.01958}, year = {2019}, url = {http://arxiv.org/abs/1909.01958}, eprinttype = {arXiv}, eprint = {1909.01958}, timestamp = {Fri, 12 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1909-01958.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1909-07521, author = {Kyle Richardson and Hai Hu and Lawrence S. Moss and Ashish Sabharwal}, title = {Probing Natural Language Inference Models through Semantic Fragments}, journal = {CoRR}, volume = {abs/1909.07521}, year = {2019}, url = {http://arxiv.org/abs/1909.07521}, eprinttype = {arXiv}, eprint = {1909.07521}, timestamp = {Fri, 12 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1909-07521.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1909-09253, author = {Tushar Khot and Ashish Sabharwal and Peter Clark}, title = {What's Missing: {A} Knowledge Gap Guided Approach for Multi-hop Question Answering}, journal = {CoRR}, volume = {abs/1909.09253}, year = {2019}, url = {http://arxiv.org/abs/1909.09253}, eprinttype = {arXiv}, eprint = {1909.09253}, timestamp = {Tue, 24 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1909-09253.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-05811, author = {Fan Ding and Hanjing Wang and Ashish Sabharwal and Yexiang Xue}, title = {AdaWISH: Faster Discrete Integration via Adaptive Quantiles}, journal = {CoRR}, volume = {abs/1910.05811}, year = {2019}, url = {http://arxiv.org/abs/1910.05811}, eprinttype = {arXiv}, eprint = {1910.05811}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-05811.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-11473, author = {Tushar Khot and Peter Clark and Michal Guerquin and Peter Jansen and Ashish Sabharwal}, title = {{QASC:} {A} Dataset for Question Answering via Sentence Composition}, journal = {CoRR}, volume = {abs/1910.11473}, year = {2019}, url = {http://arxiv.org/abs/1910.11473}, eprinttype = {arXiv}, eprint = {1910.11473}, timestamp = {Thu, 05 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-11473.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-03850, author = {Erfan Sadeqi Azer and Daniel Khashabi and Ashish Sabharwal and Dan Roth}, title = {Not All Claims are Created Equal: Choosing the Right Approach to Assess Your Hypotheses}, journal = {CoRR}, volume = {abs/1911.03850}, year = {2019}, url = {http://arxiv.org/abs/1911.03850}, eprinttype = {arXiv}, eprint = {1911.03850}, timestamp = {Sun, 01 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-03850.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-11856, author = {Jonathan Kuck and Tri Dao and Hamid Rezatofighi and Ashish Sabharwal and Stefano Ermon}, title = {Approximating the Permanent by Sampling from Adaptive Partitions}, journal = {CoRR}, volume = {abs/1911.11856}, year = {2019}, url = {http://arxiv.org/abs/1911.11856}, eprinttype = {arXiv}, eprint = {1911.11856}, timestamp = {Tue, 03 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-11856.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1912-13337, author = {Kyle Richardson and Ashish Sabharwal}, title = {What Does My {QA} Model Know? Devising Controlled Probes using Expert Knowledge}, journal = {CoRR}, volume = {abs/1912.13337}, year = {2019}, url = {http://arxiv.org/abs/1912.13337}, eprinttype = {arXiv}, eprint = {1912.13337}, timestamp = {Fri, 12 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1912-13337.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tacl/SedghiS18, author = {Hanie Sedghi and Ashish Sabharwal}, title = {Knowledge Completion for Generics Using Guided Tensor Factorization}, journal = {Trans. Assoc. Comput. Linguistics}, volume = {6}, pages = {197--210}, year = {2018}, url = {https://doi.org/10.1162/tacl\_a\_00015}, doi = {10.1162/TACL\_A\_00015}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tacl/SedghiS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KhashabiKSR18, author = {Daniel Khashabi and Tushar Khot and Ashish Sabharwal and Dan Roth}, editor = {Sheila A. McIlraith and Kilian Q. Weinberger}, title = {Question Answering as Global Reasoning Over Semantic Abstractions}, booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018}, pages = {1905--1914}, publisher = {{AAAI} Press}, year = {2018}, url = {https://doi.org/10.1609/aaai.v32i1.11574}, doi = {10.1609/AAAI.V32I1.11574}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KhashabiKSR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KhotSC18, author = {Tushar Khot and Ashish Sabharwal and Peter Clark}, editor = {Sheila A. McIlraith and Kilian Q. Weinberger}, title = {SciTaiL: {A} Textual Entailment Dataset from Science Question Answering}, booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018}, pages = {5189--5197}, publisher = {{AAAI} Press}, year = {2018}, url = {https://doi.org/10.1609/aaai.v32i1.12022}, doi = {10.1609/AAAI.V32I1.12022}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KhotSC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KuckSE18, author = {Jonathan Kuck and Ashish Sabharwal and Stefano Ermon}, editor = {Sheila A. McIlraith and Kilian Q. Weinberger}, title = {Approximate Inference via Weighted Rademacher Complexity}, booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018}, pages = {6376--6383}, publisher = {{AAAI} Press}, year = {2018}, url = {https://doi.org/10.1609/aaai.v32i1.12127}, doi = {10.1609/AAAI.V32I1.12127}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KuckSE18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/HovyKSK18, author = {Dongyeop Kang and Tushar Khot and Ashish Sabharwal and Eduard H. Hovy}, editor = {Iryna Gurevych and Yusuke Miyao}, title = {AdvEntuRe: Adversarial Training for Textual Entailment with Knowledge-Guided Examples}, booktitle = {Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, {ACL} 2018, Melbourne, Australia, July 15-20, 2018, Volume 1: Long Papers}, pages = {2418--2428}, publisher = {Association for Computational Linguistics}, year = {2018}, url = {https://aclanthology.org/P18-1225/}, doi = {10.18653/V1/P18-1225}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acl/HovyKSK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/MihaylovCKS18, author = {Todor Mihaylov and Peter Clark and Tushar Khot and Ashish Sabharwal}, editor = {Ellen Riloff and David Chiang and Julia Hockenmaier and Jun'ichi Tsujii}, title = {Can a Suit of Armor Conduct Electricity? {A} New Dataset for Open Book Question Answering}, booktitle = {Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31 - November 4, 2018}, pages = {2381--2391}, publisher = {Association for Computational Linguistics}, year = {2018}, url = {https://doi.org/10.18653/v1/d18-1260}, doi = {10.18653/V1/D18-1260}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/MihaylovCKS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/KangKSC18, author = {Dongyeop Kang and Tushar Khot and Ashish Sabharwal and Peter Clark}, editor = {Ellen Riloff and David Chiang and Julia Hockenmaier and Jun'ichi Tsujii}, title = {Bridging Knowledge Gaps in Neural Entailment via Symbolic Models}, booktitle = {Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31 - November 4, 2018}, pages = {4940--4945}, publisher = {Association for Computational Linguistics}, year = {2018}, url = {https://doi.org/10.18653/v1/d18-1535}, doi = {10.18653/V1/D18-1535}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/KangKSC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/XueYXS18, author = {Yexiang Xue and Yang Yuan and Zhitian Xu and Ashish Sabharwal}, editor = {Samy Bengio and Hanna M. Wallach and Hugo Larochelle and Kristen Grauman and Nicol{\`{o}} Cesa{-}Bianchi and Roman Garnett}, title = {Expanding Holographic Embeddings for Knowledge Completion}, booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montr{\'{e}}al, Canada}, pages = {4496--4506}, year = {2018}, url = {https://proceedings.neurips.cc/paper/2018/hash/dd28e50635038e9cf3a648c2dd17ad0a-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/XueYXS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uai/SabharwalX18, author = {Ashish Sabharwal and Yexiang Xue}, editor = {Amir Globerson and Ricardo Silva}, title = {Adaptive Stratified Sampling for Precision-Recall Estimation}, booktitle = {Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, {UAI} 2018, Monterey, California, USA, August 6-10, 2018}, pages = {825--834}, publisher = {{AUAI} Press}, year = {2018}, url = {http://auai.org/uai2018/proceedings/papers/292.pdf}, timestamp = {Wed, 09 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uai/SabharwalX18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1801-09028, author = {Jonathan Kuck and Ashish Sabharwal and Stefano Ermon}, title = {Approximate Inference via Weighted Rademacher Complexity}, journal = {CoRR}, volume = {abs/1801.09028}, year = {2018}, url = {http://arxiv.org/abs/1801.09028}, eprinttype = {arXiv}, eprint = {1801.09028}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1801-09028.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-05457, author = {Peter Clark and Isaac Cowhey and Oren Etzioni and Tushar Khot and Ashish Sabharwal and Carissa Schoenick and Oyvind Tafjord}, title = {Think you have Solved Question Answering? Try ARC, the {AI2} Reasoning Challenge}, journal = {CoRR}, volume = {abs/1803.05457}, year = {2018}, url = {http://arxiv.org/abs/1803.05457}, eprinttype = {arXiv}, eprint = {1803.05457}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-05457.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-04680, author = {Dongyeop Kang and Tushar Khot and Ashish Sabharwal and Eduard H. Hovy}, title = {AdvEntuRe: Adversarial Training for Textual Entailment with Knowledge-Guided Examples}, journal = {CoRR}, volume = {abs/1805.04680}, year = {2018}, url = {http://arxiv.org/abs/1805.04680}, eprinttype = {arXiv}, eprint = {1805.04680}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-04680.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1808-09333, author = {Dongyeop Kang and Tushar Khot and Ashish Sabharwal and Peter Clark}, title = {Bridging Knowledge Gaps in Neural Entailment via Symbolic Models}, journal = {CoRR}, volume = {abs/1808.09333}, year = {2018}, url = {http://arxiv.org/abs/1808.09333}, eprinttype = {arXiv}, eprint = {1808.09333}, timestamp = {Mon, 03 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1808-09333.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1809-02789, author = {Todor Mihaylov and Peter Clark and Tushar Khot and Ashish Sabharwal}, title = {Can a Suit of Armor Conduct Electricity? {A} New Dataset for Open Book Question Answering}, journal = {CoRR}, volume = {abs/1809.02789}, year = {2018}, url = {http://arxiv.org/abs/1809.02789}, eprinttype = {arXiv}, eprint = {1809.02789}, timestamp = {Fri, 05 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-02789.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1811-01127, author = {Souvik Kundu and Tushar Khot and Ashish Sabharwal}, title = {Exploiting Explicit Paths for Multi-hop Reading Comprehension}, journal = {CoRR}, volume = {abs/1811.01127}, year = {2018}, url = {http://arxiv.org/abs/1811.01127}, eprinttype = {arXiv}, eprint = {1811.01127}, timestamp = {Wed, 23 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-01127.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1811-08048, author = {Oyvind Tafjord and Peter Clark and Matt Gardner and Wen{-}tau Yih and Ashish Sabharwal}, title = {QuaRel: {A} Dataset and Models for Answering Questions about Qualitative Relationships}, journal = {CoRR}, volume = {abs/1811.08048}, year = {2018}, url = {http://arxiv.org/abs/1811.08048}, eprinttype = {arXiv}, eprint = {1811.08048}, timestamp = {Mon, 26 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-08048.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/KhotSC17, author = {Tushar Khot and Ashish Sabharwal and Peter Clark}, editor = {Regina Barzilay and Min{-}Yen Kan}, title = {Answering Complex Questions Using Open Information Extraction}, booktitle = {Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, {ACL} 2017, Vancouver, Canada, July 30 - August 4, Volume 2: Short Papers}, pages = {311--316}, publisher = {Association for Computational Linguistics}, year = {2017}, url = {https://doi.org/10.18653/v1/P17-2049}, doi = {10.18653/V1/P17-2049}, timestamp = {Fri, 06 Aug 2021 00:41:03 +0200}, biburl = {https://dblp.org/rec/conf/acl/KhotSC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/conll/KhashabiKSR17, author = {Daniel Khashabi and Tushar Khot and Ashish Sabharwal and Dan Roth}, editor = {Roger Levy and Lucia Specia}, title = {Learning What is Essential in Questions}, booktitle = {Proceedings of the 21st Conference on Computational Natural Language Learning (CoNLL 2017), Vancouver, Canada, August 3-4, 2017}, pages = {80--89}, publisher = {Association for Computational Linguistics}, year = {2017}, url = {https://doi.org/10.18653/v1/K17-1010}, doi = {10.18653/V1/K17-1010}, timestamp = {Fri, 06 Aug 2021 00:41:08 +0200}, biburl = {https://dblp.org/rec/conf/conll/KhashabiKSR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uai/SabharwalS17, author = {Ashish Sabharwal and Hanie Sedghi}, editor = {Gal Elidan and Kristian Kersting and Alexander Ihler}, title = {How Good Are My Predictions? Efficiently Approximating Precision-Recall Curves for Massive Datasets}, booktitle = {Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, {UAI} 2017, Sydney, Australia, August 11-15, 2017}, publisher = {{AUAI} Press}, year = {2017}, url = {http://auai.org/uai2017/proceedings/papers/255.pdf}, timestamp = {Mon, 05 Dec 2022 15:54:38 +0100}, biburl = {https://dblp.org/rec/conf/uai/SabharwalS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KhotSC17, author = {Tushar Khot and Ashish Sabharwal and Peter Clark}, title = {Answering Complex Questions Using Open Information Extraction}, journal = {CoRR}, volume = {abs/1704.05572}, year = {2017}, url = {http://arxiv.org/abs/1704.05572}, eprinttype = {arXiv}, eprint = {1704.05572}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KhotSC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/SabharwalST16, author = {Ashish Sabharwal and Horst Samulowitz and Gerald Tesauro}, editor = {Dale Schuurmans and Michael P. Wellman}, title = {Selecting Near-Optimal Learners via Incremental Data Allocation}, booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, {USA}}, pages = {2007--2015}, publisher = {{AAAI} Press}, year = {2016}, url = {https://doi.org/10.1609/aaai.v30i1.10316}, doi = {10.1609/AAAI.V30I1.10316}, timestamp = {Mon, 04 Sep 2023 15:08:28 +0200}, biburl = {https://dblp.org/rec/conf/aaai/SabharwalST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ClarkEKSTTK16, author = {Peter Clark and Oren Etzioni and Tushar Khot and Ashish Sabharwal and Oyvind Tafjord and Peter D. Turney and Daniel Khashabi}, editor = {Dale Schuurmans and Michael P. Wellman}, title = {Combining Retrieval, Statistics, and Inference to Answer Elementary Science Questions}, booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, {USA}}, pages = {2580--2586}, publisher = {{AAAI} Press}, year = {2016}, url = {https://doi.org/10.1609/aaai.v30i1.10325}, doi = {10.1609/AAAI.V30I1.10325}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ClarkEKSTTK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KimSE16, author = {Carolyn Kim and Ashish Sabharwal and Stefano Ermon}, editor = {Dale Schuurmans and Michael P. Wellman}, title = {Exact Sampling with Integer Linear Programs and Random Perturbations}, booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, {USA}}, pages = {3248--3254}, publisher = {{AAAI} Press}, year = {2016}, url = {https://doi.org/10.1609/aaai.v30i1.10421}, doi = {10.1609/AAAI.V30I1.10421}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KimSE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ZhaoCSE16, author = {Shengjia Zhao and Sorathan Chaturapruek and Ashish Sabharwal and Stefano Ermon}, editor = {Dale Schuurmans and Michael P. Wellman}, title = {Closing the Gap Between Short and Long XORs for Model Counting}, booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, {USA}}, pages = {3322--3329}, publisher = {{AAAI} Press}, year = {2016}, url = {https://doi.org/10.1609/aaai.v30i1.10430}, doi = {10.1609/AAAI.V30I1.10430}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ZhaoCSE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icml/AchimSE16, author = {Tudor Achim and Ashish Sabharwal and Stefano Ermon}, editor = {Maria{-}Florina Balcan and Kilian Q. Weinberger}, title = {Beyond Parity Constraints: Fourier Analysis of Hash Functions for Inference}, booktitle = {Proceedings of the 33nd International Conference on Machine Learning, {ICML} 2016, New York City, NY, USA, June 19-24, 2016}, series = {{JMLR} Workshop and Conference Proceedings}, volume = {48}, pages = {2254--2262}, publisher = {JMLR.org}, year = {2016}, url = {http://proceedings.mlr.press/v48/achim16.html}, timestamp = {Wed, 29 May 2019 08:41:46 +0200}, biburl = {https://dblp.org/rec/conf/icml/AchimSE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KhashabiKSCER16, author = {Daniel Khashabi and Tushar Khot and Ashish Sabharwal and Peter Clark and Oren Etzioni and Dan Roth}, editor = {Subbarao Kambhampati}, title = {Question Answering via Integer Programming over Semi-Structured Knowledge}, booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016}, pages = {1145--1152}, publisher = {{IJCAI/AAAI} Press}, year = {2016}, url = {http://www.ijcai.org/Abstract/16/166}, timestamp = {Tue, 20 Aug 2019 16:19:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/KhashabiKSCER16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/ZhaoZSE16, author = {Shengjia Zhao and Enze Zhou and Ashish Sabharwal and Stefano Ermon}, editor = {Daniel D. Lee and Masashi Sugiyama and Ulrike von Luxburg and Isabelle Guyon and Roman Garnett}, title = {Adaptive Concentration Inequalities for Sequential Decision Problems}, booktitle = {Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, December 5-10, 2016, Barcelona, Spain}, pages = {1343--1351}, year = {2016}, url = {https://proceedings.neurips.cc/paper/2016/hash/2e65f2f2fdaf6c699b223c61b1b5ab89-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/ZhaoZSE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/16/LovelandSS16, author = {Donald W. Loveland and Ashish Sabharwal and Bart Selman}, editor = {Eugenio G. Omodeo and Alberto Policriti}, title = {{DPLL:} The Core of Modern Satisfiability Solvers}, booktitle = {Martin Davis on Computability, Computational Logic, and Mathematical Foundations}, series = {Outstanding Contributions to Logic}, volume = {10}, pages = {315--335}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41842-1\_12}, doi = {10.1007/978-3-319-41842-1\_12}, timestamp = {Fri, 28 Dec 2018 18:08:32 +0100}, biburl = {https://dblp.org/rec/books/sp/16/LovelandSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SabharwalST16, author = {Ashish Sabharwal and Horst Samulowitz and Gerald Tesauro}, title = {Selecting Near-Optimal Learners via Incremental Data Allocation}, journal = {CoRR}, volume = {abs/1601.00024}, year = {2016}, url = {http://arxiv.org/abs/1601.00024}, eprinttype = {arXiv}, eprint = {1601.00024}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SabharwalST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KhashabiKSCER16, author = {Daniel Khashabi and Tushar Khot and Ashish Sabharwal and Peter Clark and Oren Etzioni and Dan Roth}, title = {Question Answering via Integer Programming over Semi-Structured Knowledge}, journal = {CoRR}, volume = {abs/1604.06076}, year = {2016}, url = {http://arxiv.org/abs/1604.06076}, eprinttype = {arXiv}, eprint = {1604.06076}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KhashabiKSCER16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SedghiS16, author = {Hanie Sedghi and Ashish Sabharwal}, title = {Knowledge Completion for Generics using Guided Tensor Factorization}, journal = {CoRR}, volume = {abs/1612.03871}, year = {2016}, url = {http://arxiv.org/abs/1612.03871}, eprinttype = {arXiv}, eprint = {1612.03871}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SedghiS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tacl/Koncel-Kedziorski15, author = {Rik Koncel{-}Kedziorski and Hannaneh Hajishirzi and Ashish Sabharwal and Oren Etzioni and Siena Dumas Ang}, title = {Parsing Algebraic Word Problems into Equations}, journal = {Trans. Assoc. Comput. Linguistics}, volume = {3}, pages = {585--597}, year = {2015}, url = {https://doi.org/10.1162/tacl\_a\_00160}, doi = {10.1162/TACL\_A\_00160}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tacl/Koncel-Kedziorski15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/KellSH15, author = {Brian Kell and Ashish Sabharwal and Willem{-}Jan van Hoeve}, editor = {Laurent Michel}, title = {BDD-Guided Clause Generation}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming - 12th International Conference, {CPAIOR} 2015, Barcelona, Spain, May 18-22, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9075}, pages = {215--230}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-18008-3\_15}, doi = {10.1007/978-3-319-18008-3\_15}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/KellSH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/KhotBGSCE15, author = {Tushar Khot and Niranjan Balasubramanian and Eric Gribkoff and Ashish Sabharwal and Peter Clark and Oren Etzioni}, editor = {Llu{\'{\i}}s M{\`{a}}rquez and Chris Callison{-}Burch and Jian Su and Daniele Pighin and Yuval Marton}, title = {Exploring Markov Logic Networks for Question Answering}, booktitle = {Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2015, Lisbon, Portugal, September 17-21, 2015}, pages = {685--694}, publisher = {The Association for Computational Linguistics}, year = {2015}, url = {https://doi.org/10.18653/v1/d15-1080}, doi = {10.18653/V1/D15-1080}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/KhotBGSCE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KhotBGSCE15, author = {Tushar Khot and Niranjan Balasubramanian and Eric Gribkoff and Ashish Sabharwal and Peter Clark and Oren Etzioni}, title = {Markov Logic Networks for Natural Language Question Answering}, journal = {CoRR}, volume = {abs/1507.03045}, year = {2015}, url = {http://arxiv.org/abs/1507.03045}, eprinttype = {arXiv}, eprint = {1507.03045}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KhotBGSCE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ZhaoCSE15, author = {Shengjia Zhao and Sorathan Chaturapruek and Ashish Sabharwal and Stefano Ermon}, title = {Closing the Gap Between Short and Long XORs for Model Counting}, journal = {CoRR}, volume = {abs/1512.08863}, year = {2015}, url = {http://arxiv.org/abs/1512.08863}, eprinttype = {arXiv}, eprint = {1512.08863}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ZhaoCSE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/DilkinaGS14, author = {Bistra Dilkina and Carla P. Gomes and Ashish Sabharwal}, title = {Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search}, journal = {Ann. Math. Artif. Intell.}, volume = {70}, number = {4}, pages = {399--431}, year = {2014}, url = {https://doi.org/10.1007/s10472-014-9407-9}, doi = {10.1007/S10472-014-9407-9}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/DilkinaGS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ErmonGSS14, author = {Stefano Ermon and Carla P. Gomes and Ashish Sabharwal and Bart Selman}, editor = {Carla E. Brodley and Peter Stone}, title = {Designing Fast Absorbing Markov Chains}, booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence, July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada}, pages = {849--855}, publisher = {{AAAI} Press}, year = {2014}, url = {https://doi.org/10.1609/aaai.v28i1.8843}, doi = {10.1609/AAAI.V28I1.8843}, timestamp = {Mon, 04 Sep 2023 15:06:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ErmonGSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/BeameS14, author = {Paul Beame and Ashish Sabharwal}, editor = {Carla E. Brodley and Peter Stone}, title = {Non-Restarting {SAT} Solvers with Simple Preprocessing Can Efficiently Simulate Resolution}, booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence, July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada}, pages = {2608--2615}, publisher = {{AAAI} Press}, year = {2014}, url = {https://doi.org/10.1609/aaai.v28i1.9121}, doi = {10.1609/AAAI.V28I1.9121}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BeameS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SabharwalS14, author = {Ashish Sabharwal and Horst Samulowitz}, editor = {Barry O'Sullivan}, title = {Insights into Parallelism with Intensive Knowledge Sharing}, booktitle = {Principles and Practice of Constraint Programming - 20th International Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8656}, pages = {655--671}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10428-7\_48}, doi = {10.1007/978-3-319-10428-7\_48}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/SabharwalS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/BergmanCSSSH14, author = {David Bergman and Andr{\'{e}} A. Cir{\'{e}} and Ashish Sabharwal and Horst Samulowitz and Vijay A. Saraswat and Willem Jan van Hoeve}, editor = {Helmut Simonis}, title = {Parallel Combinatorial Optimization with Decision Diagrams}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming - 11th International Conference, {CPAIOR} 2014, Cork, Ireland, May 19-23, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8451}, pages = {351--367}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-07046-9\_25}, doi = {10.1007/978-3-319-07046-9\_25}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/BergmanCSSSH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icml/ErmonGSS14, author = {Stefano Ermon and Carla P. Gomes and Ashish Sabharwal and Bart Selman}, title = {Low-density Parity Constraints for Hashing-Based Discrete Integration}, booktitle = {Proceedings of the 31th International Conference on Machine Learning, {ICML} 2014, Beijing, China, 21-26 June 2014}, series = {{JMLR} Workshop and Conference Proceedings}, volume = {32}, pages = {271--279}, publisher = {JMLR.org}, year = {2014}, url = {http://proceedings.mlr.press/v32/ermon14.html}, timestamp = {Wed, 29 May 2019 08:41:45 +0200}, biburl = {https://dblp.org/rec/conf/icml/ErmonGSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KatsirelosSSS13, author = {George Katsirelos and Ashish Sabharwal and Horst Samulowitz and Laurent Simon}, editor = {Marie desJardins and Michael L. Littman}, title = {Resolution and Parallelizability: Barriers to the Efficient Parallelization of {SAT} Solvers}, booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}}, pages = {481--488}, publisher = {{AAAI} Press}, year = {2013}, url = {https://doi.org/10.1609/aaai.v27i1.8660}, doi = {10.1609/AAAI.V27I1.8660}, timestamp = {Mon, 04 Sep 2023 15:56:33 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KatsirelosSSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/DilkinaLLXGSSMSM13, author = {Bistra Dilkina and Katherine J. Lai and Ronan LeBras and Yexiang Xue and Carla P. Gomes and Ashish Sabharwal and Jordan Suter and Kevin S. McKelvey and Michael K. Schwartz and Claire A. Montgomery}, editor = {Marie desJardins and Michael L. Littman}, title = {Large Landscape Conservation - Synthetic and Real-World Datasets}, booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}}, pages = {1369--1372}, publisher = {{AAAI} Press}, year = {2013}, url = {https://doi.org/10.1609/aaai.v27i1.8489}, doi = {10.1609/AAAI.V27I1.8489}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/DilkinaLLXGSSMSM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/SabharwalSSST13, author = {Ashish Sabharwal and Horst Samulowitz and Tom Schrijvers and Peter J. Stuckey and Guido Tack}, title = {Automated Design of Search with Composability}, booktitle = {Late-Breaking Developments in the Field of Artificial Intelligence, Bellevue, Washington, USA, July 14-18, 2013}, series = {{AAAI} Technical Report}, volume = {{WS-13-17}}, publisher = {{AAAI}}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7123}, timestamp = {Tue, 05 Sep 2023 08:59:27 +0200}, biburl = {https://dblp.org/rec/conf/aaai/SabharwalSSST13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/AchterbergSS13, author = {Tobias Achterberg and Ashish Sabharwal and Horst Samulowitz}, editor = {Carla P. Gomes and Meinolf Sellmann}, title = {Stronger Inference through Implied Literals from Conflicts and Knapsack Covers}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, {CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7874}, pages = {1--11}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38171-3\_1}, doi = {10.1007/978-3-642-38171-3\_1}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/AchterbergSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icml/ErmonGSS13, author = {Stefano Ermon and Carla P. Gomes and Ashish Sabharwal and Bart Selman}, title = {Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization}, booktitle = {Proceedings of the 30th International Conference on Machine Learning, {ICML} 2013, Atlanta, GA, USA, 16-21 June 2013}, series = {{JMLR} Workshop and Conference Proceedings}, volume = {28}, pages = {334--342}, publisher = {JMLR.org}, year = {2013}, url = {http://proceedings.mlr.press/v28/ermon13.html}, timestamp = {Wed, 29 May 2019 08:41:45 +0200}, biburl = {https://dblp.org/rec/conf/icml/ErmonGSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/MalitskySSS13, author = {Yuri Malitsky and Ashish Sabharwal and Horst Samulowitz and Meinolf Sellmann}, editor = {Francesca Rossi}, title = {Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering}, booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, pages = {608--614}, publisher = {{IJCAI/AAAI}}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6946}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/MalitskySSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lion/MalitskySSS13, author = {Yuri Malitsky and Ashish Sabharwal and Horst Samulowitz and Meinolf Sellmann}, editor = {Giuseppe Nicosia and Panos M. Pardalos}, title = {Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction}, booktitle = {Learning and Intelligent Optimization - 7th International Conference, {LION} 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7997}, pages = {153--167}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-44973-4\_17}, doi = {10.1007/978-3-642-44973-4\_17}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/lion/MalitskySSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/ErmonGSS13, author = {Stefano Ermon and Carla P. Gomes and Ashish Sabharwal and Bart Selman}, editor = {Christopher J. C. Burges and L{\'{e}}on Bottou and Zoubin Ghahramani and Kilian Q. Weinberger}, title = {Embed and Project: Discrete Sampling with Universal Hashing}, booktitle = {Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013, Lake Tahoe, Nevada, United States}, pages = {2085--2093}, year = {2013}, url = {https://proceedings.neurips.cc/paper/2013/hash/6d70cb65d15211726dcce4c0e971e21c-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/ErmonGSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/SamulowitzRSS13, author = {Horst Samulowitz and Chandra Reddy and Ashish Sabharwal and Meinolf Sellmann}, editor = {Matti J{\"{a}}rvisalo and Allen Van Gelder}, title = {Snappy: {A} Simple Algorithm Portfolio}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7962}, pages = {422--428}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39071-5\_33}, doi = {10.1007/978-3-642-39071-5\_33}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/SamulowitzRSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uai/ErmonGSS13, author = {Stefano Ermon and Carla P. Gomes and Ashish Sabharwal and Bart Selman}, editor = {Ann E. Nicholson and Padhraic Smyth}, title = {Optimization With Parity Constraints: From Binary Codes to Discrete Integration}, booktitle = {Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, {UAI} 2013, Bellevue, WA, USA, August 11-15, 2013}, publisher = {{AUAI} Press}, year = {2013}, url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2381\&\#38;proceeding\_id=29}, timestamp = {Fri, 16 Jul 2021 16:15:58 +0200}, biburl = {https://dblp.org/rec/conf/uai/ErmonGSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1302-6677, author = {Stefano Ermon and Carla P. Gomes and Ashish Sabharwal and Bart Selman}, title = {Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization}, journal = {CoRR}, volume = {abs/1302.6677}, year = {2013}, url = {http://arxiv.org/abs/1302.6677}, eprinttype = {arXiv}, eprint = {1302.6677}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1302-6677.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ErmonGSS13, author = {Stefano Ermon and Carla P. Gomes and Ashish Sabharwal and Bart Selman}, title = {Optimization With Parity Constraints: From Binary Codes to Discrete Integration}, journal = {CoRR}, volume = {abs/1309.6827}, year = {2013}, url = {http://arxiv.org/abs/1309.6827}, eprinttype = {arXiv}, eprint = {1309.6827}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ErmonGSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/MalitskySSS12, author = {Yuri Malitsky and Ashish Sabharwal and Horst Samulowitz and Meinolf Sellmann}, editor = {Michela Milano}, title = {Parallel {SAT} Solver Selection and Scheduling}, booktitle = {Principles and Practice of Constraint Programming - 18th International Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October 8-12, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7514}, pages = {512--526}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33558-7\_38}, doi = {10.1007/978-3-642-33558-7\_38}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/MalitskySSS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/SabharwalSR12, author = {Ashish Sabharwal and Horst Samulowitz and Chandra Reddy}, editor = {Nicolas Beldiceanu and Narendra Jussien and Eric Pinson}, title = {Guiding Combinatorial Optimization with {UCT}}, booktitle = {Integration of {AI} and {OR} Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, {CPAIOR} 2012, Nantes, France, May 28 - June1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7298}, pages = {356--361}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-29828-8\_23}, doi = {10.1007/978-3-642-29828-8\_23}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/SabharwalSR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/ErmonGSS12, author = {Stefano Ermon and Carla P. Gomes and Ashish Sabharwal and Bart Selman}, editor = {Peter L. Bartlett and Fernando C. N. Pereira and Christopher J. C. Burges and L{\'{e}}on Bottou and Kilian Q. Weinberger}, title = {Density Propagation and Improved Bounds on the Partition Function}, booktitle = {Advances in Neural Information Processing Systems 25: 26th Annual Conference on Neural Information Processing Systems 2012. Proceedings of a meeting held December 3-6, 2012, Lake Tahoe, Nevada, United States}, pages = {2771--2779}, year = {2012}, url = {https://proceedings.neurips.cc/paper/2012/hash/e00406144c1e7e35240afed70f34166a-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/ErmonGSS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BloomGHSSS12, author = {Bard Bloom and David Grove and Benjamin Herta and Ashish Sabharwal and Horst Samulowitz and Vijay A. Saraswat}, editor = {Alessandro Cimatti and Roberto Sebastiani}, title = {SatX10: {A} Scalable Plug{\&}Play Parallel {SAT} Framework - (Tool Presentation)}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7317}, pages = {463--468}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31612-8\_38}, doi = {10.1007/978-3-642-31612-8\_38}, timestamp = {Sun, 02 Jun 2019 21:24:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/BloomGHSSS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/SabharwalSS12, author = {Ashish Sabharwal and Horst Samulowitz and Meinolf Sellmann}, editor = {Alessandro Cimatti and Roberto Sebastiani}, title = {Learning Back-Clauses in {SAT} - (Poster Presentation)}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7317}, pages = {498--499}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31612-8\_53}, doi = {10.1007/978-3-642-31612-8\_53}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/SabharwalSS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/MatsliahSS12, author = {Arie Matsliah and Ashish Sabharwal and Horst Samulowitz}, editor = {Alessandro Cimatti and Roberto Sebastiani}, title = {Augmenting Clause Learning with Implied Literals - (Poster Presentation)}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7317}, pages = {500--501}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31612-8\_54}, doi = {10.1007/978-3-642-31612-8\_54}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/MatsliahSS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1203-3514, author = {Daniel Sheldon and Bistra Dilkina and Adam N. Elmachtoub and Ryan Finseth and Ashish Sabharwal and Jon Conrad and Carla P. Gomes and David B. Shmoys and William Allen and Ole Amundsen and William Vaughan}, title = {Maximizing the Spread of Cascades Using Network Design}, journal = {CoRR}, volume = {abs/1203.3514}, year = {2012}, url = {http://arxiv.org/abs/1203.3514}, eprinttype = {arXiv}, eprint = {1203.3514}, timestamp = {Wed, 24 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1203-3514.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1203-4011, author = {Raghuram Ramanujan and Ashish Sabharwal and Bart Selman}, title = {Understanding Sampling Style Adversarial Search Methods}, journal = {CoRR}, volume = {abs/1203.4011}, year = {2012}, url = {http://arxiv.org/abs/1203.4011}, eprinttype = {arXiv}, eprint = {1203.4011}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1203-4011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1206-5273, author = {Lukas Kroc and Ashish Sabharwal and Bart Selman}, title = {Survey Propagation Revisited}, journal = {CoRR}, volume = {abs/1206.5273}, year = {2012}, url = {http://arxiv.org/abs/1206.5273}, eprinttype = {arXiv}, eprint = {1206.5273}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1206-5273.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/SabharwalS11, author = {Ashish Sabharwal and Bart Selman}, title = {S. Russell, P. Norvig, Artificial Intelligence: {A} Modern Approach, Third Edition}, journal = {Artif. Intell.}, volume = {175}, number = {5-6}, pages = {935--937}, year = {2011}, url = {https://doi.org/10.1016/j.artint.2011.01.005}, doi = {10.1016/J.ARTINT.2011.01.005}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/SabharwalS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/anor/KrocSS11, author = {Lukas Kroc and Ashish Sabharwal and Bart Selman}, title = {Leveraging belief propagation, backtrack search, and statistics for model counting}, journal = {Ann. Oper. Res.}, volume = {184}, number = {1}, pages = {209--231}, year = {2011}, url = {https://doi.org/10.1007/s10479-009-0680-7}, doi = {10.1007/S10479-009-0680-7}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/anor/KrocSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/JainSS11, author = {Siddhartha Jain and Ashish Sabharwal and Meinolf Sellmann}, editor = {Wolfram Burgard and Dan Roth}, title = {A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued {SAT}}, booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011}, pages = {48--53}, publisher = {{AAAI} Press}, year = {2011}, url = {https://doi.org/10.1609/aaai.v25i1.7824}, doi = {10.1609/AAAI.V25I1.7824}, timestamp = {Mon, 04 Sep 2023 16:05:54 +0200}, biburl = {https://dblp.org/rec/conf/aaai/JainSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KadiogluMSSS11, author = {Serdar Kadioglu and Yuri Malitsky and Ashish Sabharwal and Horst Samulowitz and Meinolf Sellmann}, editor = {Jimmy Ho{-}Man Lee}, title = {Algorithm Selection and Scheduling}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th International Conference, {CP} 2011, Perugia, Italy, September 12-16, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6876}, pages = {454--469}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23786-7\_35}, doi = {10.1007/978-3-642-23786-7\_35}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/KadiogluMSSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LeBrasDGSGD11, author = {Ronan LeBras and Theodoros Damoulas and John M. Gregoire and Ashish Sabharwal and Carla P. Gomes and R. Bruce van Dover}, editor = {Jimmy Ho{-}Man Lee}, title = {Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th International Conference, {CP} 2011, Perugia, Italy, September 12-16, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6876}, pages = {508--522}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23786-7\_39}, doi = {10.1007/978-3-642-23786-7\_39}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/LeBrasDGSGD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/ErmonGSS11, author = {Stefano Ermon and Carla P. Gomes and Ashish Sabharwal and Bart Selman}, editor = {John Shawe{-}Taylor and Richard S. Zemel and Peter L. Bartlett and Fernando C. N. Pereira and Kilian Q. Weinberger}, title = {Accelerated Adaptive Markov Chain for Partition Function Computation}, booktitle = {Advances in Neural Information Processing Systems 24: 25th Annual Conference on Neural Information Processing Systems 2011. Proceedings of a meeting held 12-14 December 2011, Granada, Spain}, pages = {2744--2752}, year = {2011}, url = {https://proceedings.neurips.cc/paper/2011/hash/7fb8ceb3bd59c7956b1df66729296a4c-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/ErmonGSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/MalitskySSS11, author = {Yuri Malitsky and Ashish Sabharwal and Horst Samulowitz and Meinolf Sellmann}, editor = {Karem A. Sakallah and Laurent Simon}, title = {Non-Model-Based Algorithm Portfolios for {SAT}}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6695}, pages = {369--370}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21581-0\_33}, doi = {10.1007/978-3-642-21581-0\_33}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/MalitskySSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1107-0044, author = {Paul Beame and Henry A. Kautz and Ashish Sabharwal}, title = {Towards Understanding and Harnessing the Potential of Clause Learning}, journal = {CoRR}, volume = {abs/1107.0044}, year = {2011}, url = {http://arxiv.org/abs/1107.0044}, eprinttype = {arXiv}, eprint = {1107.0044}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1107-0044.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/AhaBBGDEGGGHIJKKKLMMNPRRRRSSSTMHMN10, author = {David W. Aha and Mark S. Boddy and Vadim Bulitko and Artur S. d'Avila Garcez and Prashant Doshi and Stefan Edelkamp and Christopher W. Geib and Piotr J. Gmytrasiewicz and Robert P. Goldman and Pascal Hitzler and Charles L. Isbell Jr. and Darsana P. Josyula and Leslie Pack Kaelbling and Kristian Kersting and Maithilee Kunda and Lu{\'{\i}}s C. Lamb and Bhaskara Marthi and Keith McGreggor and Vivi Nastase and Gregory M. Provan and Anita Raja and Ashwin Ram and Mark O. Riedl and Stuart Russell and Ashish Sabharwal and Jan{-}Georg Smaus and Gita Sukthankar and Karl Tuyls and Ron van der Meyden and Alon Y. Halevy and Lilyana Mihalkova and Sriraam Natarajan}, title = {Reports of the {AAAI} 2010 Conference Workshops}, journal = {{AI} Mag.}, volume = {31}, number = {4}, pages = {95--108}, year = {2010}, url = {https://doi.org/10.1609/aimag.v31i4.2318}, doi = {10.1609/AIMAG.V31I4.2318}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/AhaBBGDEGGGHIJKKKLMMNPRRRRSSSTMHMN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/almob/KimSVB10, author = {Ethan Kim and Ashish Sabharwal and Adrian Vetta and Mathieu Blanchette}, title = {Predicting direct protein interactions from affinity purification mass spectrometry data}, journal = {Algorithms Mol. Biol.}, volume = {5}, pages = {34}, year = {2010}, url = {https://doi.org/10.1186/1748-7188-5-34}, doi = {10.1186/1748-7188-5-34}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/almob/KimSVB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/comgeo/CaryRSV10, author = {Matthew Cary and Atri Rudra and Ashish Sabharwal and Erik Vee}, title = {Floodlight illumination of infinite wedges}, journal = {Comput. Geom.}, volume = {43}, number = {1}, pages = {23--34}, year = {2010}, url = {https://doi.org/10.1016/j.comgeo.2007.01.004}, doi = {10.1016/J.COMGEO.2007.01.004}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/comgeo/CaryRSV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KrocSS10, author = {Lukas Kroc and Ashish Sabharwal and Bart Selman}, title = {Approximate Inference for Clusters in Solution Spaces}, booktitle = {Abstraction, Reformulation, and Approximation, Papers from the 2010 {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010}, series = {{AAAI} Technical Report}, volume = {{WS-10-08}}, publisher = {{AAAI}}, year = {2010}, url = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2066}, timestamp = {Tue, 05 Sep 2023 08:59:27 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KrocSS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ProvanS10, author = {Gregory M. Provan and Ashish Sabharwal}, title = {Preface}, booktitle = {Abstraction, Reformulation, and Approximation, Papers from the 2010 {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010}, series = {{AAAI} Technical Report}, volume = {{WS-10-08}}, publisher = {{AAAI}}, year = {2010}, url = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2105}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ProvanS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/RamanujanSS10, author = {Raghuram Ramanujan and Ashish Sabharwal and Bart Selman}, editor = {Ronen I. Brafman and Hector Geffner and J{\"{o}}rg Hoffmann and Henry A. Kautz}, title = {On Adversarial Search Spaces and Sampling-Based Planning}, booktitle = {Proceedings of the 20th International Conference on Automated Planning and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16, 2010}, pages = {242--245}, publisher = {{AAAI}}, year = {2010}, url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1458}, timestamp = {Thu, 31 Jul 2014 11:17:14 +0200}, biburl = {https://dblp.org/rec/conf/aips/RamanujanSS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/AhmadizadehDGS10, author = {Kiyan Ahmadizadeh and Bistra Dilkina and Carla P. Gomes and Ashish Sabharwal}, editor = {David Cohen}, title = {An Empirical Study of Optimization for Maximizing Diffusion in Networks}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {514--521}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_41}, doi = {10.1007/978-3-642-15396-9\_41}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/AhmadizadehDGS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/KrocSS10, author = {Lukas Kroc and Ashish Sabharwal and Bart Selman}, editor = {Ofer Strichman and Stefan Szeider}, title = {An Empirical Study of Optimal Noise and Runtime Distributions in Local Search}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6175}, pages = {346--351}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14186-7\_31}, doi = {10.1007/978-3-642-14186-7\_31}, timestamp = {Sat, 19 Oct 2019 20:28:15 +0200}, biburl = {https://dblp.org/rec/conf/sat/KrocSS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uai/RamanujanSS10, author = {Raghuram Ramanujan and Ashish Sabharwal and Bart Selman}, editor = {Peter Gr{\"{u}}nwald and Peter Spirtes}, title = {Understanding Sampling Style Adversarial Search Methods}, booktitle = {{UAI} 2010, Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence, Catalina Island, CA, USA, July 8-11, 2010}, pages = {474--483}, publisher = {{AUAI} Press}, year = {2010}, url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2160\&\#38;proceeding\_id=26}, timestamp = {Wed, 03 Feb 2021 11:09:25 +0100}, biburl = {https://dblp.org/rec/conf/uai/RamanujanSS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uai/SheldonDEFSCGSAAV10, author = {Daniel Sheldon and Bistra Dilkina and Adam N. Elmachtoub and Ryan Finseth and Ashish Sabharwal and Jon Conrad and Carla P. Gomes and David B. Shmoys and William Allen and Ole Amundsen and William Vaughan}, editor = {Peter Gr{\"{u}}nwald and Peter Spirtes}, title = {Maximizing the Spread of Cascades Using Network Design}, booktitle = {{UAI} 2010, Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence, Catalina Island, CA, USA, July 8-11, 2010}, pages = {517--526}, publisher = {{AUAI} Press}, year = {2010}, url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2122\&\#38;proceeding\_id=26}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uai/SheldonDEFSCGSAAV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/constraints/HoevePRS09, author = {Willem Jan van Hoeve and Gilles Pesant and Louis{-}Martin Rousseau and Ashish Sabharwal}, title = {New filtering algorithms for combinations of among constraints}, journal = {Constraints An Int. J.}, volume = {14}, number = {2}, pages = {273--292}, year = {2009}, url = {https://doi.org/10.1007/s10601-008-9067-7}, doi = {10.1007/S10601-008-9067-7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/HoevePRS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/constraints/Sabharwal09, author = {Ashish Sabharwal}, title = {SymChaff: exploiting symmetry in a structure-aware satisfiability solver}, journal = {Constraints An Int. J.}, volume = {14}, number = {4}, pages = {478--505}, year = {2009}, url = {https://doi.org/10.1007/s10601-008-9060-1}, doi = {10.1007/S10601-008-9060-1}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/Sabharwal09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/DomshlakHS09, author = {Carmel Domshlak and J{\"{o}}rg Hoffmann and Ashish Sabharwal}, title = {Friends or Foes? On Planning as Satisfiability and Abstract {CNF} Encodings}, journal = {J. Artif. Intell. Res.}, volume = {36}, pages = {415--469}, year = {2009}, url = {https://doi.org/10.1613/jair.2817}, doi = {10.1613/JAIR.2817}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/DomshlakHS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/DilkinaGMSS09, author = {Bistra Dilkina and Carla P. Gomes and Yuri Malitsky and Ashish Sabharwal and Meinolf Sellmann}, editor = {Willem Jan van Hoeve and John N. Hooker}, title = {Backdoors to Combinatorial Optimization: Feasibility and Optimality}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, {CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5547}, pages = {56--70}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01929-6\_6}, doi = {10.1007/978-3-642-01929-6\_6}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/DilkinaGMSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KrocSGS09, author = {Lukas Kroc and Ashish Sabharwal and Carla P. Gomes and Bart Selman}, editor = {Craig Boutilier}, title = {Integrating Systematic and Local Search Paradigms: {A} New Strategy for MaxSAT}, booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009}, pages = {544--551}, year = {2009}, url = {http://ijcai.org/Proceedings/09/Papers/097.pdf}, timestamp = {Tue, 20 Aug 2019 16:16:40 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/KrocSGS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/KrocSS09, author = {Lukas Kroc and Ashish Sabharwal and Bart Selman}, editor = {Sung Y. Shin and Sascha Ossowski}, title = {Message-passing and local heuristics as decimation strategies for satisfiability}, booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009}, pages = {1408--1414}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1529282.1529596}, doi = {10.1145/1529282.1529596}, timestamp = {Tue, 06 Nov 2018 11:06:49 +0100}, biburl = {https://dblp.org/rec/conf/sac/KrocSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/DilkinaGS09, author = {Bistra Dilkina and Carla P. Gomes and Ashish Sabharwal}, editor = {Oliver Kullmann}, title = {Backdoors in the Context of Learning}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th International Conference, {SAT} 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5584}, pages = {73--79}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02777-2\_9}, doi = {10.1007/978-3-642-02777-2\_9}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/DilkinaGS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/KrocSS09, author = {Lukas Kroc and Ashish Sabharwal and Bart Selman}, editor = {Oliver Kullmann}, title = {Relaxed {DPLL} Search for MaxSAT}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th International Conference, {SAT} 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5584}, pages = {447--452}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02777-2\_41}, doi = {10.1007/978-3-642-02777-2\_41}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/KrocSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/KautzSS09, author = {Henry A. Kautz and Ashish Sabharwal and Bart Selman}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Incomplete Algorithms}, booktitle = {Handbook of Satisfiability}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {185}, pages = {185--203}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-58603-929-5-185}, doi = {10.3233/978-1-58603-929-5-185}, timestamp = {Fri, 06 May 2022 08:00:40 +0200}, biburl = {https://dblp.org/rec/series/faia/KautzSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/GomesS09, author = {Carla P. Gomes and Ashish Sabharwal}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Exploiting Runtime Variation in Complete Solvers}, booktitle = {Handbook of Satisfiability}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {185}, pages = {271--288}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-58603-929-5-271}, doi = {10.3233/978-1-58603-929-5-271}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/faia/GomesS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/GomesSS09, author = {Carla P. Gomes and Ashish Sabharwal and Bart Selman}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Model Counting}, booktitle = {Handbook of Satisfiability}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {185}, pages = {633--654}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-58603-929-5-633}, doi = {10.3233/978-1-58603-929-5-633}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/faia/GomesSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/KrocSS08, author = {Lukas Kroc and Ashish Sabharwal and Bart Selman}, editor = {Laurent Perron and Michael A. Trick}, title = {Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5015}, pages = {127--141}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68155-7\_12}, doi = {10.1007/978-3-540-68155-7\_12}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/KrocSS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/GomesHS08, author = {Carla P. Gomes and Willem Jan van Hoeve and Ashish Sabharwal}, editor = {Laurent Perron and Michael A. Trick}, title = {Connections in Networks: {A} Hybrid Approach}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5015}, pages = {303--307}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68155-7\_27}, doi = {10.1007/978-3-540-68155-7\_27}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/GomesHS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/HoeveS08, author = {Willem Jan van Hoeve and Ashish Sabharwal}, editor = {Laurent Perron and Michael A. Trick}, title = {Filtering Atmost1 on Pairs of Set Variables}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5015}, pages = {382--386}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68155-7\_42}, doi = {10.1007/978-3-540-68155-7\_42}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/HoeveS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isaim/DilkinaGS08, author = {Bistra Dilkina and Carla P. Gomes and Ashish Sabharwal}, title = {Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing}, booktitle = {International Symposium on Artificial Intelligence and Mathematics, {ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008}, year = {2008}, url = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008\_0068\_52aac45cbd48da479711d1c960b7be35.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isaim/DilkinaGS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isaim/KrocSS08, author = {Lukas Kroc and Bart Selman and Ashish Sabharwal}, title = {Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting}, booktitle = {International Symposium on Artificial Intelligence and Mathematics, {ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008}, year = {2008}, url = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008\_0052\_3da5c1fd0ca49eef3e503ba9723e3c3b.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isaim/KrocSS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/KrocSS08, author = {Lukas Kroc and Ashish Sabharwal and Bart Selman}, editor = {Daphne Koller and Dale Schuurmans and Yoshua Bengio and L{\'{e}}on Bottou}, title = {Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation}, booktitle = {Advances in Neural Information Processing Systems 21, Proceedings of the Twenty-Second Annual Conference on Neural Information Processing Systems, Vancouver, British Columbia, Canada, December 8-11, 2008}, pages = {873--880}, publisher = {Curran Associates, Inc.}, year = {2008}, url = {https://proceedings.neurips.cc/paper/2008/hash/0dbb3fb9a5cd1d5f8a9075b5bb8070aa-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/KrocSS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/fai/GomesKSS08, author = {Carla P. Gomes and Henry A. Kautz and Ashish Sabharwal and Bart Selman}, editor = {Frank van Harmelen and Vladimir Lifschitz and Bruce W. Porter}, title = {Satisfiability Solvers}, booktitle = {Handbook of Knowledge Representation}, series = {Foundations of Artificial Intelligence}, volume = {3}, pages = {89--134}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1574-6526(07)03002-7}, doi = {10.1016/S1574-6526(07)03002-7}, timestamp = {Mon, 06 Nov 2023 17:08:49 +0100}, biburl = {https://dblp.org/rec/reference/fai/GomesKSS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cc/BeameIS07, author = {Paul Beame and Russell Impagliazzo and Ashish Sabharwal}, title = {The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs}, journal = {Comput. Complex.}, volume = {16}, number = {3}, pages = {245--297}, year = {2007}, url = {https://doi.org/10.1007/s00037-007-0230-0}, doi = {10.1007/S00037-007-0230-0}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cc/BeameIS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/DilkinaGS07, author = {Bistra Dilkina and Carla P. Gomes and Ashish Sabharwal}, title = {The Impact of Network Topology on Pure Nash Equilibria in Graphical Games}, booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada}, pages = {42--49}, publisher = {{AAAI} Press}, year = {2007}, url = {http://www.aaai.org/Library/AAAI/2007/aaai07-007.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/DilkinaGS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/GomesHSS07, author = {Carla P. Gomes and Willem Jan van Hoeve and Ashish Sabharwal and Bart Selman}, title = {Counting {CSP} Solutions Using Generalized {XOR} Constraints}, booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada}, pages = {204--209}, publisher = {{AAAI} Press}, year = {2007}, url = {http://www.aaai.org/Library/AAAI/2007/aaai07-031.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/GomesHSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/DilkinaGS07, author = {Bistra Dilkina and Carla P. Gomes and Ashish Sabharwal}, editor = {Christian Bessiere}, title = {Tradeoffs in the Complexity of Backdoor Detection}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th International Conference, {CP} 2007, Providence, RI, USA, September 23-27, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4741}, pages = {256--270}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74970-7\_20}, doi = {10.1007/978-3-540-74970-7\_20}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/DilkinaGS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/ConradGHSS07, author = {Jon Conrad and Carla P. Gomes and Willem Jan van Hoeve and Ashish Sabharwal and Jordan Suter}, editor = {Pascal Van Hentenryck and Laurence A. Wolsey}, title = {Connections in Networks: Hardness of Feasibility Versus Optimality}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, {CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4510}, pages = {16--28}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72397-4\_2}, doi = {10.1007/978-3-540-72397-4\_2}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/ConradGHSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CaryRS07, author = {Matthew Cary and Atri Rudra and Ashish Sabharwal}, editor = {Lars Arge and Christian Cachin and Tomasz Jurdzinski and Andrzej Tarlecki}, title = {Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics}, booktitle = {Automata, Languages and Programming, 34th International Colloquium, {ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4596}, pages = {949}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73420-8\_81}, doi = {10.1007/978-3-540-73420-8\_81}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CaryRS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/GomesHSS07, author = {Carla P. Gomes and J{\"{o}}rg Hoffmann and Ashish Sabharwal and Bart Selman}, editor = {Manuela M. Veloso}, title = {From Sampling to Model Counting}, booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}, pages = {2293--2299}, year = {2007}, url = {http://ijcai.org/Proceedings/07/Papers/369.pdf}, timestamp = {Tue, 20 Aug 2019 16:17:11 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/GomesHSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/GomesHSS07, author = {Carla P. Gomes and J{\"{o}}rg Hoffmann and Ashish Sabharwal and Bart Selman}, editor = {Jo{\~{a}}o Marques{-}Silva and Karem A. Sakallah}, title = {Short XORs for Model Counting: From Theory to Practice}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4501}, pages = {100--106}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72788-0\_13}, doi = {10.1007/978-3-540-72788-0\_13}, timestamp = {Mon, 24 Feb 2020 19:23:27 +0100}, biburl = {https://dblp.org/rec/conf/sat/GomesHSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/GomesHSS07, author = {Carla P. Gomes and J{\"{o}}rg Hoffmann and Ashish Sabharwal and Bart Selman}, editor = {Ruzica Piskac and Frank van Harmelen and Ning Zhong}, title = {Sampling and Soundness: Can We Have Both?}, booktitle = {Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, tolerant and dynamic", co-located with {ISWC} 2007 and {ASWC} 2007, Busan, Korea, November 11th, 2007}, series = {{CEUR} Workshop Proceedings}, volume = {291}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-291/paper09.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:07 +0100}, biburl = {https://dblp.org/rec/conf/semweb/GomesHSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uai/KrocSS07, author = {Lukas Kroc and Ashish Sabharwal and Bart Selman}, editor = {Ronald Parr and Linda C. van der Gaag}, title = {Survey Propagation Revisited}, booktitle = {{UAI} 2007, Proceedings of the Twenty-Third Conference on Uncertainty in Artificial Intelligence, Vancouver, BC, Canada, July 19-22, 2007}, pages = {217--226}, publisher = {{AUAI} Press}, year = {2007}, url = {https://dl.acm.org/doi/10.5555/3020488.3020515}, doi = {10.5555/3020488.3020515}, timestamp = {Wed, 04 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/uai/KrocSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/GomesSS06, author = {Carla P. Gomes and Ashish Sabharwal and Bart Selman}, title = {Model Counting: {A} New Strategy for Obtaining Good Bounds}, booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, {USA}}, pages = {54--61}, publisher = {{AAAI} Press}, year = {2006}, url = {http://www.aaai.org/Library/AAAI/2006/aaai06-009.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/GomesSS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/HoffmannSD06, author = {J{\"{o}}rg Hoffmann and Ashish Sabharwal and Carmel Domshlak}, editor = {Derek Long and Stephen F. Smith and Daniel Borrajo and Lee McCluskey}, title = {Friends or Foes? An {AI} Planning Perspective on Abstraction and Search}, booktitle = {Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006}, pages = {294--303}, publisher = {{AAAI}}, year = {2006}, url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-030.php}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aips/HoffmannSD06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HoevePRS06, author = {Willem Jan van Hoeve and Gilles Pesant and Louis{-}Martin Rousseau and Ashish Sabharwal}, editor = {Fr{\'{e}}d{\'{e}}ric Benhamou}, title = {Revisiting the Sequence Constraint}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th International Conference, {CP} 2006, Nantes, France, September 25-29, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4204}, pages = {620--634}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11889205\_44}, doi = {10.1007/11889205\_44}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/HoevePRS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/GomesSS06, author = {Carla P. Gomes and Ashish Sabharwal and Bart Selman}, editor = {Bernhard Sch{\"{o}}lkopf and John C. Platt and Thomas Hofmann}, title = {Near-Uniform Sampling of Combinatorial Spaces Using {XOR} Constraints}, booktitle = {Advances in Neural Information Processing Systems 19, Proceedings of the Twentieth Annual Conference on Neural Information Processing Systems, Vancouver, British Columbia, Canada, December 4-7, 2006}, pages = {481--488}, publisher = {{MIT} Press}, year = {2006}, url = {https://proceedings.neurips.cc/paper/2006/hash/4110a1994471c595f7583ef1b74ba4cb-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/GomesSS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/SabharwalAGHS06, author = {Ashish Sabharwal and Carlos Ans{\'{o}}tegui and Carla P. Gomes and Justin W. Hart and Bart Selman}, editor = {Armin Biere and Carla P. Gomes}, title = {{QBF} Modeling: Exploiting Player Symmetry for Simplicity and Efficiency}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4121}, pages = {382--395}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11814948\_35}, doi = {10.1007/11814948\_35}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/SabharwalAGHS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/us/Sabharwal05, author = {Ashish Sabharwal}, title = {Algorithmic applications of propositional proof complexity}, school = {University of Washington, {USA}}, year = {2005}, url = {https://hdl.handle.net/1773/6938}, timestamp = {Wed, 04 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/us/Sabharwal05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/Sabharwal05, author = {Ashish Sabharwal}, editor = {Manuela M. Veloso and Subbarao Kambhampati}, title = {SymChaff: {A} Structure-Aware Satisfiability Solver}, booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}}, pages = {467--474}, publisher = {{AAAI} Press / The {MIT} Press}, year = {2005}, url = {http://www.aaai.org/Library/AAAI/2005/aaai05-074.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/Sabharwal05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/BeameKS04, author = {Paul Beame and Henry A. Kautz and Ashish Sabharwal}, title = {Towards Understanding and Harnessing the Potential of Clause Learning}, journal = {J. Artif. Intell. Res.}, volume = {22}, pages = {319--351}, year = {2004}, url = {https://doi.org/10.1613/jair.1410}, doi = {10.1613/JAIR.1410}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jair/BeameKS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/Buresh-OppenheimBPRS04, author = {Joshua Buresh{-}Oppenheim and Paul Beame and Toniann Pitassi and Ran Raz and Ashish Sabharwal}, title = {Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles}, journal = {{SIAM} J. Comput.}, volume = {34}, number = {2}, pages = {261--276}, year = {2004}, url = {https://doi.org/10.1137/S0097539703433146}, doi = {10.1137/S0097539703433146}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamcomp/Buresh-OppenheimBPRS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BeameKS03, author = {Paul Beame and Henry A. Kautz and Ashish Sabharwal}, editor = {Georg Gottlob and Toby Walsh}, title = {Understanding the Power of Clause Learning}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, pages = {1194--1201}, publisher = {Morgan Kaufmann}, year = {2003}, url = {http://ijcai.org/Proceedings/03/Papers/171.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:41 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BeameKS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/SabharwalBK03, author = {Ashish Sabharwal and Paul Beame and Henry A. Kautz}, editor = {Enrico Giunchiglia and Armando Tacchella}, title = {Using Problem Structure for Efficient Clause Learning}, booktitle = {Theory and Applications of Satisfiability Testing, 6th International Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2919}, pages = {242--256}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24605-3\_19}, doi = {10.1007/978-3-540-24605-3\_19}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/SabharwalBK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/Buresh-OppenheimBPRS02, author = {Josh Buresh{-}Oppenheim and Paul Beame and Toniann Pitassi and Ran Raz and Ashish Sabharwal}, title = {Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles}, booktitle = {43rd Symposium on Foundations of Computer Science {(FOCS} 2002), 16-19 November 2002, Vancouver, BC, Canada, Proceedings}, pages = {583--592}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/SFCS.2002.1181982}, doi = {10.1109/SFCS.2002.1181982}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/focs/Buresh-OppenheimBPRS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eccc/ECCC-TR02-023, author = {Josh Buresh{-}Oppenheim and Paul Beame and Toniann Pitassi and Ran Raz and Ashish Sabharwal}, title = {Bounded-depth Frege lower bounds for weaker pigeonhole principles}, journal = {Electron. Colloquium Comput. Complex.}, volume = {{TR02-023}}, year = {2002}, url = {https://eccc.weizmann.ac.il/eccc-reports/2002/TR02-023/index.html}, eprinttype = {ECCC}, eprint = {TR02-023}, timestamp = {Wed, 28 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR02-023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coco/BeameIS01, author = {Paul Beame and Russell Impagliazzo and Ashish Sabharwal}, title = {Resolution Complexity of Independent Sets in Random Graphs}, booktitle = {Proceedings of the 16th Annual {IEEE} Conference on Computational Complexity, Chicago, Illinois, USA, June 18-21, 2001}, pages = {52--68}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/CCC.2001.933872}, doi = {10.1109/CCC.2001.933872}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coco/BeameIS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.