Think you have solved question answering? try arc, the ai2 reasoning challenge P Clark, I Cowhey, O Etzioni, T Khot, A Sabharwal, C Schoenick, O Tafjord arXiv preprint arXiv:1803.05457, 2018 | 444 | 2018 |

Can a suit of armor conduct electricity? a new dataset for open book question answering T Mihaylov, P Clark, T Khot, A Sabharwal arXiv preprint arXiv:1809.02789, 2018 | 412 | 2018 |

Satisfiability solvers CP Gomes, H Kautz, A Sabharwal, B Selman Foundations of Artificial Intelligence 3, 89-134, 2008 | 385 | 2008 |

Scitail: A textual entailment dataset from science question answering T Khot, A Sabharwal, P Clark Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 383 | 2018 |

Towards understanding and harnessing the potential of clause learning P Beame, H Kautz, A Sabharwal Journal of artificial intelligence research 22, 319-351, 2004 | 383 | 2004 |

Model counting CP Gomes, A Sabharwal, B Selman Handbook of satisfiability, 993-1014, 2021 | 208 | 2021 |

Algorithm selection and scheduling S Kadioglu, Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann Principles and Practice of Constraint Programming–CP 2011: 17th …, 2011 | 207 | 2011 |

Beyond the imitation game: Quantifying and extrapolating the capabilities of language models A Srivastava, A Rastogi, A Rao, AAM Shoeb, A Abid, A Fisch, AR Brown, ... arXiv preprint arXiv:2206.04615, 2022 | 190 | 2022 |

Parsing algebraic word problems into equations R Koncel-Kedziorski, H Hajishirzi, A Sabharwal, O Etzioni, SD Ang Transactions of the Association for Computational Linguistics 3, 585-597, 2015 | 185 | 2015 |

Unifiedqa: Crossing format boundaries with a single qa system D Khashabi, S Min, T Khot, A Sabharwal, O Tafjord, P Clark, H Hajishirzi arXiv preprint arXiv:2005.00700, 2020 | 170 | 2020 |

Qasc: A dataset for question answering via sentence composition T Khot, P Clark, M Guerquin, P Jansen, A Sabharwal Proceedings of the AAAI Conference on Artificial Intelligence 34 (05), 8082-8090, 2020 | 169 | 2020 |

Model counting: A new strategy for obtaining good bounds CP Gomes, A Sabharwal, B Selman AAAI 10, 1597538.1597548, 2006 | 165 | 2006 |

Adversarial filters of dataset biases R Le Bras, S Swayamdipta, C Bhagavatula, R Zellers, M Peters, ... International Conference on Machine Learning, 1078-1088, 2020 | 158 | 2020 |

Combining retrieval, statistics, and inference to answer elementary science questions P Clark, O Etzioni, T Khot, A Sabharwal, O Tafjord, P Turney, D Khashabi Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 154 | 2016 |

Taming the curse of dimensionality: Discrete integration by hashing and optimization S Ermon, C Gomes, A Sabharwal, B Selman International Conference on Machine Learning, 334-342, 2013 | 141 | 2013 |

Near-uniform sampling of combinatorial spaces using XOR constraints CP Gomes, A Sabharwal, B Selman Advances In Neural Information Processing Systems 19, 2006 | 137 | 2006 |

Understanding the power of clause learning P Beame, H Kautz, A Sabharwal IJCAI, 1194-1201, 2003 | 129 | 2003 |

From Sampling to Model Counting. CP Gomes, J Hoffmann, A Sabharwal, B Selman IJCAI 2007, 2293-2299, 2007 | 125 | 2007 |

Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering. Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann IJCAI 13, 608-614, 2013 | 124 | 2013 |

Probing natural language inference models through semantic fragments K Richardson, H Hu, L Moss, A Sabharwal Proceedings of the AAAI Conference on Artificial Intelligence 34 (05), 8713-8721, 2020 | 108 | 2020 |