Zusammenarbeit

Partnerschaften für Forschung, Entwicklung und Technologietransfer – von gemeinsamen Projekten bis hin zu maßgeschneiderten Lösungen.

Über SAL

Einblicke in Mission, Werte und Forschungsaktivitäten sowie den Beitrag von SAL zur europäischen Innovationslandschaft.

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

Verbes­se­rung moderner KI-basierter Test­frame­works durch die Inte­gra­tion einer formalen Schicht im Hinter­grund mithilfe von auto­ma­tisch gelernten Modellen.

Ziel­set­zung

Auto­ma­ti­sche Gene­rie­rung eines Modells im Rahmen vom LLM-basierten Tests, um das folgende zu errei­chen:

  • Gewähr­leis­tung einer hinrei­chenden Test­ab­de­ckung zur Erfül­lung regu­la­to­ri­scher Anfor­de­rungen
  • Mini­mie­rung manu­eller Vali­die­rung
  • Nach­voll­zieh­bar­keit der LLM-Entschei­dungen

Erwartete Ergebnisse 

  • Ein Modell das alle exis­tie­renden Test­fälle abbildet
  • Eine Test­ab­de­ckung aller wich­tigen Modell­kom­po­nenten
  • Eine Meldung bei uner­war­teten Ergeb­nissen während des Regres­si­ons­tes­tens

Kontakt

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

Newsletter

Unser Newsletter Science & Stories bietet aktuelle Neuigkeiten, Forschungshighlights und spannende Einblicke
von Silicon Austria Labs – direkt ins Postfach.