wird geladen
HOLMES: Neuer Benchmark für höherstufiges logisches Schlussfolgern in LLMs · Lumeric