conftrace_

regex manipulation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

deterministic finite automata (1) large language model (1) formal verification (1) symbolic reasoning (1)

Papers

Query4Regex: Verifiable Regex Transformation through Formal Operations from NL and DSL Queries EACL 2026