Marcio Fonseca

Ein neues Framework verbessert das logische Denken für grosse Sprachmodelle mithilfe von Lean.