Algorithms - Microsoft Research

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

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

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

Robust Secretary and Prophet Algorithms for Packing Integer Programs

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

SODA | December 2022