The remarkable achievements of Artificial Intelligence (AI) algorithms, particularly in
Machine Learning (ML) and Deep Learning (DL), have fueled their extensive deployment …

While training fair machine learning models has been studied extensively in recent years,
most developed methods rely on the assumption that the training and test data have similar …

Despite great advances in program synthesis techniques, they remain algorithmic black
boxes. Although they guarantee that when synthesis is successful, the implementation …

Network synthesis simplifies network management by automatically generating distributed
configurations that fulfill high-level intents. However, typical network synthesizers operate as …

Heuristic search is widely used for game pathfinding with heuristic functions substantially
influencing its pathfinding performance. Recent work used program synthesis to …

Recommender systems usually aim to optimize accuracy in a supervised setting. Due to
various data biases, they often fail to enhance other critical qualities that go beyond …

Document databases are increasingly popular in various applications, but their queries are
challenging to write due to the flexible and complex data model underlying document …

The hope of allowing programmers to more freely express themselves has led to a
proliferation of program synthesis techniques. These tools automatically derive …

Despite great advances in program synthesis techniques, they remain algorithmic black
boxes. Although they guarantee that when synthesis is successful, the implementation …

Programmers are often tasked with reading, editing, and reusing code written by other
programmers and, increasingly, automatic code generators. With the recent rise of LLM …