Pages that link to "Item:Q6488552"
From MaRDI portal
The following pages link to Automatic acquisition of search guiding heuristics (Q6488552):
Displaying 8 items.
- Accelerating autonomous learning by using heuristic selection of actions (Q1009186) (← links)
- Proofs as schemas and their heuristic use (Q1583854) (← links)
- Machine learning for first-order theorem proving (Q2351414) (← links)
- Learning search control-knowledge for equational deduction (Q2739546) (← links)
- Improving the time efficiency of proving theorems using a learning mechanism (Q2740950) (← links)
- Representing heuristic-relevant information for an automated theorem prover (Q3979280) (← links)
- Experiments in the heuristic use of past proof experience (Q4647545) (← links)
- Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving (Q4932637) (← links)