Агенты ИИ | AGI_and_RL

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving https://arxiv.org/pdf/1911.02065.pdf