MMODELYST
People/Christoph Benzmüller
PPL

Christoph Benzmüller

Papers (2)
Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)