Towards Learning Infinite SMT Models (Work in Progress) | IEEE Conference Publication | IEEE Xplore