{"id":890049,"date":"2022-11-17T11:25:36","date_gmt":"2022-11-17T19:25:36","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-project&p=890049"},"modified":"2024-10-23T15:47:00","modified_gmt":"2024-10-23T22:47:00","slug":"trusted-ai-assisted-programming","status":"publish","type":"msr-project","link":"https:\/\/www.microsoft.com\/en-us\/research\/project\/trusted-ai-assisted-programming\/","title":{"rendered":"Trusted AI-assisted Programming"},"content":{"rendered":"
\n\t
\n\t\t
\n\t\t\t\t\t<\/div>\n\t\t\n\t\t
\n\t\t\t\n\t\t\t
\n\t\t\t\t\n\t\t\t\t
\n\t\t\t\t\t\n\t\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\n\n

Trusted AI-assisted Programming<\/h2>\n\n\n\n

<\/p>\n\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/div>\n<\/section>\n\n\n\n\n\n

Machine learning, in particular Large Language Models, has shown great promise at automating several aspects of programming and software development such as coding, testing, integration, static analysis, verification etc. in recent years. In this project, we leverage and extend large language models with ideas grounded in programming languages and correctness to develop trusted AI agents for all aspects of programming for reliable software development.<\/p>\n\n\n\n

Current work explores various directions:<\/p>\n\n\n\n

AI for program specifications<\/h4>\n\n\n\n

We study the problem of user-intent formalization<\/em> (high-level deck (opens in new tab)<\/span><\/a>) to derive formal specifications from informal requirements, and applications towards developing correct software. Some results<\/p>\n\n\n\n