Pages that link to "Item:Q2351414"

The following pages link to Machine learning for first-order theorem proving (Q2351414):

Displaying 19 items.

• A learning-based fact selector for Isabelle/HOL (Q331617) (← links)
• Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
• Cross-validation based weights and structure determination of Chebyshev-polynomial neural networks for pattern classification (Q1676889) (← links)
• Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
• Bayesian ranking for strategy scheduling in automated theorem provers (Q2104545) (← links)
• Heterogeneous heuristic optimisation and scheduling for first-order theorem proving (Q2128804) (← links)
• \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality (Q2156971) (← links)
• ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
• Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
• Improving the time efficiency of proving theorems using a learning mechanism (Q2740950) (← links)
• (Q3459922) (← links)
• Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness (Q5014692) (← links)
• Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (Q5026334) (← links)
• Performance Comparison of Machine Learning Platforms (Q5138254) (← links)
• Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition (Q5495916) (← links)
• Machine Learning for Inductive Theorem Proving (Q6108816) (← links)
• Automatic acquisition of search guiding heuristics (Q6488552) (← links)
• Lemmas: generation, selection, application (Q6541149) (← links)
• An attribute ranking method based on rough sets and interval-valued fuzzy sets (Q6577646) (← links)