gym-saturation: Gymnasium Environments for Saturation Provers (System description).

Published in: TABLEAUX (2023)

Keyphrases

real world
three dimensional
image quality
high level
dynamic environments
search engine
reinforcement learning
wide range
preprocessing
relational databases
knowledge representation
theorem prover
color image enhancement