We then run an iterative process where in each iteration we update both Λ and θ for each training sample.
as discussed in §3.1 this metric is exact, indicating whether the generated regular expression is semantically equivalent to the correct regular expression.