Guiding Inferences In Connection Tableau By Recurrent Neural Networks
ASecurity
**arXiv ID:** 1905.07961 **Authors:** Bartosz Piotrowski, Josef Urban **Published:** 2019-05-20T09:47:41Z **Abstract:** We present a dataset and experiments on applying recurrent neural networks (RNNs) for guiding clause selection in the connection tableau proof calculus. The RNN encodes a sequence of literals from the current branch of the partial proof tree to a hidden vector state; using it, the system selects a clause for extending the proof tree. The training data and learning setup are ...
Installs into .claude/skills of the current project.
Sponsors
SSkills DirectorySkills Directory
Know which skills are safe — weekly.
SSkills DirectorySkills Directory
Is that skill safe to install?
Are you the author of Guiding Inferences In Connection Tableau By Recurrent Neural Networks?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/hiyenwong-guiding-inferences-in-connection-tableau-by-recurr)
# Guiding Inferences in Connection Tableau by Recurrent Neural Networks
**arXiv ID:** 1905.07961
**Authors:** Bartosz Piotrowski, Josef Urban
**Published:** 2019-05-20T09:47:41Z
**Abstract:**
We present a dataset and experiments on applying recurrent neural networks (RNNs) for guiding clause selection in the connection tableau proof calculus. The RNN encodes a sequence of literals from the current branch of the partial proof tree to a hidden vector state; using it, the system selects a clause for extending the proof tree. The training data and learning setup are described, and the results are discussed and compared with state of the art using gradient boosted trees. Additionally, we perform a conjecturing experiment in which the RNN does not just select an existing clause, but completely constructs the next tableau goal.
## Skill Description
This skill is generated from the arXiv paper: Guiding Inferences in Connection Tableau by Recurrent Neural Networks (1905.07961).
## How to Use
[To be filled in by the user or by future automation]
## References
- [arXiv:1905.07961](http://arxiv.org/abs/1905.07961v2)
