premise-selection

There are 4 repositories under premise-selection topic.

pfnet-research/chainer-formulanet
Chainer implementation of FormulaNet
Language:Python5 11 03
ai-systems/tg2022task_premise_retrieval
TextGraphs Shared Task on Natural Language Premise Selection
Language:Python4 3 11
honghanhh/oeis_similarity
Premise Selection using OEIS portal
Language:Python2 1 0
konstantinosKokos/neural-agda
wip
Language:Python0 2 40