MMODELYST
People/Zheng Yuan
PPL

Zheng Yuan

Papers (3)
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided SearchJMed48k: A Multi-Profession Japanese Medical Licensing Benchmark for Vision-Language Model EvaluationMulti-Dimensional Evaluation of LLMs for Grammatical Error Correction