Top 10 words in @iclr2017 sub titles: learning neural network(s) deep model(s) representation(s) recurrent generative adversarial training
I think "higher-order logic" must be pretty low on the list, unfortunately...
-
-
that, and "theorem proving", was the main keyword in our title. It's a bit niche.
End of conversation
New conversation
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.