Reinforcement learning for finding counterexamples in graph theory [rl4fc]

This is a report for HEGL Praktikum in SoSe 2023. This is a multi-author article, I wrote it with my groupmates and post it here now as a reference.