---
title: "Jiacheng Liu — papers"
description: "Jiacheng Liu: 2 papers in the Elamur Research library (2022–2023) — our summary of each, its ideas, references and who cites it."
canonical: "https://research.elamur.ai/free/en/authors/jiacheng-liu/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/jiacheng-liu/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Jiacheng Liu

# Jiacheng Liu

2 papers on this site (2022–2023)

[OpenAlex](https://openalex.org/A5100656309) · [ORCID](https://orcid.org/0009-0008-0265-5461) · h-index 11 · 94 works · 640 citations (openalex-snapshot, 2026-10-14)

Profile data from OpenAlex; authors with the same name are not always told apart.

- [MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts](https://md.research.elamur.ai/free/en/papers/lu-2023-mathvista-evaluating-mathematical-reasoning-foundation/) — Pan Lu, Hritik Bansal, Tony Xia, et al. · 2023
- [Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs](https://md.research.elamur.ai/free/en/papers/jiang-2022-draft-sketch-prove-guiding-formal/) — Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al. · 2022