Greg Yang

Learn More
Recently, Neural Turing Machine and Memory Networks have shown that adding an external memory can greatly ameliorate a traditional recurrent neural network's tendency to forget after a long period of time. Here we present a new design of an external memory, wherein memories are stored in an Euclidean key space R n. An LSTM controller performs read and write(More)
The ǫ-logic (which is called ǫE-logic in this paper) of Kuyper and Terwijn is a variant of first order logic with the same syntax, in which the models are equipped with probability measures and in which the ∀x quantifier is interpreted as " there exists a set A of measure ≥ 1 − ǫ such that for each x ∈ A,. .. . " Previously, Kuyper and Terwijn proved that(More)
  • 1