Pinned Repositories
ast2vec
basic-rl-prover
An example of reinforcement learning based saturation prover
gym-saturation
a collection of Gymnasium environments for saturation provers
isabelle-client
A client for Isabelle server (https://isabelle.in.tum.de)
lightfm
A Python implementation of LightFM, a hybrid recommendation algorithm.
neural-semigroups
Neural Networks for Semigroups
pipenv.el
A Pipenv porcelain inside Emacs.
practical-logic-handbook
Some code inspired by "Handbook of Practical Logic and Automated Reasoning" by John Harrison
ray-prover
Generic saturation prover using Ray RLlib
recommender-systems-course
inpefess's Repositories
inpefess/gym-saturation
a collection of Gymnasium environments for saturation provers
inpefess/isabelle-client
A client for Isabelle server (https://isabelle.in.tum.de)
inpefess/neural-semigroups
Neural Networks for Semigroups
inpefess/ast2vec
inpefess/recommender-systems-course
inpefess/basic-rl-prover
An example of reinforcement learning based saturation prover
inpefess/ray-prover
Generic saturation prover using Ray RLlib
inpefess/residuated-binars
Useful scripts for finding finite counter-examples of residuated binars with different additional properties
inpefess/tptp-lark-parser
A TPTP parser using Lark
inpefess/Awesome-CV
:page_facing_up: Awesome CV is LaTeX template for your outstanding job application
inpefess/codebert-features
Source code for https://huggingface.co/spaces/inpefess/codebert-features
inpefess/docker-images
Various Docker images for CI
inpefess/dotfiles
My config files
inpefess/GraphGPS
Recipe for a General, Powerful, Scalable Graph Transformer
inpefess/gym-saturation-feedstock
A conda-smithy repository for gym-saturation.
inpefess/Gymnasium
A standard API for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)
inpefess/HierarchyCraft
An environement builder for hierarchical reasoning research
inpefess/inpefess.github.io
inpefess/isabelle-client-feedstock
A conda-smithy repository for isabelle-client.
inpefess/mizar-system
inpefess/OSSRH-92514
inpefess/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.
inpefess/reciprocity_failure_example
Simple Python code to evaluate missing values in film reciprocity charts
inpefess/scala-tptp-parser
A parser for the TPTP logic languages for automated theorem proving written in Scala
inpefess/tptp-grpc
gRPC server for parsing TPTP into protobuf
inpefess/tptp-lark-parser-feedstock
A conda-smithy repository for tptp-lark-parser.
inpefess/tptp2graph
Transform TPTP formulae to DGL graphs
inpefess/TRAIL
Trial Reasoner for AI that Learns
inpefess/vampire
The Vampire Theorem Prover
inpefess/yapsap
Yet Another Python SAturation-style Prover