Microsoft Research Blog

English

  1. UniPrompt 

    July 17, 2024 | Amit Sharma, Nagarajan Natarajan, and Gurusha Juneja

    UniPrompt provides a unified interface to prompt optimization. We have distilled common functions from different algorithms and provide a plug-n-play API to create new algorithms. It also provides an easy way to benchmark different prompt optimization algorithms.

  2. Research Focus: July 15, 2024

    Research Focus: Week of July 15, 2024 

    July 17, 2024

    Advancing time series analysis with multi-granularity guided diffusion model; An algorithm-system co-design for fast, scalable MoE inference; What makes a search metric successful in large-scale settings; learning to solve PDEs without simulated data.

  3. LookupViT: Compressing visual information to a limited number of tokens 

    July 17, 2024

    Vision Transformers (ViT) have emerged as the de-facto choice for numerous industry grade vision solutions. But their inference cost can be prohibitive for many settings, as they compute self-attention in each layer which suffers from quadratic computational complexity in the number of tokens. On the…

  4. Agriculture dominates AI use cases in Kenya, report shows 

    July 17, 2024

    The 'AI for Africa' report published by the Global System for Mobile Communications (GSMA), an association of mobile network operators, shows that agriculture and food security takes up 49 percent of all AI deployments followed by climate action and energy use cases at 26 percent…

  5. mother holding her baby in a blanket

    Jacaranda PROMPTS 

    July 16, 2024 | Maxamed Axmed and Stanslaus Mwongela

    An AI enabled digital health solution to address delays in maternal care seeking While being amongst the most developed African countries, Kenya still has one of the world’s highest maternal mortality rates (51x that of the United Kingdom), with over 6,000 women dying during childbirth each…

  6. Workload estimator using EEG and eye-tracking 

    July 16, 2024

    In this paper we present a workload estimator based on biological signals - electroencephalographic and eye-tracking. The workload estimator is person- and session- independent, designed to work in a virtual reality flight simulator environment and is a part of our adaptive training system. The novel…

  7. Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? 

    July 16, 2024 | Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, and Shuvendu Lahiri

    Informal natural language that describes code functionality, such as code comments or function documentation, may contain substantial information about a programs intent. However, there is typically no guarantee that a programs implementation and natural language documentation are aligned. In the case of a conflict, leveraging…

  8. chart, scatter chart

    Proactive Resume and Pause of Resources for Microsoft Azure SQL Database Serverless 

    July 15, 2024

    Demand-driven resource allocation for cloud databases has become a popular research direction. Recent approaches have evolved from reactive policies to proactive decision making. These approaches leverage not only the current resource demand but also the predicted demand to make more informed resource allocation decisions for…