74 citations · 280 across the 32 of their papers we have counts for
36 papers
Quantifying The Limits of AI Reasoning: Systematic Neural Network Representations of Algorithms
Anastasis Kratsios, Dennis Zvigelsky, Bradd Hart
A main open question in contemporary AI research is quantifying the forms of reasoning neural networks can perform when perfectly trained. This paper answers this by interpreting r…
Totally Bounded Elements in W*-probability Spaces
Hiroshi Ando, Jananan Arulseelan, Isaac Goldbring +2
We introduce the notion of a totally (-) bounded element of a -probability space and, borrowing ideas of Kadison, give an intrinsic characterization of the -su…
An Introduction To Continuous Model Theory
Bradd Hart
We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as -algebras and von Neumann algebras…
Locally universal C*-algebras with computable presentations
Alec Fox, Isaac Goldbring, Bradd Hart
The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra . In an effort to provide a negative solution to the KE…
On Tsirelson pairs of C*-algebras
Isaac Goldbring, Bradd Hart
We introduce the notion of a Tsirelson pair of C*-algebras, which is a pair of C*-algebras for which the space of quantum strategies obtained by using states on the minimal tensor…
A survey on the model theory of tracial von Neumann algebras
Isaac Goldbring, Bradd Hart
We survey the developments in the model theory of tracial von Neumann algebras that have taken place in the last fifteen years. We discuss the appropriate first-order language for…