Brendan Dolan-Gavitt
Brendan Dolan-Gavitt
Is there any way to remove the limitation that `inputs.txt` must be ASCII text? I would love to be able to train a network that can produce plausible binary files...
I'm trying to test a small (non-cryptographic) hash function (NB: the actual function I want to test uses `charCodeAt()`, but since this isn't supported in ExpoSE, I switched to arrays...
It's often useful when generating samples to be able to get the logits / probabilities of the generated tokens (e.g. for ranking suggestions). It looks like this used to be...
**Describe the bug** For reasons I can't quite figure out, bear causes tar (or more specifically, the unxz process it launches) to fail when unpacking the following .tar.xz file: https://moyix.net/~moyix/qemu_6.2+dfsg.orig.tar.xz...
There seems to be a slight mismatch in the set of formulas accepted by jfs-smt2cxx versus jfs. An example is `20170501-Heizmann-UltimateAutomizer/cos_polynomial_true-unreach-call.c_9.smt2` (attached), which is quickly solved using jfs but dies...
In the following program (reduced from Juliet test case [CWE416_Use_After_Free/CWE416_Use_After_Free__return_freed_ptr_01.c](https://github.com/arichardson/juliet-test-suite-c/blob/master/testcases/CWE416_Use_After_Free/CWE416_Use_After_Free__return_freed_ptr_01.c)) KLEE misses a use-after-free (UAF) when a pointer is passed to a library function like `puts`: ```C #include #include #include...
Now that FauxPilot has been used by quite a few people, it would be great to collect the questions that come up repeatedly in a Frequently Asked Questions (FAQ) page....
This is supported by Triton, we just need to add support for it to the proxy. I have written code to do this independently here: https://moyix.net/~moyix/batch_codegen_full.py ; I just need...
Not sure how this happened, but currently the 16B 2gpu models fail in unzstd with `Decoding error (36) : Corrupted block detected`. I will re-convert and re-upload them. Steps to...
The OpenAI API allows you to submit a list of tokens (rather than a string) as your prompt. This can be useful in some scenarios, e.g. for benchmarking where you...