NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Elisaveta Samoylov
Number of Papers:- 1
Number of Citations:- 0
First ACL Paper:- 2025
Latest ACL Paper:- 2025
Venues:-
WS
MathNLP
Co-Authors:-
Soroush Vosoughi
Similar Authors:-
2025
Modeling Tactics as Operators: Effect-Grounded Representations for Lean Theorem Proving
MathNLP
WS
Elisaveta Samoylov |
Soroush Vosoughi |
.