Patrick Tessier

From Natural Language to Formal Specifications: A Metamodel-Driven LLM Pipeline

Formal verification relies on machine-processable specifications, whereas requirements are commonly documented in natural language, whose contextual and implicit interpretation complicates automated formalization. Existing approaches either impose a controlled or structured language on the user, or rely on large langua...