Implementation for the paper "Compositional Attention Networks for Machine Reasoning" (Hudson and Manning, ICLR 2018)
A Constrained Text Generation Challenge Towards Generative Commonsense Reasoning
Implementation of ICML 23 Paper: Specializing Smaller Language Models towards Multi-Step Reasoning.
The MacGraph network. An attempt to get MACnets running on graph knowledge
Neural Logic Programming Language
Memory, Attention and Composition (MAC) Network for CLEVR implemented via KnetLayers
Knet implementation of "A simple neural network module for relational reasoning" (Relational Networks) https://arxiv.org/pdf/1706.01427.pdf
A smart meal planner for everyone, including diabetics
A lightweight expert-system framework for modeling and testing medical diagnostic rules, with multiple approaches.
A new computational substrate for machine reasoning — no vectors, no softmax, no backpropagation. Built on typed relations, topological surprise, and the mathematics of Ramanujan.
Java and Python wrapper for the Julia language PDDL library (PDDL.jl)
Harmonic — independent third-party profile of a public API surface, by API Evangelist. Harmonic is a Palo Alto AI lab building Mathematical Superintelligence (MSI) — AI that reasons with rigorous, verifiable logic rather than statistical pattern matching. Its flagship product, Aristotle, is a formal reasoning agent that uses Lean 4 to prove and for
A research review about reasoning in Artificial Neural Networks.
Course Project, UniStuttgart, WiSe2425
A research program on whether adaptive systems can become appropriately different without losing their capacity for justified correction.
To associate your repository with the machine-reasoning topic, visit your repo's landing page and select "manage topics."