Auszeichnung für Forschungsbeiträge im Bereich des automatischen Schließens
via Wikidata · CC0
Der Herbrand Award (Herbrand-Preis) ist ein mit 1000 US-Dollar dotierter Wissenschaftspreis der Conference on Automated Deduction (CADE). Er wird seit 1992 jährlich vergeben. Mit ihm wird ein Wissenschaftler für herausragende Beiträge zum automatischen Theorembeweisen ausgezeichnet. Benannt ist der Preis nach dem französischen Logiker und Mathematiker Jacques Herbrand. Er ist der renommierteste internationale Forschungspreis dieses Fachgebiets.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).