1 link tagged with all of: cryptography + audits + snarg + research + llm
Links
This article discusses a Google Research case study where an LLM identified a bug in a cryptography paper on SNARGs that human reviewers missed. The authors used a detailed prompting strategy to guide the model through a rigorous review process, showcasing the potential of LLMs in academic research and audits.
llm ✓
cryptography ✓
research ✓
audits ✓
snarg ✓