🪶 Neural premise selection for Agda.
-
Updated
Jul 4, 2026 - Python
#
premise-selection
Here are 6 public repositories matching this topic...
ECHIDNA — Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance. Neurosymbolic theorem-prover orchestrator: 12 core provers, 105 backend integrations (141 ProverKind variants; see docs/PROVER_COUNT.adoc), trust pipeline.
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
Nov 4, 2026 - Rust
Chainer implementation of FormulaNet
python deep-learning chainer theorem-proving graph-convolutional-networks graph-embedding premise-selection
-
Updated
Feb 16, 2020 - Python
TextGraphs Shared Task on Natural Language Premise Selection
-
Updated
Sep 1, 2022 - Python
Premise Selection using OEIS portal
cosine-similarity oeis math-expression premise-selection sentence-transformers sbert transformers-models
-
Updated
Feb 16, 2023 - Python
Final submitted paper, benchmark, oracle, supplementary evidence, and reproducibility checks for LemmaPortfolio: Shared-Budget Lemma Selection for Multiple Lean Goals
-
Updated
Oct 14, 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."