Author

Ke Zhang

View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Jul 2026

PHREEQC-MCQ-200: A Diagnostic Benchmark for Tool-Augmented Scientific Simulator Agents

It is argued that evaluations of scientific agents should report not only accuracy, but also item-level retention, output-access sensitivity, trajectory failures, and where the computation chain breaks.

Ke Zhang, Sahchit Chundur, M. J. Qomi et al. · 0 citations

Jun 2026

Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization

This work uses a full $2^3$ factorial design to decompose three recurring interventions in formalization pipelines: parametric expert drafting, Mathlib/context search, and Lean elaboration feedback, suggesting that formal validity, proof-oriented Lean competence, and faithful statement generation should be reported separately.

Ke Zhang, P. Gallardo, S. Murthy et al. · arXiv.org · 1 citation