About me

Hello! My name is Alaia, and I am a fourth-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.

Publications

* denotes equal contribution

Preprints

• CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
  Preprint 2025
  Seewon Choi*, Alaia Solko-Breslin*, Rajeev Alur, and Eric Wong

Conference Publications

• Understanding the Effectiveness of LLMs in Detecting Security Vulnerabilities
  ICST 2025
  Avishree Khare*, Saikat Dutta*, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, and Mayur Naik

• Data-Efficient Learning with Neural Programs
  NeurIPS 2024
  Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, and Eric Wong

• Automata Learning with an Incomplete Teacher
  ECOOP 2023
  Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, and Alexandra Silva

• Petr4: Formal Foundations for P4 Data Planes
  POPL 2021
  Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, and Nate Foster

Other Writing

• Learning Neural Programs
  UPenn WPE-II Research Qualifier 2024
  Alaia Solko-Breslin

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.