Dataset Open Access

Simple Dataset for Proof Method Recommendation in Isabelle/HOL

Nagashima, Yutaka

BibTeX Export

@dataset{nagashima_yutaka_2020_3819026,
  author       = {Nagashima, Yutaka},
  title        = {{Simple Dataset for Proof Method Recommendation in 
                   Isabelle/HOL}},
  month        = may,
  year         = 2020,
  note         = {{The corresponding dataset description paper is 
                   under review at the 13th Conference on Intelligent
                   Computer Mathematics (CICM2020). The preprint is
                   available at arXiv.org
                   (https://arxiv.org/abs/2004.10667)}},
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3819026},
  url          = {https://doi.org/10.5281/zenodo.3819026}
}
79
12
views
downloads
All versions This version
Views 7979
Downloads 1212
Data volume 1.5 GB1.5 GB
Unique views 6969
Unique downloads 1111
More info on how stats are collected.
Indexed in
Publication date:
May 10, 2020
DOI:
10.5281/zenodo.3819026

Zenodo DOI Badge

DOI 

10.5281/zenodo.3819026

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3819026.svg)](https://doi.org/10.5281/zenodo.3819026)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3819026.svg
   :target: https://doi.org/10.5281/zenodo.3819026

HTML 

<a href="https://doi.org/10.5281/zenodo.3819026"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3819026.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3819026.svg

Target URL 

https://doi.org/10.5281/zenodo.3819026

Keyword(s):
Isabelle/HOL Proof Method Recommendation Machine Learning for Theorem Proving Tactic Recommendation
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.3819026 May 10, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3819025. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export