via Wikidata · CC0
Le Prix Herbrand est une distinction scientifique de la Conference on Automated Deduction (CADE). Il est, depuis 1992, remis chaque année et il est doté de 1 000 dollars. Il récompense un scientifique pour contribution exceptionnelle dans le domaine de la Preuve assistée par ordinateur. Le prix est nommé d'après le logicien et mathématicien français Jacques Herbrand et c'est le plus prestigieux des prix de la recherche internationale de cette discipline.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).