According to our database1, Frederik Schmitt authored at least 8 papers between 2019 and 2023.
Legend:Book In proceedings Article PhD thesis Dataset Other
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the 9th International Conference on Learning Representations, 2021
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019