STAF 2025
Tue 10 - Fri 13 June 2025 Koblenz, Germany

This work addresses a core limitation of current \textit{LLMs} when confronted with theoretical problems that cannot be directly inferred from information already present in their training data. It presents an overview of a method currently under investigation that aims to enhance the reasoning capabilities of \textit{LLMs} by breaking free from built-in patterns that constrain their ability to move beyond surface-level inference. When evaluating various \textit{LLMs}, particularly on graph-related problems, a consistent pattern emerged: one that reflects not only correctness issues but also limitations in reasoning strategy. The proposed method seeks to gradually shift the model’s behavior, encouraging divergence from repetitive response paths rather than supplying targeted prompts to elicit a single correct answer. Although a genuine breakthrough remains technically out of reach, the approach offers a promising direction toward overcoming current boundaries.

Tue 10 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
GCM Session 3: Lightning Talks & Panel Discussion: Graph Transformation and AIGCM at M 201
Chair(s): Reiko Heckel University of Leicester, Leen Lambers Brandenburg University of Technology Cottbus-Senftenberg, Oszkár Semeráth Budapest University of Technology and Economics

Lightning talk: 5’ presentation and max. 5’ Q&A

Subsequent panel & open discussion

15:30
10m
Talk
Pushing the boundary where formal language theory meets AI-assisted reasoning (Lightning Talk)
GCM
Federico Vastarini University of Salerno
15:40
10m
Talk
Toward Safeguarding GenAI with Graph Transformation: Defining an Exchange Format in JSON (Lightning Talk)
GCM
Lukas Sebastian Hofmann Philipps-Universität Marburg | Universidad Complutense de Madrid, Alexander Lauer Philipps-Universität Marburg, Jose Ignacio Requeno Complutense University of Madrid, Gabriele Taentzer Philipps-Universität Marburg
15:50
10m
Talk
Towards Graph-Based Neuro-Symbolic Logic Reasoning to Improve AI Applications (Lightning Talk)
GCM
Kristóf Marussy Budapest University of Technology and Economics
16:00
60m
Panel
Panel & open discussion: Graph Transformation and AI
GCM
Kristóf Marussy Budapest University of Technology and Economics, Gabriele Taentzer Philipps-Universität Marburg, Federico Vastarini University of Salerno