NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Vanessa Lama
Number of Papers:- 1
Number of Citations:- 0
First ACL Paper:- 2024
Latest ACL Paper:- 2024
Venues:-
WS
NLP4Science
Co-Authors:-
Catherine Ma
Tirthankar Ghosal
Similar Authors:-
2024
Benchmarking Automated Theorem Proving with Large Language Models
NLP4Science
WS
Vanessa Lama |
Catherine Ma |
Tirthankar Ghosal |
.