Sotabase

Career

· Bolton-St. Johns
· Education, Hamilton College
· Current institution, Stanford University
· Researcher, Stanford University

Publications (14)

nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
International Conference on Computer Aided Verification · 2023
105
cited
Teaching Temporal Logics to Neural Networks
International Conference on Learning Representations · 2020
76
cited
Formal Specifications from Natural Language
arXiv.org · 2022
39
cited
Neural Circuit Synthesis from Specification Patterns
Neural Information Processing Systems · 2021
23
cited
Iterative Circuit Repair Against Formal Specifications
International Conference on Learning Representations · 2023
12
cited
Transformers Generalize to the Semantics of Logics
2020
8
cited
Learning Better Representations From Less Data For Propositional Satisfiability
Neural Information Processing Systems · 2024
3
cited
Neural Circuit Synthesis with Pre-trained Language Models
2023
3
cited
Advanced Factoring Strategies for Decoupled Search Using Linear Programming
International Conference on Automated Planning and Scheduling · 2019
2
cited
Can BERT Conduct Logical Reasoning? On the Difficulty of Learning to Reason from Data
2022
1
cited
Deep Learning for Temporal Logics
2021
1
cited
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2024
1
cited
Attention Flows for General Transformers
arXiv.org · 2022
Unstructured Natural Language to Temporal Logics with Large Language Models
Sotabase
Frederik Schmitt | Researcher Profile | Sotabase | Sotabase