
Dependent Type Theory as Related to the Bourbaki Notions of Structure and Isomorphism
This paper develops a version of dependent type theory in which isomorph...
read it

InformationTheoretic Segmentation by Inpainting Error Maximization
We study image segmentation from an informationtheoretic perspective, p...
read it

OnTheFly Information Retrieval Augmentation for Language Models
Here we experiment with the use of information retrieval as an augmentat...
read it

MathZero, The Classification Problem, and SetTheoretic Type Theory
AlphaZero learns to play go, chess and shogi at a superhuman level throu...
read it

Isomorphism Revisited
Isomorphism is central to the structure of mathematics and has been form...
read it

Domainindependent Dominance of Adaptive Methods
From a simplified analysis of adaptive methods, we derive AvaGrad, a new...
read it

Evidence Sentence Extraction for Machine Reading Comprehension
Recently remarkable success has been achieved in machine reading compreh...
read it

Formal Limitations on the Measurement of Mutual Information
Motivate by applications to unsupervised learning, we consider the probl...
read it

Information Theoretic CoTraining
This paper introduces an information theoretic cotraining objective for...
read it

Emergent Predication Structure in Hidden State Vectors of Neural Readers
A significant number of neural architectures for reading comprehension h...
read it

Broad Context Language Modeling as Reading Comprehension
Progress in text understanding has been driven by large datasets that te...
read it

Who did What: A LargeScale PersonCentered Cloze Dataset
We have constructed a new "WhodidWhat" dataset of over 200,000 fillin...
read it

Proceedings of the TwentyFourth Conference on Uncertainty in Artificial Intelligence (2008)
This is the Proceedings of the TwentyFourth Conference on Uncertainty i...
read it

Polynomialtime Computation via Local Inference Relations
We consider the concept of a local set of inference rules. A local rule ...
read it
David McAllester
is this you? claim profile
Professor and Chief Academic Officer at Toyota Technological Institute at Chicago (TTIC)