Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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 = {Thu, 07 Dec 2023 00:00:00 +0100},
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 = {Sat, 30 Sep 2023 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 = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coco/BeameIS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-14 03:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
