Lean4Agent: Formale Modellierung und Verifikation für Agent-Workflow und Trajektorie

arXiv:2606.06523v1 Ankündigungstyp: neu Abstract: Die Ausstattung von Large Language Models (LLMs) mit der Fähigkeit, zuverlässige mehrstufige Workflows auszuführen, ist zu einer zentralen Herausforderung in der künstlichen Intelligenz geworden. Trotz jüngster Fortschritte in den agentic-Fähigkeiten von LLMs mangelt es den meisten Agent-Systemen noch an formalen Methoden für die Spezifikation