1 link tagged with all of: llm + snarg + cryptography + research + audits
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 ✓