RiccardoBiosas
Results
2
repositories owned by
RiccardoBiosas
awesome-MLSecOps
192
Stars
30
Forks
Watchers
A curated list of MLSecOps tools, articles and other resources on security applied to Machine Learning and MLOps systems.
LeanGPT
17
Stars
2
Forks
Watchers
Experiments with interactive theorem provers, LLMs and formal systems