inpefess/ast2vec inpefess/ast2vec

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Jupyter Notebook
  • License
    GNU General Publi...
  • Created over 2 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
inpefess/ast2vec
github

inpefess

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

gym-saturation

a collection of Gymnasium environments for saturation provers
TeX
17
star
2

isabelle-client

A client for Isabelle server (https://isabelle.in.tum.de)
TeX
9
star
3

neural-semigroups

Neural Networks for Semigroups
Python
8
star
4

recommender-systems-course

Python
3
star
5

ray-prover

Generic saturation prover using Ray RLlib
Python
1
star
6

basic-rl-prover

An example of reinforcement learning based saturation prover
TeX
1
star
7

tptp-lark-parser

A TPTP parser using Lark
Python
1
star
8

practical-logic-handbook

Some code inspired by "Handbook of Practical Logic and Automated Reasoning" by John Harrison
Scala
1
star
9

residuated-binars

Useful scripts for finding finite counter-examples of residuated binars with different additional properties
Isabelle
1
star