4 citations · 7 across the 6 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2023
gym-saturation: Gymnasium environments for saturation provers (System description)
Boris Shminke
This work describes a new version of a previously published Python package - gym-saturation: a collection of OpenAI Gym environments for guiding saturation-style provers based on t…
cs.LG2021★ 1 cited
A Neural Network for Semigroups
Edouard Balzin, Boris Shminke
Tasks like image reconstruction in computer vision, matrix completion in recommender systems and link prediction in graph theory, are well studied in machine learning literature. I…