Theorem proving in artificial neural networks: new frontiers in mathematical AI

Overview of attention for article published in European Journal for Philosophy of Science, January 2024

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 4,321 followers.

Theorem proving in artificial neural networks: new frontiers in mathematical AI. ~ Markus Pantsar. https://t.co/kvBfHgWWfV #AI #MachineLearning #ITP #Math

https://t.co/A2x91Nj6yr Are human experts still indispensable in assessing what is interesting to humans?

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.