Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming

João Flach, Alvaro F. Moreira, Luis C. Lamb

Over the last decades, deep neural networks based-models became the dominant paradigm in machine learning. Further, the use of artificial neural networks in symbolic learning has b…