About me
Hello! My name is Alaia, and I am a third-year Ph.D. student at the University of Pennsylvania. I am fortunate to be advised by Rajeev Alur. My current research interests include:
- Scalable neurosymbolic learning algorithms
- Neurosymbolic applications, including reducing hallucinations in LLM-generated code and ML predictions in clinical settings.
In the past, I have interned in the Automated Reasoning Group at AWS where I worked on using formal methods to improve the trustworthiness of LLM-generated code. My research has previously been supported by a gift from AWS.
Research
CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning, Preprint 2025.
Seewon Choi*, Alaia Solko-Breslin*, Rajeev Alur, and Eric Wong.
Data-Efficient Learning with Neural Programs, NeurIPS 2024.
Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, and Eric Wong.
Teaching
University of Pennsylvania
- Spring 2024 TA for CIS 7000: Special Topics: Trustworthy Machine Learning
- Fall 2023 TA for CIS 5000: Software Foundations
Cornell University
- Spring 2022 TA for CS 4160/5160: Formal Verification
- Fall 2021 TA for CS 3110: Data Structures and Functional Programming
- Spring 2021 TA for CS 4820: Introduction to Analysis of Algorithms
- Fall 2020 TA for CS 4820: Introduction to Analysis of Algorithms
- Spring 2020 TA for CS 3110: Data Structures and Functional Programming
- Fall 2019 TA for CS 3110: Data Structures and Functional Programming
Service
- Reviewer, NeurIPS 2025
Other
Outside of academic things, I like to run and read. I am also passionate about animal rights and veganism 🌱. In a past life, I was an avid Tetris player.