ProofWriter

Transformers have been shown to emulate log- ical deduction over natural language theories (logical rules expressed in natural language), reliably assigning true/false labels to candi- date implications. However, their ability …...

AbstractWe introduce the Probabilistic Worldbuilding Model (PWM), a new fully symbolic Bayesian model of semantic parsing and reasoning, as a first step in a research program toward more domain- and …...