../

2026-02-19 Meeting with Tommy

Notes

  • Track assertions
  • Guide assertion
  • Look into coverage
  • Proven % not enough
  • Make slides
  • Hardware attacks and vulnerabilities
  • Agentic loop instead of system prompts