Sort by
Refine Your Search
-
deployment of agentic large language models. We aim to create interactive virtual avatars, driven by LLMs, for use in real-world healthcare and educational environments. These avatars will combine natural
Searches related to model checking
Enter an email to receive alerts for model-checking positions