Czech Institute of Informatics, Robotics, and Cybernetics, Czech Technical University in Prague
Karel Chvalovský
logic;formula;recursive neural networks;recurrent neural networks
Top-Down Neural Model For Formulae