pinned
Running
1
🏆 S-Eval Leaderboard
🥇
Display model results from an Excel leaderboard
Intelligent System Security Lab
university
AI & ML interests
The goal of the IS2Lab’s research is to develop various formal methods or software engineering techniques to provide certifiable (and ideally provable) reliability or security guarantees for practical intelligent or distributed systems like autonomous driving car, industrial control system, blockchain system, etc.