Boris Shminke's repositories
gym-saturation
a collection of Gymnasium environments for saturation provers
isabelle-client
A client for Isabelle server (https://isabelle.in.tum.de)
neural-semigroups
Neural Networks for Semigroups
basic-rl-prover
An example of reinforcement learning based saturation prover
ray-prover
Generic saturation prover using Ray RLlib
residuated-binars
Useful scripts for finding finite counter-examples of residuated binars with different additional properties
tptp-lark-parser
A TPTP parser using Lark
Awesome-CV
:page_facing_up: Awesome CV is LaTeX template for your outstanding job application
codebert-features
Source code for https://huggingface.co/spaces/inpefess/codebert-features
docker-images
Various Docker images for CI
dotfiles
My config files
GraphGPS
Recipe for a General, Powerful, Scalable Graph Transformer
gym-saturation-feedstock
A conda-smithy repository for gym-saturation.
isabelle-client-feedstock
A conda-smithy repository for isabelle-client.
reciprocity_failure_example
Simple Python code to evaluate missing values in film reciprocity charts
scala-tptp-parser
A parser for the TPTP logic languages for automated theorem proving written in Scala
tptp-grpc
gRPC server for parsing TPTP into protobuf
tptp-lark-parser-feedstock
A conda-smithy repository for tptp-lark-parser.
tptp2graph
Transform TPTP formulae to DGL graphs
yapsap
Yet Another Python SAturation-style Prover