On the Value of Abstractions: Abstraction Selection in Bounded Program Synthesis
A study of abstraction selection, library size, and search budgets in bounded program synthesis.
Adam Cuculich
Master’s Student in Computer Science
Georgia Institute of Technology
Interests
I study intelligent decision-making under uncertainty: how agents form abstractions, synthesize programs, and choose actions to achieve goals.
My research interests include program synthesis, library learning, reinforcement learning, human cognition, applied mathematics and statistics, and optimal routing and execution in AMM markets.
Work
I’m a software engineer at Relay. My work also includes ShellBrain, Odos, Pesto, xSafe, and Ax Protocol. At Odos, I worked on order routing optimization across decentralized exchanges.
Education
I hold a BS in mechanical engineering from Purdue University and am pursuing a master’s in computer science at Georgia Tech.