Barista: Synthesizing Typestate Specifications with LLM Agents
By matt_d · 2026-10-15 · 1 points · 0 comments
https://catarinagamboa.github.io/papers/barista/
By matt_d · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews