53 citations · 59 across the 6 of their papers we have counts for
3 papers · 1 filter
Learning a Hierarchical Planner from Humans in Multiple Generations
Leonardo Hernandez Cano, Yewen Pu, Robert D. Hawkins +2
A typical way in which a machine acquires knowledge from humans is by programming. Compared to learning from demonstrations or experiences, programmatic learning allows the machine…
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
Theo X. Olausson, Alex Gu, Benjamin Lipkin +4
Logical reasoning, i.e., deductively inferring the truth value of a conclusion from a set of premises, is an important task for artificial intelligence with wide potential impacts…
SPARLING: Learning Latent Representations with Extremely Sparse Activations
Kavi Gupta, Osbert Bastani, Armando Solar-Lezama
Real-world processes often contain intermediate state that can be modeled as an extremely sparse activation tensor. In this work, we analyze the identifiability of such sparse and…