Pages that link to "Item:Q2352489"

The following pages link to Premise selection for mathematics by corpus analysis and kernel methods (Q2352489):

Displaying 35 items.

• MizAR 40 for Mizar 40 (Q286800) (← links)
• A learning-based fact selector for Isabelle/HOL (Q331617) (← links)
• Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
• Vampire with a brain is a good ITP hammer (Q831938) (← links)
• Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
• ATPboost: learning premise selection in binary setting with ATP feedback (Q1799117) (← links)
• ATP and presentation service for Mizar formalizations (Q1945905) (← links)
• HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
• Machine learning guidance for connection tableaux (Q2031418) (← links)
• Guiding an automated theorem prover with neural rewriting (Q2104548) (← links)
• The role of entropy in guiding a connection prover (Q2142077) (← links)
• Eliminating models during model elimination (Q2142079) (← links)
• Learning theorem proving components (Q2142080) (← links)
• GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
• ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
• Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
• Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
• Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
• Extending E Prover with Similarity Based Clause Selection Strategies (Q2817300) (← links)
• Random Forests for Premise Selection (Q2964471) (← links)
• Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
• Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
• Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library (Q3453131) (← links)
• System Description: E.T. 0.1 (Q3454109) (← links)
• Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← links)
• The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)
• Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
• Logical analysis of emotions in text from natural language (Q5114311) (← links)
• Hierarchical invention of theorem proving strategies (Q5145434) (← links)
• The CADE-27 Automated theorem proving System Competition – CASC-27 (Q5145460) (← links)
• mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library (Q5200124) (← links)
• Mining State-Based Models from Proof Corpora (Q5495930) (← links)
• Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
• Machine-learned premise selection for Lean (Q6541150) (← links)
• Graph sequence learning for premise selection (Q6650565) (← links)