NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Shuvendu Lahiri
Number of Papers:- 1
Number of Citations:- 0
First ACL Paper:- 2023
Latest ACL Paper:- 2023
Venues:-
s
d
i
-
L
P
E
M
N
F
n
g
Co-Authors:-
Aditya Senthilnathan
Akash Lal
Aseem Rastogi
Madanlal Musuvathi
Nikhil Swamy
Similar Authors:-
2023
Ranking LLM-Generated Loop Invariants for Program Verification
F
i
n
d
i
n
g
s
-
E
M
N
L
P
Saikat Chakraborty |
Shuvendu Lahiri |
Sarah Fakhoury |
Akash Lal |
Madanlal Musuvathi |
Aseem Rastogi |
Aditya Senthilnathan |
Rahul Sharma |
Nikhil Swamy |
.