The repository collection of the AI Research Group, Institute of Mathematics of Eötvös Loránd University.