Pushing the boundary where formal language theory meets AI-assisted reasoning (Lightning Talk)
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 JunDisplayed 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 10mTalk | Pushing the boundary where formal language theory meets AI-assisted reasoning (Lightning Talk) GCM Federico Vastarini University of Salerno | ||
15:40 10mTalk | 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 10mTalk | 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 60mPanel | 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 | ||