GitHub repository: rudraroop/RL-Constructions-Combinatorics-Disprove
Primary language: Python
Description: This repository contains all the code for a research project on generating constructions in geometrical combinatorics using Reinforcement Learning with the intention of Disproving Mathematical Conjectures