Theorem proving in artificial neural networks: new frontiers in mathematical AI
Article in European Journal for Philosophy of Science (January 2024)
The most recent citing publications are shown below. View all 22 publications that cite this research output on Dimensions.
Article in European Journal for Philosophy of Science (January 2024)
Article in Social Epistemology (December 2023)
Article in Science and Engineering Ethics (August 2023)