inpefess

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

ast2vec

recommender-systems-course

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

AIUDSA18

Lab sessions for a Distributed Big Data Systems MSc course

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.

Gymnasium

A standard API for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

inpefess.github.io

isabelle-client-feedstock

A conda-smithy repository for isabelle-client.

mizar-system

OSSRH-92514

ray

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a toolkit of libraries (Ray AIR) for accelerating ML workloads.

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

TRAIL

Trial Reasoner for AI that Learns

vampire

The Vampire Theorem Prover

yapsap

Yet Another Python SAturation-style Prover