3Amazon Q Developer Agent is now SOTA on SWE-bench (opens in new tab)(swebench.com)4brendanfalk1y ago0
4A gentle introduction to automated reasoning (2021) (opens in new tab)(amazon.science)2brendanfalk2y ago0
6Customizing Coding Companions for Organizations (opens in new tab)(aws.amazon.com)2brendanfalk2y ago0
