Get started
Author

Anna Mei

Observed name: Mei, Anna
Institution: Harvard University
Observed institution: Harvard University
OpenAlex ID: A5130203658
Formalization of QFT
2026 · Douglas, Michael R., Hoback, Sarah, et al. · arXiv (Cornell University) · 9
PDF
ACTS: Learning Visuo-Tactile World Models from Human Physical Interaction
2026 · Ma, Yuxiang, Xu, Weihan, et al. · arXiv (Cornell University)
PDF
Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization
2026 · Mei, Anna, Douglas, Michael R. · arXiv (Cornell University)
PDF
Works count: 3
Citation count: 9
H-index: 1
I10-index:
Year
Topic
Type