vix.ing · top · new · best · stats · spec

Thierry Marianne

  1. Case study: solving P-99 with LPTP and an LLM
    2026/07/20 by Fred Mesnard, Thierry Marianne, Étienne Payet +1
    Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification