pinned
Running
3
🏆 S-Eval Leaderboard
🥇
Display benchmark leaderboard for Chinese and English models
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.
Recent Activity
models
None public yet