Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2304.09276
Cited By
v1
v2 (latest)
Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming
18 April 2023
J. Flach
Alvaro F. Moreira
Luís C. Lamb
NAI
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming"
1 / 1 papers shown
Title
Neuro-Symbolic AI: Explainability, Challenges, and Future Trends
Xin Zhang
Victor S. Sheng
AI4TS
68
6
0
07 Nov 2024
1
