@misc{indiciaed02447c83a2f,
  title = {Learning Modulo Theories},
  author = {Matt Fredrikson and Kaiji Lu and Saranya Vijayakumar and Somesh Jha and Vijay Ganesh and Zifan Wang},
  year = {2023},
  url = {https://arxiv.org/abs/2301.11435},
  note = {Source identifier: 2301.11435}
}