Send email Copy Email Address
PhD Student

Frederik Schmitt

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Frederik Schmitt

Year 2024

Conference / Medium

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

Year 2023

Conference / Medium

International Conference on Learning Representations (ICLR)

Year 2021

Conference / Medium

Conference on Neural Information Processing Systems (NeurIPS)

Conference / Medium

Conference on Artificial Intelligence and Theorem Proving (AITP)

Conference / Medium

International Conference on Learning Representations (ICLR)