Mathematics - Microsoft Research

Video

Lightning talks: Augmented Mathematical Intelligence

November 16, 2021 | Leonardo de Moura, Kevin Buzzard, Daniel Selsam

Augmented Mathematical Intelligence (AMI) refers to the ability to solve formally specified problems as reliably as humans can over all classes of such problems that are of interest to our civilization. This includes not only…

Research Summit 2021: Augmented Math Intelligence

38:47

Publication

Modelling Stochastic Volatility in the Kenyan Securities Market Using Hidden Markov Models

Matilda Bosire, Samuel Chege Maina

Journal of Financial Risk Management | September 2021, Vol 10(3)

Publication

A theoretical model for studying the nonlinear viscoelastic response of an active fluid undergoing oscillatory shear

Sara Malvar, Francisco Ricardo Cunha

Physics of Fluids | September 2021, Vol 33: pp. 091903

Publication

Understanding generalization error of SGD in nonconvex optimization

Yi Zhou, Yingbin Liang, Huishuai Zhang

Machine Learning | September 2021

Publication

Acceleration via Fractal Learning Rate Schedules

Naman Agarwal, Surbhi Goel, Cyril Zhang

2021 International Conference on Machine Learning | July 2021

Publication

The Lean 4 Theorem Prover and Programming Language

Leonardo de Moura, Sebastian Ullrich

2021 Conference on Automated Deduction | July 2021

Github Project

Publication

Batch optimization for DNA synthesis

Konstantin Makarychev, Miklos Racz, Cyrus Rashtchian, Sergey Yekhanin

International Symposium on Information Theory (ISIT) | July 2021

Project

Publication

Lower Bounds for Maximally Recoverable Tensor Code and Higher Order MDS Codes

Joshua Brakensiek, Sivakanth Gopi, Visu Makam

IEEE Transactions on Information Theory | July 2021

Publication

Trellis BMA: coded trace reconstruction on IDS channels for DNA storage

Sundara Rajan Srinivasavaradhan, Sivakanth Gopi, Henry Pfister, Sergey Yekhanin

International Symposium on Information Theory (ISIT) | July 2021

Github Project

Publication

On the Generative Utility of Cyclic Conditionals

Chang Liu, Haoyue Tang, Tao Qin, Jintao Wang, Tie-Yan Liu

NeurIPS 2021 | June 2021