Collaboration

Partnerships for research, development, and technology transfer – from collaborative projects to tailored innovation solutions.

About SAL

Insights into SAL’s mission, values, research activities, and contribution to Europe’s innovation ecosystem.

Auto­mata Learning for Coverage, Heuris­tics, and Evalua­tion of Models (ALCHEM)

Improve modern AI-based testing frame­works by adding a formal layer in the back­ground via model learning.

Objectives

Apply model learning to build a formal model during the LLM based testing, to ensure

  • Suffi­cient coverage for regu­la­tory compli­ance
  • Mini­mizing manual vali­da­tion
  • Explain­ability of the LLM deci­sions

Expected Results 

  • Model reflecting an abstrac­tion of the existing test cases
  • Coverage analysis based on the model
  • Flag­ging of unusual test results

Contact

Business Development
DI Heimo Müller
Head of Business Development
Graz

Newsletter

Our Science & Stories newsletter provides the latest news, bietet aktuelle Neuigkeiten, Forschungshighlights und spannende Einblicke
von Silicon Austria Labs – direkt ins Postfach.