Fitsum Meshesha Kifetew

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

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

Frequent co-authors

I. S. W. B. Prasetya (1)Davide Prandi (1)

Papers (1)

Mar 17, 2026

I. S. W. B. Prasetya +22w ago

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization

LLMs struggle to formalize program post-conditions from natural language, with even the best models failing to correctly formalize all tasks, highlighting a critical gap in their ability to bridge natural language understanding and formal verification.

I. S. W. B. Prasetya, Fitsum Meshesha Kifetew, Davide Prandi

Code Generation & Program Synthesis Eval Frameworks & Benchmarks Reasoning & Chain-of-Thought

Search

Fitsum Meshesha Kifetew

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)