Pinned Loading

1. neural-synthesis neural-synthesis Public

   Code for Neural Term Synthesis

   Python

2. mlcvc5-LPAR mlcvc5-LPAR Public

   The SMT solver cvc5 modified with a graph neural network instantiation predictor

   SMT

3. iprover-gnn-server iprover-gnn-server Public

   A GNN clause selection predictor for the instantion-calculus prover iProver

   OCaml

4. text2tac text2tac Public

   Forked from IBM/graph2tac

   text2tac converts text to tactics, allowing language models to control an interactive theorem prover

   Python 1