GitHub repository: rudraroop/RL-Disprove-Mathematical-Conjectures
Primary language: Python
Created: 2023-08-04T13:36:16Z
Description: This repository contains all the code for a research project on Disproving Mathematical Conjectures using Reinforcement Learning