Page 6 of 6 FirstFirst ... 456
Results 51 to 53 of 53

Thread: Miscellaneous

  1. #51


    The progress we've made in machine learning - Tom Dietterich

    Published on Oct 31, 2017

    The National Academies of Sciences, Engineering, and Medicine organized a two-day workshop on the capabilities and applications of artificial intelligence and machine learning for the intelligence community on August 9-10, 2017.

  2. #52


    Developing bug-free machine learning systems using formal mathematics

    Published on Nov 5, 2017

    Noisy data, non-convex objectives, model misspecification, and numerical instability can all cause undesired behaviors in machine learning systems. As a result, detecting actual implementation errors can be extremely difficult. We demonstrate a methodology in which developers use an interactive proof assistant to both implement their system and to state a formal theorem defining what it means for their system to be correct. The process of proving this theorem interactively in the proof assistant exposes all implementation errors since any error in the program would cause the proof to fail. As a case study, we implement a new system, Certigrad, for optimizing over stochastic computation graphs, and we generate a formal (i.e. machine-checkable) proof that the gradients sampled by the system are unbiased estimates of the true mathematical gradients. We train a variational autoencoder using Certigrad and find the performance comparable to training the same model in TensorFlow.

  3. #53


    Probabilistic Machine Learning - Prof. Zoubin Ghahramani

    Published on Nov 12, 2017

    Zoubin Ghahramani is Professor of Information Engineering at the University of Cambridge, Co-Director of Uber AI Labs, and the Cambridge Director of the Alan Turing Institute, the UK's national institute for Data Science.

    He is also the Deputy Academic Director of the Leverhulme Centre for the Future of Intelligence. He has worked and studied at the University of Pennsylvania, MIT, the University of Toronto, the Gatsby Unit at UCL, and CMU.

    His research spans Neuroscience, AI, Machine Learning and Statistics. In 2015 he was elected a Fellow of the Royal Society.

    Recorded, 7th March 2017

Page 6 of 6 FirstFirst ... 456

Социальные закладки

Социальные закладки

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •