#

premise-selection

Here are 5 public repositories matching this topic...

konstantinosKokos / quill

🪶 Neural premise selection for Agda.

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

Updated Jul 4, 2026
Python

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

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

hyperpolymath / echidna

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

theorem-proving formal-verification automated-reasoning proof-search premise-selection neurosymbolic proof-assistants smt-solvers proof-certificates

Updated Aug 21, 2026
Rust

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

Improve this page

Add a description, image, and links to the premise-selection topic page so that developers can more easily learn about it.

Curate this topic

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."