realChrisHahn2/nl2spec
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
PythonMIT
Stargazers
- AD1024@PrincetonUniversity
- alcidesLASIGE, University of Lisbon
- anastasiaslobodyanik
- bennnUniversity of Utah
- cytusboxSun Yat-Sen University
- darrrtZJU-CSE|THU-CBICR
- Echo-b
- followtheartsz
- frederikschmitt
- Gabriel0402University of Southampton
- Gary-oak-Star
- gfouilheUniversité Paul Sabatier
- hashemelezabiStanford, CA
- IngyN@uva-linklab
- kangvcarShenzhen, China
- KrsmaNovi Sad, Serbia
- lee-manHUAWEI | NOAH'S ARK LAB; CUHK CSE Ph.D.
- morioka
- MrGladiator14
- ruyakrglUniversity of Michigan
- toddmaustinUniversity of Michigan
- ttjVanderbilt University
- uni-zhuan@ECNU
- wsyadcNortheastern University (China)
- younes-ioParis
- Yuki1999Suzhou
- zebrajackpungke
- ZeroBeyond-ng