Algorithms - Microsoft Research

Tool

CodaMosa

This repository contains the code for CodaMOSA. CodaMOSA integrates queries to a Large Language Model (currently supports the OpenAI API) into search-based algorithms for unit test generation.

GitHub Publication

Publication

Incremental Dead State Detection in Logarithmic Time

Caleb Stanford , Margus Veanes

January 2023

Preliminary and extended version of paper that appears in CAV 2023

Publication

DSN-DDI: an accurate and generalized framework for drug–drug interaction prediction by dual-view representation learning

Zimeng Li, Shichao Zhu, Bin Shao, Xiangxiang Zeng, Tong Wang, Tie-Yan Liu

Briefings in Bioinformatics | January 2023

Publication

Budget Pacing in Repeated Auctions: Regret and Efficiency Without Convergence

Jason Gaitonde, Yingkai Li, Bar Light, Brendan Lucier, Aleksandrs Slivkins

Innovations in Theoretical Computer Science | January 2023

Publication

Lower bounds on the size of general branch-and-bound trees

Santanu S. Dey, Yatharth Dubey, Marco Molinaro

Mathematical Programming | January 2023, Vol 198: pp. 539-559

Publication

Robust Secretary and Prophet Algorithms for Packing Integer Programs

C. Argue, Anupam Gupta, Marco Molinaro, Sahil Singla

SODA | December 2022

Publication

uGLAD: A Deep Learning Model to Recover Conditional Independence Graphs

Harsh Shrivastava, Urszula Chajewska, Robin Abraham, Xinshi Chen

Workshop on New Frontiers in Graph Learning (NeurIPS 2022) | December 2022

Project

Group

Microsoft Research Special Projects

The Microsoft Research Special Projects group operates on the boundary between engineering and research to drive breakthrough innovation. We are a research group with world-class specialists solving highly uncertain, complex problems. We build technologies to…

Publication

A construction of Maximally Recoverable LRCs for small number of local groups

Manik Dhar, Sivakanth Gopi

ISIT 2023 | December 2022

Publication

Improved Field Size Bounds for Higher Order MDS Codes

Joshua Brakensiek, Manik Dhar, Sivakanth Gopi

ISIT 2023 | December 2022