user: rohanmunshi08

2 karma | created 1 month ago

recent submissions

Aura-State: Formally Verified LLM State Machine Compiler

3 pts|4 hours ago|2 comments

Show HN: Aura-State – A Formally Verified LLM State Machine Compiler

2 pts|4 hours ago|discuss