TY  - RPRT
TI  - Learning Modulo Theories
AU  - Matt Fredrikson
AU  - Kaiji Lu
AU  - Saranya Vijayakumar
AU  - Somesh Jha
AU  - Vijay Ganesh
AU  - Zifan Wang
PY  - 2023
UR  - https://arxiv.org/abs/2301.11435
ID  - 2301.11435
ER  -