23.6k citations
- Carnegie Mellon UniversityUS49 papers
- Google (United States)US37 papers
- California Institute of TechnologyUS33 papers
- Amazon (Germany)DE32 papers
- University of Illinois Urbana-ChampaignUS22 papers
- Microsoft (United States)US20 papers
- Stanford UniversityUS20 papers
- The University of Texas at AustinUS20 papers
- University of California, Los AngelesUS20 papers
- University of California, Santa BarbaraUS19 papers
- University of WashingtonUS19 papers
- Georgia Institute of TechnologyUS17 papers
40 papers · 1 filter
Quantifying the benefits of code hints for refactoring deprecated Java APIs
Cristina David, Pascal Kesseli, Daniel Kroening +1
When done manually, refactoring legacy code in order to eliminate uses of deprecated APIs is an error-prone and time-consuming process. In this paper, we investigate to which degre…
The N-Grammys: Accelerating Autoregressive Inference with Learning-Free Batched Speculation
Lawrence Stewart, Matthew Trager, Sujan Kumar Gonugondla +1
Speculative decoding aims to speed up autoregressive generation of a language model by verifying in parallel the tokens generated by a smaller draft model.In this work, we explore…
A Random-Key Optimizer for Combinatorial Optimization
Antonio A. Chaves, Mauricio G. C. Resende, Martin J. A. Schuetz +4
This paper introduces the Random-Key Optimizer (RKO), a versatile and efficient stochastic local search method tailored for combinatorial optimization problems. Using the random-ke…
Hyperparameter Optimization in Machine Learning
Luca Franceschi, Michele Donini, Valerio Perrone +5
Hyperparameters are configuration variables controlling the behavior of machine learning algorithms. They are ubiquitous in machine learning and artificial intelligence and the cho…
LLM Self-Correction with DeCRIM: Decompose, Critique, and Refine for Enhanced Following of Instructions with Multiple Constraints
Thomas Palmeira Ferraz, Kartik Mehta, Yu-Hsiang Lin +7
Instruction following is a key capability for LLMs. However, recent studies have shown that LLMs often struggle with instructions containing multiple constraints (e.g. a request to…
From Struggle to Simplicity with a Usable and Secure API for Encryption in Java
Ehsan Firouzi, Ammar Mansuri, Mohammad Ghafari +1
Cryptography misuses are prevalent in the wild. Crypto APIs are hard to use for developers, and static analysis tools do not detect every misuse. We developed SafEncrypt, an API th…