100% Julia - see paper here:
https://github.com/imagry/aleph_star/blob/master/paper/aleph_star.pdf
and code here:
https://github.com/imagry/aleph_star
now the real reason I’m writing this here is since I need help with endorsement to arXiv ML-CS…
Thanks!