Reinforcement Learning

Applications of Reinforcement Learning to Automated Theorem Proving
Applications of Reinforcement Learning to Automated Theorem Proving

Master's thesis which combined RL with LLMs in the field of Automated Theorem Proving, beating SOTA methods in search efficiency.

Apr 7, 2024