Trusted AI-assisted Programming

Microsoft Research blog