Using mixture of experts method in combining search-guiding heuristics for theorem proving (Q4932637)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Using mixture of experts method in combining search-guiding heuristics for theorem proving |
scientific article; zbMATH DE number 5796601
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Using mixture of experts method in combining search-guiding heuristics for theorem proving |
scientific article; zbMATH DE number 5796601 |
Statements
Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving (English)
0 references
6 October 2010
0 references
search process
0 references
0 references
0.7897989749908447
0 references
0.7679871916770935
0 references
0.7620574831962585
0 references
0.7379682064056396
0 references
