Aura-State: Formally Verified LLM State Machine Compiler
4 points by rohanmunshi08 1 days ago | 2 comments