Keyword:formal mathematics

Publications
Formalized Hopfield Networks and Boltzmann Machines Matteo Cipollina, Michail Karatarakis and Freek Wiedijk In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Machine Learner for Automated Reasoning 0.4 and 0.5 Cezary Kaliszyk, Josef Urban and Jiri Vyskocil In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Machine Learning of Coq Proof Guidance: First Experiments Cezary Kaliszyk, Lionel Mamane and Josef Urban In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science