ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) (Q5049022): Difference between revisions

@@ Property / cites work @@
+MaLARea
@@ Property / cites work: MaLARea / rank @@
+Normal rank
@@ 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 @@
+Hammering towards QED
@@ Property / cites work: Hammering towards QED / rank @@
+Normal rank
@@ Property / cites work @@
+ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
+Normal rank
@@ Property / cites work @@
+Hammer for Coq: automation for dependent type theory
+Normal rank
@@ Property / cites work @@
+Q3096176
@@ Property / cites work: Q3096176 / rank @@
+Normal rank
@@ Property / cites work @@
+Sharing HOL4 and HOL Light Proof Knowledge
@@ Property / cites work: Sharing HOL4 and HOL Light Proof Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Aligning concepts across proof assistant libraries
+Normal rank
@@ Property / cites work @@
+ENIGMAWatch: ProofWatch meets ENIGMA
@@ Property / cites work: ENIGMAWatch: ProofWatch meets ENIGMA / rank @@
+Normal rank
@@ Property / cites work @@
+ENIGMA: efficient learning-based inference guiding machine
+Normal rank
@@ Property / cites work @@
+Enhancing ENIGMA given clause guidance
@@ Property / cites work: Enhancing ENIGMA given clause guidance / rank @@
+Normal rank
@@ Property / cites work @@
+Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
+Normal rank
@@ Property / cites work @@
+HOL(y)Hammer: online ATP service for HOL Light
@@ Property / cites work: HOL(y)Hammer: online ATP service for HOL Light / rank @@
+Normal rank
@@ Property / cites work @@
+MizAR 40 for Mizar 40
@@ Property / cites work: MizAR 40 for Mizar 40 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Class of Automated Theorem-Proving Algorithms
+Normal rank
@@ Property / cites work @@
+Q2739546
@@ Property / cites work: Q2739546 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4797437
@@ Property / cites work: Q4797437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150301
@@ Property / cites work: Q3150301 / rank @@
+Normal rank
@@ Property / cites work @@
+Fingerprint Indexing for Paramodulation and Rewriting
+Normal rank
@@ Property / cites work @@
+Simple and Efficient Clause Subsumption with Feature Vector Indexing
+Normal rank
@@ Property / cites work @@
+MPTP 0.2: Design, implementation, and initial experiments
+Normal rank
@@ Property / cites work @@
+MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
+Normal rank
@@ Property / cites work @@
+Using hints to increase the effectiveness of an automated reasoning program: Case studies
+Normal rank
@@ Property / describes a project that uses @@
+MaLARea
@@ Property / describes a project that uses: MaLARea / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TensorFlow
@@ Property / describes a project that uses: TensorFlow / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XGBoost
@@ Property / describes a project that uses: XGBoost / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+E Theorem Prover
@@ Property / describes a project that uses: E Theorem Prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LIBLINEAR
@@ Property / describes a project that uses: LIBLINEAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOLyHammer
@@ Property / describes a project that uses: HOLyHammer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Flyspeck
@@ Property / describes a project that uses: Flyspeck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MPTP 0.2
@@ Property / describes a project that uses: MPTP 0.2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ENIGMA
@@ Property / describes a project that uses: ENIGMA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3038615574
@@ Property / OpenAlex ID: W3038615574 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5049022