23 citations · 24 across the 6 of their papers we have counts for
1 paper · 2 filters
Antonio Valerio Miceli Barone, Poon Tsz Nok
We introduce a self-play framework for semantic equivalence in Haskell, utilizing formal verification to guide adversarial training between a generator and an evaluator. The framew…