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

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

# Mateja Jamnik

2 papers on this site (2022)

[OpenAlex](https://openalex.org/A5036018012) · [ORCID](https://orcid.org/0000-0003-2772-2532) · h-index 20 · 251 works · 1613 citations (openalex-snapshot, 2026-10-14)

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

- [Autoformalization with Large Language Models](https://md.research.elamur.ai/free/en/papers/wu-2022-autoformalization-large-language-models/) — Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al. · 2022
- [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