Alaia Solko-Breslin

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

Collaborative distances:

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

2025

CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning.

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

CoRR, March, 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 38: 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