BibTeX records: Thibault Gauthier

download as .bib file

@article{DBLP:journals/jsc/GauthierK19,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk},
  title     = {Aligning concepts across proof assistant libraries},
  journal   = {J. Symb. Comput.},
  volume    = {90},
  pages     = {89--123},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.jsc.2018.04.005},
  doi       = {10.1016/j.jsc.2018.04.005},
  timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jsc/GauthierK19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrownGKSU19,
  author    = {Chad E. Brown and
               Thibault Gauthier and
               Cezary Kaliszyk and
               Geoff Sutcliffe and
               Josef Urban},
  editor    = {Pascal Fontaine},
  title     = {{GRUNGE:} {A} Grand Unified {ATP} Challenge},
  booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
               Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11716},
  pages     = {123--141},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-29436-6\_8},
  doi       = {10.1007/978-3-030-29436-6\_8},
  timestamp = {Wed, 21 Aug 2019 13:34:20 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/BrownGKSU19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-02539,
  author    = {Chad E. Brown and
               Thibault Gauthier and
               Cezary Kaliszyk and
               Geoff Sutcliffe and
               Josef Urban},
  title     = {{GRUNGE:} {A} Grand Unified {ATP} Challenge},
  journal   = {CoRR},
  volume    = {abs/1903.02539},
  year      = {2019},
  url       = {http://arxiv.org/abs/1903.02539},
  archivePrefix = {arXiv},
  eprint    = {1903.02539},
  timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1903-02539.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-11797,
  author    = {Thibault Gauthier},
  title     = {Deep Reinforcement Learning in {HOL4}},
  journal   = {CoRR},
  volume    = {abs/1910.11797},
  year      = {2019},
  url       = {http://arxiv.org/abs/1910.11797},
  archivePrefix = {arXiv},
  eprint    = {1910.11797},
  timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1910-11797.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-01525,
  author    = {Chad E. Brown and
               Thibault Gauthier},
  title     = {Self-Learned Formula Synthesis in Set Theory},
  journal   = {CoRR},
  volume    = {abs/1912.01525},
  year      = {2019},
  url       = {http://arxiv.org/abs/1912.01525},
  archivePrefix = {arXiv},
  eprint    = {1912.01525},
  timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1912-01525.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-00595,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk and
               Josef Urban},
  title     = {Learning to Reason with {HOL4} tactics},
  journal   = {CoRR},
  volume    = {abs/1804.00595},
  year      = {2018},
  url       = {http://arxiv.org/abs/1804.00595},
  archivePrefix = {arXiv},
  eprint    = {1804.00595},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1804-00595.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-00596,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk and
               Josef Urban and
               Ramana Kumar and
               Michael Norrish},
  title     = {Learning to Prove with Tactics},
  journal   = {CoRR},
  volume    = {abs/1804.00596},
  year      = {2018},
  url       = {http://arxiv.org/abs/1804.00596},
  archivePrefix = {arXiv},
  eprint    = {1804.00596},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1804-00596.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GauthierKU17,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk and
               Josef Urban},
  editor    = {Thomas Eiter and
               David Sands},
  title     = {TacticToe: Learning to Reason with {HOL4} Tactics},
  booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
               Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
  series    = {EPiC Series in Computing},
  volume    = {46},
  pages     = {125--143},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/paper/340355},
  timestamp = {Wed, 10 Apr 2019 09:28:31 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/GauthierKU17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/MullerGKKR17,
  author    = {Dennis M{\"{u}}ller and
               Thibault Gauthier and
               Cezary Kaliszyk and
               Michael Kohlhase and
               Florian Rabe},
  editor    = {Herman Geuvers and
               Matthew England and
               Osman Hasan and
               Florian Rabe and
               Olaf Teschke},
  title     = {Classification of Alignments Between Concepts of Formal Mathematical
               Systems},
  booktitle = {Intelligent Computer Mathematics - 10th International Conference,
               {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10383},
  pages     = {83--98},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-62075-6\_7},
  doi       = {10.1007/978-3-319-62075-6\_7},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/mkm/MullerGKKR17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/GauthierKU16,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk and
               Josef Urban},
  editor    = {Andrea Kohlhase and
               Paul Libbrecht and
               Bruce R. Miller and
               Adam Naumowicz and
               Walther Neuper and
               Pedro Quaresma and
               Frank Wm. Tompa and
               Martin Suda},
  title     = {Initial Experiments with Statistical Conjecturing over Large Formal
               Corpora},
  booktitle = {Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral
               Program, and Work in Progress at the Conference on Intelligent Computer
               Mathematics 2016 co-located with the 9th Conference on Intelligent
               Computer Mathematics {(CICM} 2016), Bialystok, Poland, July 25-29,
               2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1785},
  pages     = {219--228},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1785/W23.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:19 +0100},
  biburl    = {https://dblp.org/rec/conf/cikm/GauthierKU16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/GauthierK15,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk},
  editor    = {Xavier Leroy and
               Alwen Tiu},
  title     = {Premise Selection and External Provers for {HOL4}},
  booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
               {CPP} 2015, Mumbai, India, January 15-17, 2015},
  pages     = {49--57},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2676724.2693173},
  doi       = {10.1145/2676724.2693173},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cpp/GauthierK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GauthierK15,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk},
  editor    = {Martin Davis and
               Ansgar Fehnker and
               Annabelle McIver and
               Andrei Voronkov},
  title     = {Sharing {HOL4} and {HOL} Light Proof Knowledge},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
               International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
               2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9450},
  pages     = {372--386},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-48899-7\_26},
  doi       = {10.1007/978-3-662-48899-7\_26},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/GauthierK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GauthierK15,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk},
  title     = {Sharing {HOL4} and {HOL} Light proof knowledge},
  journal   = {CoRR},
  volume    = {abs/1509.03527},
  year      = {2015},
  url       = {http://arxiv.org/abs/1509.03527},
  archivePrefix = {arXiv},
  eprint    = {1509.03527},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/GauthierK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GauthierK15a,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk},
  title     = {Premise Selection and External Provers for {HOL4}},
  journal   = {CoRR},
  volume    = {abs/1509.03534},
  year      = {2015},
  url       = {http://arxiv.org/abs/1509.03534},
  archivePrefix = {arXiv},
  eprint    = {1509.03534},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/GauthierK15a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GauthierKKN14,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk and
               Chantal Keller and
               Michael Norrish},
  editor    = {Stephan Schulz and
               Leonardo de Moura and
               Boris Konev},
  title     = {Beagle as a {HOL4} external {ATP} method},
  booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
               2014, Vienna, Austria, 2014},
  series    = {EPiC Series in Computing},
  volume    = {31},
  pages     = {50--59},
  publisher = {EasyChair},
  year      = {2014},
  url       = {http://www.easychair.org/publications/paper/180021},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/GauthierKKN14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/GauthierK14,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk},
  editor    = {Stephen M. Watt and
               James H. Davenport and
               Alan P. Sexton and
               Petr Sojka and
               Josef Urban},
  title     = {Matching Concepts across {HOL} Libraries},
  booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
               2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8543},
  pages     = {267--281},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08434-3\_20},
  doi       = {10.1007/978-3-319-08434-3\_20},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/mkm/GauthierK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GauthierK14,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk},
  title     = {Matching concepts across {HOL} libraries},
  journal   = {CoRR},
  volume    = {abs/1405.3906},
  year      = {2014},
  url       = {http://arxiv.org/abs/1405.3906},
  archivePrefix = {arXiv},
  eprint    = {1405.3906},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/GauthierK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics