scispace - formally typeset
A

Anthony Tomasic

Researcher at Carnegie Mellon University

Publications -  101
Citations -  4544

Anthony Tomasic is an academic researcher from Carnegie Mellon University. The author has contributed to research in topics: Query optimization & Distributed database. The author has an hindex of 34, co-authored 100 publications receiving 4297 citations. Previous affiliations of Anthony Tomasic include University of California & Stanford University.

Papers
More filters
Proceedings Article

Propositional Reasoning via Neural Transformer Language Models

TL;DR: The promising results show that a transformer model can i) generalize an inference algorithm for propositional resolution, and ii) learn to solve simple instances of view updates by leveraging the propositional reasoning framework.