Login / Signup
Rujul Gandhi
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Language Modelling
Satisfiability Problem
Natural Language
Mazurkiewicz Traces
Top Venues
EMNLP
CoRR
</>
Publications
</>
Yongchao Chen
,
Rujul Gandhi
,
Yang Zhang
,
Chuchu Fan
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models.
EMNLP
(2023)
Yongchao Chen
,
Rujul Gandhi
,
Yang Zhang
,
Chuchu Fan
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models.
CoRR
(2023)