Search Results for author:
Found 2 papers, 1 papers with code
SPML: A DSL for Defending Language Models Against Prompt Attacks
However, post-deployment the chatbot definitions are fixed and are vulnerable to attacks by malicious users, emphasizing the need to prevent unethical applications and financial losses.
Proof Repair across Type Equivalences
We describe a new approach to automatically repairing broken proofs in the Coq proof assistant in response to changes in types.
Programming Languages
Cannot find the paper you are looking for? You can
Submit a new open access paper.
