News & features
Loading
![Research Focus: Week of April 29, 2024](https://www.microsoft.com/en-us/research/uploads/prodnew/2024/04/RF40-BlogHeroFeature-1400x788-1-480x280.png)
Microsoft Research Blog
Research Focus: Week of April 29, 2024
In this edition: Can LLMs transform natural language into formal method postconditions; Semantically aligned question + code generation for automated insight generation; Explaining CLIP performance disparities on blind/low vision data; plus recent news.