Correct and Optimal: the Regular Expression Inference Challenge — mentioned by reic

Sun, 17 Sep 2023 21:49:14 GMT

Quantification can be done by measuring in at least two dimensions: (1) the size of the synthesised code, and (2) how precisely the generated code matches the input (which means roughly: on what fraction of input do the two programs give different output). We have set up a challenge that seeks to entice the community to look into this problem domain more. And we've simplified the assumptions, so as to make it more tractable: - Challenge: https://codalab.lisn.upsaclay.fr/competitions/15096 - Paper describing the challenge: https://arxiv.org/abs/2308.07899 (I am one of the authors, AMA)

Paper and discussion history. A mention is not an endorsement.

Correct and Optimal: the Regular Expression Inference Challenge · HackerPapers discussions

Correct and Optimal: the Regular Expression Inference Challenge — mentioned by reic