Assessing the Scalability of Graph Predicate Evaluation with Large Language Models
With the advent of Large Language Models (LLMs), new programming and modeling services have emerged, promising to automate various development steps. Those development steps include the construction of model fragments that must adhere to complex validation constraints - graph predicates - and the correction of existing models (“quick fix”) that do not comply with these constraints. Both of these processes require knowledge and the ability to adhere to validation constraints.
Although LLMs are improving rapidly, their reasoning capacity on graph structures remains challenging. Although several approaches aim to evaluate LLMs in generating graph fragments, the ability of LLMs to evaluate graph predicates of different complexities has yet to be seen. In this paper, we propose a measurement campaign to systematically evaluate the accuracy of modern LLMs on various graph structures to evaluate their effectiveness in graph predicate evaluation and identify limits where LLMs cannot reason on the graph structure reliably.
Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
11:00 - 12:30 | |||
11:00 30mTalk | Assessing the Scalability of Graph Predicate Evaluation with Large Language Models ECMFA 2026 Rebeka Farkas Budapest University of Technology and Economics, Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics | ||
11:30 30mTalk | Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution ECMFA 2026 Weixing Zhang Karlsruhe Institute of Technology (KIT), Bowen Jiang Karlsruhe Institute of Technology, Rahul Sharma Karlsruhe Institute of Technology, Regina Hebig Universität Rostock, Rostock, Germany, Daniel Strüber Chalmers | University of Gothenburg / Radboud University | ||
12:00 30mTalk | Structural-Semantic Clustering for Architectural Models ECMFA 2026 Thi Dinh Tran Gran Sasso Science Institute, Maria Teresa Rossi University of Milano Bicocca, Italy, Davide Soldati University of Milano-Bicocca, Mauro Sonzogni University of Milano-Bicocca, Amleto Di Salle Gran Sasso Science Institute, L'Aquila, Italy, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Leonardo Mariani University of Milano-Bicocca | ||