Wondering is anyone tried DeepStan - https://arxiv.org/abs/1810.00873 ?
Thanks for the link. I hadn’t seen this and haven’t tried it.
I should qualify that it was just the deep neural network additions I hadn’t seen. We’re familiar with that group’s work (others more than I am since I haven’t been at the conferences).