Datasets for the research paper "Automated reasoning boosted by a probabilistic automaton classifier: An application to the Andrews-Curtis conjectur"e, by Michael Fairbank, Alexei Lisitsa, Alexei Vernitski

Name: Datasets for the research paper "Automated reasoning boosted by a probabilistic automaton classifier: An application to the Andrews-Curtis conjectur"e, by Michael Fairbank, Alexei Lisitsa, Alexei Vernitski
Creator: Zenodo
Published: 2025-07-18T10:19:08+08:00

Zenodo2025-07-18 更新2026-05-26 收录

数据链接：

https://zenodo.org/doi/10.5281/zenodo.16088112 数据链接链接失效反馈

官方服务：

资源简介：

This upload contains additional data for the research paper "Automated reasoning boosted by a probabilistic automaton classifier: An application to the Andrews-Curtis conjectur"e, by Michael Fairbank, Alexei Lisitsa, Alexei Vernitski

提供机构：

Zenodo

创建时间：

2025-07-18