---
title: "Jiacheng Liu — papers of 2022 — 3 papers, the most cited first"
description: "Jiacheng Liu — papers of 2022: 3 papers on Elamur Research, the most cited first — what each work is about in our own words."
canonical: "https://research.elamur.ai/free/en/authors/jiacheng-liu/year/2022/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/jiacheng-liu/year/2022/)

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

# Jiacheng Liu — papers of 2022 — 3 papers, the most cited first

3 papers · [all years of Jiacheng Liu](https://md.research.elamur.ai/free/en/authors/jiacheng-liu/#years)

- [Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs arXiv:2210.12283](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 · 178 citations

**[Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering](https://md.research.elamur.ai/free/en/papers/liu-2022-rainier-reinforced-knowledge-introspector-commonsense/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Jiacheng Liu, Skyler Hallinan, Ximing Lu, et al.*2022 · 82 citations*

**[NaturalProver: Grounded Mathematical Proof Generation with Language Models](https://md.research.elamur.ai/free/en/papers/welleck-2022-naturalprover-grounded-mathematical-proof-generation/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Sean Welleck, Jiacheng Liu, Ximing Lu, et al.*2022 · 62 citations*