Projects
Monte Carlo Ramsey
Approaching the Ramsey problem with an elementary Monte Carlo search
![https://raw.githubusercontent.com/ariasanovsky/practical_deep_Q_learning/main/atari_paper/plots/_PongNoFrameskip-v4_lr0.0001_nGames500.png](https://raw.githubusercontent.com/ariasanovsky/practical_deep_Q_learning/main/atari_paper/plots/_PongNoFrameskip-v4_lr0.0001_nGames500.png)
Applying deep Q learning to Atari games
Solving emulated Atari games through deep Q reinforcement learning, CNNs, and image processing.
had-to-sat
Reconstructing Hadamard-diagonalizable graphs with boolean satisfiability solvers
Spread conjecture
Resolving a central problem in extremal-spectral graph theory.