Questions tagged [coq]

For questions related to Coq, an environment for developing mathematical facts

Filter by
Sorted by
Tagged with
6 votes
1 answer

Has reinforcement learning been used to prove mathematical theorems?

Coq exists, and there are other similar projects out there. Further, Reinforcement Learning has made splashes in the domain of playing games (a la Deepmind & OpenAI and other less well-known ...
Frank Bryce's user avatar
8 votes
1 answer

Can deep learning be used to help mathematical research?

I am currently learning about deep learning and artificial intelligence and exploring his possibilities, and, as a mathematician at heart, I am inquisitive about how it can be used to solve problems ...
Antoine Labelle's user avatar