Elamur Research⌕
☰
home / authors / Ioannis Tzachristas

Ioannis Tzachristas

Ioannis Tzachristas has 2 papers in our library, in 2026, most of them on Reasoning, Language models & pretraining; often with Georgios Tzachristas.

2 papers in our library · 2026

OpenAlex · ORCID · h-index 1 · 10 works · 1 citations OpenAlex, 2026-10-14

📄 2 works in our library · ⭐ Paper Stars ranking: #12032

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓Technical University of MunichMunich · Germany2026 · 5 paperscurrent🔬Huawei German Research CenterMunich · Germany2025–2026 · 2 paperscurrent

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine.

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 3The field of science this work belongs to (OpenAlex fields).Artificial Intelligence · 2 worksComputational Theory and Mathematics · 2 worksComputer Science · 2 works

🧭 Topics 2Research subjects and languages the work is about.Reasoning · 2 worksLanguage models & pretraining · 1 work

 Works by year

2020s

20262 papers

 Papers

The most cited first (OpenAlex and our library).

  1. From Natural Language to Certified Geometry Proofs: A Survey of LLM-Augmented Verification and Neuro-Symbolic Theorem Proving (2026)
    LLMs can write persuasive geometry arguments, but those arguments may contain hallucinated steps, missing conditions or invalid inferences.
  2. Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery (2026)
    Headlines saying LLMs have "solved open problems" in mathematics are often vague. "Open" can mean an improvable bound, a missing construction or an unproven theorem, and the model rarely works without external tools. This survey offers a framework for judging such claims.

 Co-authors here

1 co-author with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/ioannis-tzachristas/