Monte Carlo Ramsey

Approaching the Ramsey problem with an elementary Monte Carlo search

Applying deep Q learning to Atari games

Solving emulated Atari games through deep Q reinforcement learning, CNNs, and image processing.


Reconstructing Hadamard-diagonalizable graphs with boolean satisfiability solvers

Spread conjecture

Resolving a central problem in extremal-spectral graph theory.