![](https://www.microsoft.com/en-us/research/uploads/prodnew/2024/06/IDC24-BlogHeroFeature-1400x788-1-640x360.png)
A new deep-learning compiler for dynamic sparsity; Tongue Tap could make tongue gestures viable for VR/AR headsets; Ranking LLM-Generated Loop Invariants for Program Verification; Assessing the limits of zero-shot foundation models in single-cell biology.
Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Generating both plausible and accurate full body avatar…
Cornet: Learning Table Formatting Rules By Example. Mukul Singh, José Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, and Gust Verbruggen. Proc. VLDB Endow. 16, 10 (June 2023), 2632–2644. Link to PDF of…