Thierry Marianne

université de La Réunion

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Étienne Payet (1)Wim Vanhoof (1)

Papers (1)

Jul 23, 2026

université de La RéunionJul 23, 2026·also Université de Namur

Case study: solving P-99 with LPTP and an LLM

Claude generated 58 logic procedures and proved their correctness, showcasing the power of LLMs in automating complex programming tasks with formal guarantees.

Thierry Marianne, Étienne Payet, Wim Vanhoof

Code Generation & Program Synthesis Reasoning & Chain-of-Thought

Search

Thierry Marianne

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)