Fully Automated Fact Checking Using External Sources. Thermostat-assisted continuously-tempered Hamiltonian Monte Carlo for Bayesian learning. Superhuman Accuracy on the SNEMI3D Connectomics Challenge. A General Framework for Adversarial Examples with Objectives. Rocket Launching: A Universal and Efficient Framework for Training Well-performing Lig …