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

Michael, Fairbank; Alexei, Vernitski; Alexei, Lisitsa

doi:10.5281/zenodo.16103483

Published July 18, 2025 | Version v2

Dataset Open

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

Contributors

Researchers:

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

Files

JAR-AC-Automata-2025.zip

Files (264.2 kB)

Name	Size	Download all
JAR-AC-Automata-2025.zip md5:3a5a76baa3a3188f1b04b3e7b48880a3	264.2 kB	Preview Download

Additional details

Submitted: 2025-07-18

Views

Downloads

Show more details

	All versions	This version
Views	68	39
Downloads	24	13
Data volume	6.0 MB	4.0 MB

More info on how stats are collected....

DOI

Resource type

Dataset

Publisher

Zenodo

Languages

English

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: July 18, 2025
Modified: July 18, 2025

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

Authors/Creators

Contributors

Researchers:

Description

Files

JAR-AC-Automata-2025.zip

Files (264.2 kB)

Additional details

Dates