results by Bing
    Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq; ... to helping our partner product groups apply ML to large and complex data sets. ...