SEPIA: Search for Proofs Using Inferred Automata-Reference-Cited by-同舟云学术

SEPIA: Search for Proofs Using Inferred Automata

Published:2015 Issue: Volume: Page:246-255
ISSN:0302-9743
Container-title:Automated Deduction - CADE-25
language:
Short-container-title:

Author:

Gransden Thomas,Walkinshaw Neil,Raman Rajeev

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-21401-6_16

Reference14 articles.

1. Lecture Notes in Computer Science;J Alama,2012

2. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004)

3. Duncan, H.: The Use of Data Mining for the Automatic Formation of Tactics. Ph.d. thesis, University of Edinburgh (2007)

4. Lecture Notes in Computer Science;T Gransden,2014

5. Grov, G., Komendantskata, E., Bundy, A.: A Statistical Relational Learning Challenge Extracting Proof Strategies from Exemplar Proofs. In: ICML-12 Workshop on Statistical Relational Learning (2012)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Learning Guided Automated Reasoning: A Brief Survey;Lecture Notes in Computer Science;2024

2. Learning Proof Transformations and Its Applications in Interactive Theorem Proving;Frontiers of Combining Systems;2023

3. CoProver: A Recommender System for Proof Construction;Lecture Notes in Computer Science;2023

4. TacticToe: Learning to Prove with Tactics;Journal of Automated Reasoning;2020-08-20

5. Context-aware Generation of Proof Scripts for Theorem Proving;2020 6th International Conference on Big Data Computing and Communications (BIGCOM);2020-07