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…
does this work similar to airllm? i am wondering how it would handle something like quantizing kimi k3 on a budget of 8 gbs, or is that something you are not attempting to solve yet?
this reminds me of the whole situation with how llms cannot really solve logic problems, they only really memorized the answer, for example the riddle: a mother and her son got in a car accident, the mother died, and…
for all 22 micro archs it takes about 9.4 hours for all opcode-dumps this includes hidden instructions that take a PC but do not produce text in the nvdisasm output, about an extra hour for a modifiers scan where we get…
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…
does this work similar to airllm? i am wondering how it would handle something like quantizing kimi k3 on a budget of 8 gbs, or is that something you are not attempting to solve yet?
this reminds me of the whole situation with how llms cannot really solve logic problems, they only really memorized the answer, for example the riddle: a mother and her son got in a car accident, the mother died, and…
for all 22 micro archs it takes about 9.4 hours for all opcode-dumps this includes hidden instructions that take a PC but do not produce text in the nvdisasm output, about an extra hour for a modifiers scan where we get…