Hacker News new | ask | show | jobs
Authorization for LLM Tool Schemas: Formal Model with Noninterference Guarantees [pdf] (raw.githubusercontent.com)
2 points by andygauge 59 days ago