Frederik Schmitt

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Computer Aided Verification (CAV)

International Conference on Learning Representations (ICLR)

Conference on Neural Information Processing Systems (NeurIPS)

Conference on Artificial Intelligence and Theorem Proving (AITP)

International Conference on Learning Representations (ICLR)