3 ms·
Reinforcement learning can be used to improve theorem proving, but it probably needs more research: https://arxiv.org/abs/1805.07563 https://arxiv.org/abs/1805
by xiphias2 8y ago
Reinforcement learning can be used to improve theorem proving, but it probably needs more research:
https://arxiv.org/abs/1805.07563 https://arxiv.org/abs/1805.07563