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