Are medical AI agents riskless?

In this article I’m going to focus on medical agents security and their security risks. Can we trust these new technologies? What countermeasures have been deployed to avoid dangerous situations and which are the main challenges?

What is AI jailbreaking?

References

https://arxiv.org/pdf/2504.16489

Can we see under the hook of deep models?

Synthesis Problem

Tamarin

V&V-Symbolic MC and Bounded MC

V&V-Model Checking

V&V-Computational Tree Logic (CTL)

V&V-Linear Temporal Logic

V&V-Star-Free Expressions

V&V-Learning Automata

V&V-Weak S1S

V&V-Secondo teorema di Büchi

V&V-Monadic Second Order theory of One's Successor

V&V-Automi a stati finiti su parole infinite

V&V-Fair Transition System

V&V-Myhill-Nerode Theorem

V&V-Automi a stati finiti su parole finite

V&V-Domino Undecidability

Problemi NP-completi

Appartenenza a NP per certificato

Cook-Levin Theorem

Completezza e Riduzioni tra classi di complessità

Relazione tra Classi di Complessità 5 - Savitch Theorem

Relazione tra Classi di Complessità 4 - Reachability Method

Relazione tra Classi di Complessità 3 - Gap Theorem

Relazione tra Classi di Complessità 2 - Hierarchy Theorem

Relazione tra Classi di Complessità 1 - Proper Functions, Precise MdT, Complement Class

Turing Machines 3 - Non-deterministic Turing Machines

Turing Machines 2 - Deterministic Turing Machines, Complexity, Speed-up Theorem

Turing Machines 1 - Uniform vs Logarithmic cost criterium

Information Theory - Lecture 6 - Kolmogorov Complexity vs Shannon Entropy

Information Theory - Lecture 4

Information Theory - Lecture 3

Information Theory - Lecture 2

Information Theory - Lecture 5 - Kolmogorov Complexity 1965

Information Theory - Lecture 1

RECSYS Lecture 12 - Structural Recommender Systems

Internet-of-Things: ethical considerations

RECSYS Lecture 11 - Learning-to-Rank

RECSYS Lecture 10 - Transformers

RECSYS Lecture 9 - Neural Networks for Recommender systems

RECSYS Lecture 8 - Evaluation of recommender systems

RECSYS Lecture 7 - Multi-armed bandit

RECSYS Lecture 6 - Hybrid Recommender Systems

RECSYS Lecture 5 - Knowledge-based recommender systems

RECSYS Lecture 4 - Content-based filtering

RECSYS Lecture 3 - Model-based Collective Filtering

Bayes Theorem

RECSYS Lecture 2 - Neighborhood-based collaborative filtering

Introduction to Recommender Systems