NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Alexander Gasnikov
Number of Papers:- 1
Number of Citations:- 0
First ACL Paper:- 2025
Latest ACL Paper:- 2025
Venues:-
WS
MathNLP
Co-Authors:-
Aleksandr Beznosikov
Mark Obozov
Michael Diskin
Serguei Barannikov
Similar Authors:-
2025
Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean
MathNLP
WS
Mark Obozov |
Michael Diskin |
Aleksandr Beznosikov |
Alexander Gasnikov |
Serguei Barannikov |
.