Alaia Solko-Breslin

According to our database, Alaia Solko-Breslin authored at least 7 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

CAMEL: An ECG Language Model for Forecasting Cardiac Events.

Neelay Velingker, Alaia Solko-Breslin, Mayank Keoliya, Seewon Choi, Jiayi Xin, Anika Marathe, Alireza Oraii, Rajat Deo, Sameed Ahmed M. Khatana, Rajeev Alur, Mayur Naik, Eric Wong

CoRR, February, 2026

2025

CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning.

Seewon Choi, Alaia Solko-Breslin, Rajeev Alur, Eric Wong

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities.

Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

2024

Data-Efficient Learning with Neural Programs.

Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

Automata Learning with an Incomplete Teacher (Artifact).

Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva

Dagstuhl Artifacts Ser., 2023

Automata Learning with an Incomplete Teacher.

Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021

Petr4: formal foundations for p4 data planes.

Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster

Proc. ACM Program. Lang., 2021