Ke Zhang

PhD student, Mathematics, University of California, Riverside

Joined

December 2024

Names

Ke Zhang (Preferred)

Emails

****@ucr.edu (Confirmed)

Personal Links

Career & Education History

PhD student

Mathematics, University of California, Riverside (ucr.edu)

2023 – 2028

Advisors, Relations & Conflicts

Coauthor

2025 – 2028

Coauthor

Patricio Gallardo

2025 – 2028

Coauthor

2025 – 2028

Expertise

No areas of expertise listed

Publications

Learning Parameterized Nonlinear Elasticity on Curved Surfaces
Yankang Liu, Ke Zhang, Maziar Raissi, Roya Zandi
- AI&PDE Poster
- Readers: Everyone
Agentic Lean Auformalization (ALA) v1: An LLM collaborative approach to autoformalization in LEAN
Patricio Gallardo, Maziar Raissi, Ke Zhang, Sudhir Murthy
- NeurIPS 2025 LLM Evaluation Workshop Poster
- Readers: Everyone

Co-Authors