cs.FL · 2026-07-08 · No. 47

Formal Languages and Automata Theory, 2026-07-08.

1 new papers in cs.FL. Titles, authors, abstracts. Links to arXiv. Want this in your inbox every morning? Subscribe →

01 — The papers

1 entries
  1. 01

    Harnessing Code Agents for Automatic Software Verification

    Shuangxiang Kan, Shuanglong Kan, Sebastian Ertel

    cs.FL · cs.AI · cs.SE

    Formal verification offers the strongest guarantee of software correctness, but it does not scale: the proofs demanded by interactive theorem provers such as Coq require enormous expert effort. Large language models (LLMs) promise to generate these proofs automatically, yet existing approaches wire a fixed, human-designed proof strategy into the system and constrain the model to follow it (retrieving premises and predicting tactics one step...

    arxiv.org/abs/2607.06341 · PDF

This edition is part of The Daily Abstract — cs.FL archive. Subscribe to receive these in your inbox each morning, automatically translated to Spanish, with reply-to-PDF: arxivdaily.ignorelist.com.

Colophon Set in Georgia, with system sans for interface chrome and a monospaced stack for code and paper identifiers. Sole accent: amber #D99C5E. Built and served on an always-free VM. The masthead is set 14% letterspaced because newspapers do that and it works.