Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thibault Gauthier
TacticToe: Learning to Reason With HOL4 Tactics
Related publications
Learning to Reason From Samples
Educational Studies in Mathematics
Mathematics
Education
Reason to Live
Faith With Reason
Ars Disputandi
Reason to Promotion Inferences
Journal of Ethics and Social Philosophy
Tactics to Increase Leadership Speed
Leader to Leader
Nudges to Reason: Not Guilty
Journal of Medical Ethics
Arts
Humanities
Legal Aspects
Health Policy
Health
Ethics
Issues
Soviet Jewry: Tailoring Tactics to Suit
Nature
Multidisciplinary
A Machine Learning System for Analyzing Human Tactics in a Game.
Transactions of the Japanese Society for Artificial Intelligence
Artificial Intelligence
Software
Scare Tactics
CMAJ
Medicine