NeuroSynt：一种用于反应式综合的神经符号组合求解器
计算机科学中的逻辑
2024-01-30 v2 机器学习
摘要
我们介绍了NeuroSynt，一个用于反应式综合的神经符号组合求解器框架。该求解器的核心在于将神经方法和符号方法无缝集成，以解决反应式综合问题。为确保可靠性，神经引擎与模型检查器耦合，以验证底层神经模型的预测。NeuroSynt的开源实现为反应式综合提供了一个集成框架，新的神经方法和最先进的符号方法可以无缝集成其中。大量实验证明了其在处理具有挑战性的规约方面的有效性，增强了最先进的反应式综合求解器，NeuroSynt在当前的SYNTCOMP基准测试中贡献了新的求解。
引用
@article{arxiv.2401.12131,
title = {NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis},
author = {Matthias Cosler and Christopher Hahn and Ayham Omar and Frederik Schmitt},
journal= {arXiv preprint arXiv:2401.12131},
year = {2024}
}