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 = {Thu, 05 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/GauthierK19},
  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 = {Tue, 01 May 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1804-00595},
  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 = {Tue, 01 May 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1804-00596},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GauthierKU17,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk and
               Josef Urban},
  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},
  pages     = {125--143},
  year      = {2017},
  crossref  = {DBLP:conf/lpar/2017},
  url       = {http://www.easychair.org/publications/paper/340355},
  timestamp = {Thu, 23 Nov 2017 16:56:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/GauthierKU17},
  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},
  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},
  pages     = {83--98},
  year      = {2017},
  crossref  = {DBLP:conf/mkm/2017},
  url       = {https://doi.org/10.1007/978-3-319-62075-6\_7},
  doi       = {10.1007/978-3-319-62075-6\_7},
  timestamp = {Wed, 28 Jun 2017 13:08:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/MullerGKKR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/GauthierKU16,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk and
               Josef Urban},
  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.},
  pages     = {219--228},
  year      = {2016},
  crossref  = {DBLP:conf/cikm/2016fm4m},
  url       = {http://ceur-ws.org/Vol-1785/W23.pdf},
  timestamp = {Fri, 27 Jan 2017 10:35:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cikm/GauthierKU16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/GauthierK15,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/cpp/2015},
  url       = {http://doi.acm.org/10.1145/2676724.2693173},
  doi       = {10.1145/2676724.2693173},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/GauthierK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GauthierK15,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk},
  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},
  pages     = {372--386},
  year      = {2015},
  crossref  = {DBLP:conf/lpar/2015},
  url       = {https://doi.org/10.1007/978-3-662-48899-7\_26},
  doi       = {10.1007/978-3-662-48899-7\_26},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/GauthierK15},
  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, 28 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GauthierK15},
  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 = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GauthierK15a},
  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},
  title     = {Beagle as a {HOL4} external {ATP} method},
  booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
               2014, Vienna, Austria, 2014},
  pages     = {50--59},
  year      = {2014},
  crossref  = {DBLP:conf/cade/2014paar},
  url       = {http://www.easychair.org/publications/paper/180021},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/GauthierKKN14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/GauthierK14,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk},
  title     = {Matching Concepts across {HOL} Libraries},
  booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
               2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
  pages     = {267--281},
  year      = {2014},
  crossref  = {DBLP:conf/mkm/2014},
  url       = {https://doi.org/10.1007/978-3-319-08434-3\_20},
  doi       = {10.1007/978-3-319-08434-3\_20},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/GauthierK14},
  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 = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GauthierK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2017,
  editor    = {Thomas Eiter and
               David Sands},
  title     = {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},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/LPAR-21},
  timestamp = {Thu, 23 Nov 2017 16:56:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2017,
  editor    = {Herman Geuvers and
               Matthew England and
               Osman Hasan and
               Florian Rabe and
               Olaf Teschke},
  title     = {Intelligent Computer Mathematics - 10th International Conference,
               {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10383},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-62075-6},
  doi       = {10.1007/978-3-319-62075-6},
  isbn      = {978-3-319-62074-9},
  timestamp = {Wed, 28 Jun 2017 13:08:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cikm/2016fm4m,
  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     = {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},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1785},
  urn       = {urn:nbn:de:0074-1785-C},
  timestamp = {Fri, 27 Jan 2017 10:35:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cikm/2016fm4m},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2015,
  editor    = {Xavier Leroy and
               Alwen Tiu},
  title     = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
               {CPP} 2015, Mumbai, India, January 15-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2676724},
  isbn      = {978-1-4503-3296-5},
  timestamp = {Thu, 22 Jan 2015 10:08:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2015,
  editor    = {Martin Davis and
               Ansgar Fehnker and
               Annabelle McIver and
               Andrei Voronkov},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-48899-7},
  doi       = {10.1007/978-3-662-48899-7},
  isbn      = {978-3-662-48898-0},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2014paar,
  editor    = {Stephan Schulz and
               Leonardo de Moura and
               Boris Konev},
  title     = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
               2014, Vienna, Austria, 2014},
  series    = {EPiC Series in Computing},
  volume    = {31},
  publisher = {EasyChair},
  year      = {2015},
  url       = {http://www.easychair.org/publications/volume/PAAR-2014},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2014paar},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2014,
  editor    = {Stephen M. Watt and
               James H. Davenport and
               Alan P. Sexton and
               Petr Sojka and
               Josef Urban},
  title     = {Intelligent Computer Mathematics - International Conference, {CICM}
               2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8543},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08434-3},
  doi       = {10.1007/978-3-319-08434-3},
  isbn      = {978-3-319-08433-6},
  timestamp = {Wed, 17 May 2017 10:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier