This award is funded in whole or in part under the American Rescue Plan Act of 2021 (Public Law 117-2). Modern question answering systems, embedded in search engines and digital assistants, have improved dramatically with the development of large neural network models. When a user asks a simple question, these systems can typically return an answer directly rather than just linking to a webpage. However, these systems still fail on more complex questions, and when they fail, they may mislead their users. They lack an important capability that humans have: the ability to reason about and synthesize the information they see, retrieve and integrate additional information, and arrive at a justified conclusion. This CAREER project aims to address this shortcoming by developing systems that "think through" textual evidence, leading to more reliable answers that can be explained to a user. Such advances fit into a broader thread of building trustable artificial intelligence (AI) systems that explicitly show their work and are auditable before and during their deployment. This project specifically addresses the problems of question answering and fact-checking by developing a learning-based system that reasons in natural language. The system takes text as input, then applies pre-trained neural network models to reformulate that text, derive conclusions from it, and eventually check a claim or verify an answer. This process produces a series of logically connected statements und