Aug, 2023

正则表达式推理挑战

TL;DR提出正则表达式推理(REI)作为代码 / 语言模拟的挑战,并对更广泛的机器学习社区提出。REI 是一项监督式机器学习和程序综合任务,通过示例来找到最小的正则表达式。最近在 GPU 上实现了 REI 求解器,首次实现了用于复杂 REI 实例的快速最小表达式生成。以此为基础,我们生成并发布了 REI 的第一个大规模数据集,并设计和评估了几种初始启发式和机器学习基准方法。邀请社区参与并探索学习解决 REI 问题的机器学习方法。我们相信,在 REI 方面的进展直接转化为代码 / 语言模型。