attempted this approach before, fails in low level programming situations. the hardest part of programming is the logic errors, as a result i tried a few times

attempted this approach before, fails in low level programming situations. the hardest part of programming is the logic errors, as a result i tried a few times to use a formal verifier to write the pseudo code and have the llm translate it into the language i wanted. the problem with this however is that llms do not necessarily know the best techniques for speed and like to overcomplicate the problem/solution. how does this language help with prevention of overcomplication?