WorkshopAuto-Mates: The Future of No-Code Digital ApprenticesSegev Shlomov, Avi Yaeli, et al.IJCAI 2023
PosterDenoising quantum states with Quantum Autoencoders - Theory and ApplicationsTom Achache, Lior Horesh, et al.QIP 2021
PaperPrototyping a query compiler using coq (Experience report)Joshua S. Auerbach, Martin Hirzel, et al.Proceedings of the ACM on Programming Languages