120 followers
There's this paper that uses "watchlists" to measure multidimensional progress. https://t.co/TfPMLRr1BR https://t.co/yYCeSzr1Pl
There's this paper that uses "watchlists" to measure multidimensional progress. https://t.co/TfPMLRr1BR https://t.co/yYCeSzr1Pl
ProofWatch: Watchlist Guidance for Large Theories in E https://t.co/ZsiqcAnjsP
"ProofWatch: Watchlist Guidance for Large Theories in E. (arXiv:1802.04007v2 [https://t.co/jqZ5dwubSV] UPDATED)" #arXiv https://t.co/R4kUTYjcLr
ProofWatch: Watchlist guidance for large theories in E. ~ Z. Goertzel, J. Jakubův, S. Schulz, J. Urban https://t.co/ff5oUbQbwd #APT