Anyone tried DeepStan? Looking for some codes

Wondering is anyone tried DeepStan - https://arxiv.org/abs/1810.00873 ?

1 Like

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).