71 followers
221 followers
Monte Carlo Tableau Proof Search https://t.co/u2KRrFIRO9
3,642 followers
Monte Carlo tableau proof search. ~ M. Färber, C. Kaliszyk, J. Urban. https://t.co/BB24tMmBAq #ATP #Logic #MachineLearning
642 followers
"Monte Carlo Tableau Proof Search. (arXiv:1611.05990v2 [cs.LO] UPDATED)" #arXiv https://t.co/xegljyIDgY