wird geladen
TypoNet: LLMs als Übersetzer für formale Netzwerkmodelle statt autonome Reasoner · Lumeric