Pages that link to "Item:Q331617"

The following pages link to A learning-based fact selector for Isabelle/HOL (Q331617):

Displaying 15 items.

• Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
• Aligning concepts across proof assistant libraries (Q1640642) (← links)
• Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
• TacticToe: learning to prove with tactics (Q2031416) (← links)
• Machine learning guidance for connection tableaux (Q2031418) (← 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)
• ENIGMA: efficient learning-based inference guiding machine (Q2364687) (← links)
• Mining the Archive of Formal Proofs (Q3453102) (← links)
• ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) (Q5049022) (← links)
• Hierarchical invention of theorem proving strategies (Q5145434) (← links)
• Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
• A formal proof of the expressiveness of deep learning (Q5915784) (← links)
• A formal proof of the expressiveness of deep learning (Q5919583) (← links)