Sort by
Refine Your Search
-
machine learning models in simple, standalone devices that are capable of advanced processing. Building on our work on solution-based neuromorphic classifiers (https://doi.org/10.1002/advs.202207023
-
broad research and education in AI both from a technical and interdisciplinary perspective. Coordinator of TrustLLM a large EU-project developing trustworthy and factual language models. Host
Searches related to model checking
Enter an email to receive alerts for model-checking positions