"Loss functions" . "Concepts in logic" . "Natural language processing" . "Logical consequence" .