8 citations · 31 across the 30 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.SE2026
Trust the Spec, Not the Code - A Specification-First, AI-Assisted Case Study in Online Banking
Eitan Farchi
Formal specification promises early error detection, explicit invariants, and correctness by design, yet its notational cost has kept it out of mainstream practice. We argue that A…
cs.SE2026★ 1 cited
Beyond Blind Spots: Analytic Hints for Mitigating LLM-Based Evaluation Pitfalls
Ora Nova Fandina, Eitan Farchi, Shmulik Froimovich +4
Large Language Models are increasingly deployed as judges (LaaJ) in code generation pipelines. While attractive for scalability, LaaJs tend to overlook domain specific issues raisi…
cs.SE2026
Enhancing Formal Software Specification with Artificial Intelligence
Antonio Abu Nassar, Eitan Farchi
Formal software specification is known to enable early error detection and explicit invariants, yet it has seen limited industrial adoption due to its high notation overhead and th…