Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Arnav Mehta
Observed name:
Mehta, Arnav
Institution:
University of California, Berkeley
Observed institution:
University of California, Berkeley
OpenAlex ID:
A5123896727
LeanSide: A Formally Verified Co-Reasoning System for Natural-language Proofs
2026
·
Guo, Chenjun
, Patel, Manooshree
, et al.
·
arXiv (Cornell University)
PDF
Bridging the gap to autoformalize free-form human reasoning
2026
·
Guo, Chenjun
, Patel, Manooshree
, et al.
·
KiltHub Repository
LeanTutor: Towards a Verified AI Mathematical Proof Tutor
2026
·
Association for Artificial Intelligence 2026
, Bhattacharyya, Rayna
, et al.
·
Underline Science Inc.
Understanding and Enhancing Backdoor Persistency in LLM Agent Post-Training
2026
·
Qiusi Zhan
, Nian Lyu
, et al.
·
Findings of the Association for Computational Linguistics: EMNLP (Findings of EMNLP)
PDF
Formally Verified AI Co-Reasoning: An Education Case Study
2026
·
Arnav Mehta
, Chenjun Guo
, 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:
H-index:
I10-index:
Year
Topic
Type
