Adam Strandberg@strandbergbio·Feb 16, 2016Has there been work done on automated theorem proving using combined tree search/deep NN a la AlphaGo?112
'(·)@allgebrahReplying to @strandbergbio@The_Lagrangian /cc @larsr_h (I figure he'd know and I'm interested as well)11:31 AM · Feb 18, 2016·Twitter Web Client
Lars Hupel@larsr_h·Feb 18, 2016Replying to @allgebrah@allgebrah @The_Lagrangian I honestly have no idea, sorry.1
Lars Hupel@larsr_h·Feb 18, 2016Replying to @larsr_h@allgebrah @The_Lagrangian https://www21.in.tum.de/~blanchet/mash.pdf… might be relevant, though.1
