Using LLMs for safe low-level programming | Microsoft Research Forum | Microsoft Research | Podwise