This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
Search
Skip to Search Results- 8Program Synthesis
- 2Machine Learning
- 2Video Games
- 1 Optimizing Auxiliary Function
- 1AI
- 1AI Programming Assistance
- 1Abdollahi, Fatemeh
- 1Ameen, Saqib
- 1Bashir, Zahra
- 1Emireddy, Thirupathi Reddy
- 1Gallivan, Matthew
- 1Rahman, Habibur
-
Fall 2024
Video game development is a highly technical practice that traditionally requires programming skills. This serves as a barrier to entry for would-be developers or those hoping to use games as part of their creative expression. While there have been prior game development tools focused on...
-
Fall 2024
Although the synthesis of programs encoding policies often carries the promise of interpretability, systematic evaluations were never performed to assess the interpretability of these policies, likely because of the complexity of such an evaluation. In this dissertation, we introduce a novel...
-
NeuroSketcher: Synthesizing Non-Differentiable Programs with Non-Differentiable Loss Functions
DownloadFall 2023
Programmatic hypotheses offer valuable properties, such as generalizability and interpretability. However, such hypotheses can be elusive, as one finds them by searching over large spaces of programs. Recent work showed that neural networks can be used to guide the search in the programmatic...
-
Fall 2021
Heuristic search is a core area of Artificial Intelligence (AI) with numerous applications. In video games it is commonly used to calculate paths of AI-controlled agents. Traditionally, heuristic search algorithms have been designed by humans. Recent work attempted to synthesise heuristic search...
-
Spring 2023
Recent advancements in large language models and program synthesis have enabled the development of powerful programming assistance tools. These tools are designed to help the programmer while writing a program in an online setting. In this thesis we introduce a programming assistant that can...
-
Spring 2023
Cost-guided bottom-up search (BUS) algorithms use a cost function to guide the search for solving program synthesis tasks. In this thesis, we show that current state-of-the-art cost-guided BUS algorithms suffer from a common problem: they can lose useful information given by the model and fail to...
-
Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate
DownloadFall 2023
The Witness is a game with difficult combinatorial puzzles that are challenging for both human players and artificial intelligence based solvers. Indeed, the number of candidate solution paths to the largest puzzle considered in this thesis is on the order of 10^(15) and search-based solvers can...
-
Two Irons in the Fire: Synthesizing Libraries of Programs by Optimizing an Auxiliary Function while Solving Problems
DownloadFall 2023
Program synthesis faces a significant challenge in exploring a vast program space to find a program that satisfies the user's intent. Prior studies have proposed using different methods to guide the synthesis process to address this challenge. We propose a method that offers search guidance which...