SCARLET 发布 Synthetic Benchmark Suite 数据集, 应用在 形式验证、机器学习 领域

SCARLET 本次发布的数据集 Synthetic Benchmark Suite, 该数据集是一个由八个LTL公式生成的256个样本组成的基准测试套件，用于评估SCARLET算法与其他工具相比的性能。这些样本涵盖了从50到2000条迹线，迹线长度从8到15不等。该数据集的规模为256个样本，任务是从样本中学习LTL公式。

查看Synthetic Benchmark Suite

README 内容： 

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。