221 followers
Monte Carlo Tableau Proof Search https://t.co/u2KRrFIRO9
Monte Carlo Tableau Proof Search https://t.co/u2KRrFIRO9
Monte Carlo tableau proof search. ~ M. Färber, C. Kaliszyk, J. Urban. https://t.co/BB24tMmBAq #ATP #Logic #MachineLearning
"Monte Carlo Tableau Proof Search. (arXiv:1611.05990v2 [cs.LO] UPDATED)" #arXiv https://t.co/xegljyIDgY
@scottfleischman You may find some of Josef Urban’s work interesting, as I do. https://t.co/wirW1JBFqu