Author

Georgios Tzachristas

Institution: National Technical University of Athens

Observed institution: National Technical University of Athens

OpenAlex ID: A5139809620

From Natural Language to Certified Geometry Proofs: A Survey of LLM-Augmented Verification and Neuro-Symbolic Theorem Proving

2026 · Ioannis Tzachristas, Georgios Tzachristas

Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery

2026 · Ioannis Tzachristas, Georgios Tzachristas, et al.

Works count: 2

Citation count:

H-index:

I10-index: