#

premise-selection

Here are 6 public repositories matching this topic...

pfnet-research / chainer-formulanet

Chainer implementation of FormulaNet

python deep-learning chainer theorem-proving graph-convolutional-networks graph-embedding premise-selection

Updated Feb 16, 2020
Python

konstantinosKokos / quill

🪶 Neural premise selection for Agda.

agda representation-learning premise-selection automated-theorem-proving neurosymbolic neurips-2024

Updated Jul 4, 2026
Python

hyperpolymath / echidna

ECHIDNA — Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance. Neurosymbolic theorem proving with 30 prover backends

rust open-source automated-reasoning premise-selection research-software proof-assistants smt-solving hybrid-ai neurosymbolic-ai hyperpolymath epistemic-infrastructure epistemic-computing proof-certificates veridical-computing equivalence-aware-computing typed-provenance neurosymbolic-theorem-proving multi-prover-backend

Updated Sep 21, 2026
Rust

ai-systems / tg2022task_premise_retrieval

TextGraphs Shared Task on Natural Language Premise Selection

natural-language-processing information-retrieval premise-selection

Updated Sep 1, 2022
Python

honghanhh / oeis_similarity

Premise Selection using OEIS portal

cosine-similarity oeis math-expression premise-selection sentence-transformers sbert transformers-models

Updated Feb 16, 2023
Python

durgesh-qcat / lemma-portfolio

Final submitted paper, benchmark, oracle, supplementary evidence, and reproducibility checks for LemmaPortfolio: Shared-Budget Lemma Selection for Multiple Lean Goals

benchmark formal-methods reproducibility premise-selection lean4

Updated Sep 22, 2026
Python

Add this topic to your repo

To associate your repository with the premise-selection topic, visit your repo's landing page and select "manage topics."