MaSh: Machine Learning for Sledgehammer.
| Autor: | Kühlwein, Daniel, Blanchette, Jasmin Christian, Kaliszyk, Cezary, Urban, Josef |
|---|---|
| Zdroj: | Interactive Theorem Proving (9783642396335); 2013, p35-50, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Kühlwein, Daniel, Blanchette, Jasmin Christian, Kaliszyk, Cezary, Urban, Josef |
|---|---|
| Zdroj: | Interactive Theorem Proving (9783642396335); 2013, p35-50, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|