Projects

https://upload.wikimedia.org/wikipedia/commons/5/51/K_16_partitioned_into_three_Clebsch_graphs.svg

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

Applying deep Q learning to Atari games

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

https://upload.wikimedia.org/wikipedia/commons/a/a5/Sat_reduced_to_Clique_from_Sipser.svg

had-to-sat

Reconstructing Hadamard-diagonalizable graphs with boolean satisfiability solvers

https://www.ams.org/journals/cams/2022-02-11/S2692-3688-2022-00014-6/viewer/Images/img9e46910d23ffbf5793227d2713187bec.svg

Spread conjecture

Resolving a central problem in extremal-spectral graph theory.