Alexander Gray

Logical Neural Networks

2020 · arXiv (Cornell University)

We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning). Every neuron has a meaning as a component of a formula in a weighted real-valued …

Scalable Learning of Latent Language Structure With Logical Offline Cycle Consistency

2023 · arXiv (Cornell University)

We introduce Logical Offline Cycle Consistency Optimization (LOCCO), a scalable, semi-supervised method for training a neural semantic parser. Conceptually, LOCCO can be viewed as a form of self-learning where the semantic parser being trained is …