Aishwarya Ramasethu

Results 2 issues of Aishwarya Ramasethu

Closes #609 For PRB reviewers: feel free to just focus on the proof (.tex and pseudocode)!

Proof
vetting

Integrated the Prediction guard API to detect prompt injections as a security layer for TaxyAI. At this point the probability of injection of each prompt is displayed in the Action...