a-paulus's Stars
facebookresearch/advprompter
Official implementation of AdvPrompter https//arxiv.org/abs/2404.16873
LPMP/BDD
An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through dual block coordinate ascent.