ENIGMA: efficient learning-based inference guiding machine (Q2364687): Difference between revisions

@@ Property / cites work @@
+A learning-based fact selector for Isabelle/HOL
@@ Property / cites work: A learning-based fact selector for Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3096176
@@ Property / cites work: Q3096176 / rank @@
+Normal rank
@@ Property / cites work @@
+SEPIA: Search for Proofs Using Inferred Automata
@@ Property / cites work: SEPIA: Search for Proofs Using Inferred Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
+Normal rank
@@ Property / cites work @@
+FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover
+Normal rank
@@ Property / cites work @@
+MizAR 40 for Mizar 40
@@ Property / cites work: MizAR 40 for Mizar 40 / rank @@
+Normal rank
@@ Property / cites work @@
+Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction
+Normal rank
@@ Property / cites work @@
+MaLeS: a framework for automatic tuning of automated theorem provers
+Normal rank
@@ Property / cites work @@
+Q3096126
@@ Property / cites work: Q3096126 / rank @@
+Normal rank
@@ Property / cites work @@
+IeanCOP: lean connection-based theorem proving
@@ Property / cites work: IeanCOP: lean connection-based theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+The 8th IJCAR automated theorem proving system competition – CASC-J8
+Normal rank
@@ Property / cites work @@
+MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
+Normal rank
@@ Property / cites work @@
+MaLeCoP Machine Learning Connection Prover
@@ Property / cites work: MaLeCoP Machine Learning Connection Prover / rank @@
+Normal rank