- Codex (and GPT-4) can’t beat humans on smart contract audits https://blog.trailofbits.com/2023/03/22/codex-and-gpt4-cant-beat-humans-on-smart-contract-audits/ 9 comments ethereum
Linked pages
- Prompt engineers can make ChatGPT and Bing AI do what you want - The Washington Post https://www.washingtonpost.com/technology/2023/02/25/prompt-engineers-techs-next-big-job/ 271 comments
- GitHub - hwchase17/langchain: ⚡ Building applications with LLMs through composability ⚡ https://github.com/hwchase17/langchain 77 comments
- GitHub - microsoft/prompt-engine: A library for helping developers craft prompts for Large Language Models https://github.com/microsoft/prompt-engine 75 comments
- GitHub - openai/evals https://github.com/openai/evals 16 comments
- The road to the apprenticeship | Trail of Bits Blog https://blog.trailofbits.com/2022/08/12/the-road-to-the-apprenticeship/ 10 comments
- [2201.11903] Chain of Thought Prompting Elicits Reasoning in Large Language Models https://arxiv.org/abs/2201.11903 1 comment
- GitHub - crytic/slither: Static Analyzer for Solidity https://github.com/crytic/slither 0 comments
- Rice's theorem - Wikipedia https://en.wikipedia.org/wiki/Rice%27s_theorem 0 comments
- GitHub - jerryjliu/gpt_index: An index created by GPT to organize external information and answer queries! https://github.com/jerryjliu/gpt_index 0 comments
Related searches:
Search whole site: site:blog.trailofbits.com
Search title: Codex (and GPT-4) can’t beat humans on smart contract audits | Trail of Bits Blog
See how to search.