Author:
Jakubův Jan,Chvalovský Karel,Olšák Miroslav,Piotrowski Bartosz,Suda Martin,Urban Josef
Publisher
Springer International Publishing
Reference30 articles.
1. Abadi, M., et al.: TensorFlow: large-scale machine learning on heterogeneous systems (2015).
http://tensorflow.org
2. Blanchette, J.C., Greenaway, D., Kaliszyk, C., Kühlwein, D., Urban, J.: A learning-based fact selector for Isabelle/HOL. J. Autom. Reasoning 57(3), 219–244 (2016).
https://doi.org/10.1007/s10817-016-9362-8
3. Blanchette, J.C., Kaliszyk, C., Paulson, L.C., Urban, J.: Hammering towards QED. J. Formalized Reasoning 9(1), 101–148 (2016)
4. Chen, T., Guestrin, C.: XGBoost: a scalable tree boosting system. In: Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2016), pp. 785–794. ACM, New York (2016)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);K Chvalovský,2019
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献