Schmitt, Frederik
- nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
2023/03/08 by Matthias Cosler, Christopher Hahn, Cosler, Matthias +7 · 23 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Teaching Temporal Logics to Neural Networks
2020/03/06 by Christopher Hahn, Hahn, Christopher, Frederik Schmitt +7 · 8 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Natural Language Processing Techniques #Neural Networks and Applications #Topic Modeling
- Formal Specifications from Natural Language
2022/06/04 by Christopher Hahn, Hahn, Christopher, Frederik Schmitt +9 · 6 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Neural Circuit Synthesis from Specification Patterns
2021/07/25 by Frederik Schmitt, Schmitt, Frederik, Christopher Hahn +5 · 3 citations
Computer Science · Engineering · Materials Science · #Advanced Memory and Neural Computing #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning in Materials Science #Neural Networks and Applications
- Iterative Circuit Repair Against Formal Specifications
2023/03/02 by Matthias Cosler, Frederik Schmitt, Cosler, Matthias +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering Research #Software Testing and Debugging Techniques
- Learning Better Representations From Less Data For Propositional Satisfiability
2024/02/13 by Ghanem, Mohamed, Schmitt, Frederik, Siber, Julian +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)