Reinforcement Learning for Mathematics
I am currently working on projects involving the use of reinforcement learning to generate useful, interpretable data for mathematicians in combinatorics and convex geometry to inform conjectures and proofs. More details to come!