../
- Prepare slides for brad
- Templates for assertions
- Give full context
- Do the agentic loop
- Don’t care about the cost
- Send Kevin the paper with pre-rtl papers