no code implementations • 13 Nov 2023 • Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsiveness, and the enabling of autonomous operations.
1 code implementation • 4 Jul 2023 • Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
We say that there is evidence of intentional behavior if the scope of agency is high and the decisions of the agent are close to being optimal for reaching the event.
no code implementations • 29 Sep 2022 • Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
We propose to use a large language model trained on code, such as Codex, to build an APR system -- MMAPR -- for introductory Python programming assignments.
no code implementations • 13 Oct 2020 • Jialu Zhang, Yitan Wang, Mark Santolucito, Ruzica Piskac
The decision tree is one of the most popular and classical machine learning models from the 1980s.
no code implementations • 7 Feb 2020 • Kairo Morton, William Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
By preprocessing SyGuS PBE problems with a neural network, we can use a data driven approach to reduce the size of the search space, then allow automated reasoning-based solvers to more quickly find a solution analytically.
2 code implementations • 1 Dec 2017 • Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
On the other hand, however, synthesis from TSL is scalable, because it is independent of the complexity of the handled data.
Logic in Computer Science