A marriage of formal methods and LLMs seeks to harness the strengths of both.

Abstract: The authors reviewed the areas of application of digital twins in discrete manufacturing. Examples of specific implemented projects have shown that the urgent task is to create mathematical ...

Abstract: One of the most important aspects of achieving meaningful learning is student motivation. In this sense, gamification techniques have been very effective in the teaching and learning process ...