Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Vigyan Sahai
Observed name:
Sahai, Vigyan
Institutions:
University of California, Santa Barbara,
University of California, Los Angeles
Observed institutions:
University of California, Santa Barbara,
University of California, Los Angeles
OpenAlex ID:
A5129634251
TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
2026
·
Taylor, Alexander K
, Zhang, Junyi
, et al.
·
arXiv (Cornell University)
·
6
PDF
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
2026
·
Jiang, Eric
, Liang, Xiao
, et al.
·
arXiv (Cornell University)
·
5
PDF
Continual Graph Memory for Mathematical Research Agents
2026
·
Zhang, Junyi
, Yu, Jinxi
, et al.
·
arXiv (Cornell University)
·
1
PDF
The Game of Cycles with Sources Allowed
2023
·
Sahai, Vigyan
, Tripathi, Ravi
·
arXiv (Cornell University)
·
1
PDF
TaoAnalysisBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
2026
·
Alexander K Taylor
, Junyi Zhang
, et al.
·
Findings of the Association for Computational Linguistics: EMNLP (Findings of EMNLP)
PDF
Show more works
View as search
Works count:
5
Citation count:
13
H-index:
2
I10-index:
Year
Topic
Type
