illustration of intersecting lines with various shapes at the connecting points signifying algorithms on a green gradient background

Algorithms

Current selections

Sort by: Most recent

Clear selections

Publication

Scalable Adversarial Attack Algorithms on Influence Maximization

Lichao Sun, Xiaobin Rui, Wei Chen

Proceedings of the 16th ACM International WSDM Conference (WSDM) | February 2023

Publication

Algorithmic Aspects of the Log-Laplace Transform and a Non-Euclidean Proximal Sampler

Sivakanth Gopi, Yin Tat Lee, Daogao Liu, Rouqi Shen, Kevin Tian

COLT 2023 | February 2023

Publication

MSR CORE’s Optimization Toolkit

Ishai Menache, Marco Molinaro

MSR-TR-2023-10 | February 2023

Published by Microsoft

Publication

Towards Inference Efficient Deep Ensemble Learning

Ziyue Li, Kan Ren, Yifan Yang, Xinyang Jiang, Yuqing Yang, Dongsheng Li

AAAI 23 | February 2023

Publication

Can Persistent Homology provide an efficient alternative for Evaluation of Knowledge Graph Completion Methods?

Anson Bastos, Kuldeep Singh, Abhishek Nadgeri, Johannes Hoffart, T. Suzumura, Manish Singh

2023 The Web Conference | January 2023

Publication

Online and Bandit Algorithms Beyond 𝓁p Norms

Thomas Kesselheim, Marco Molinaro, Sahil Singla

2023 Symposium on Discrete Algorithms | January 2023

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