Publications

Preprints

• CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning, 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.

* denotes equal contribution

Other Writing

• Learning Neural Programs, UPenn WPE-II Research Qualifier 2024.

  Alaia Solko-Breslin