FutureComputing4AI / Hrrformer Star 44 Code Issues Pull requests Hrrformer: A Neuro-symbolic Self-attention Model (ICML23) ember malware transformer icml self-attention lra neuro-symbolic hrr holographic-reduced-representations long-range-arena icml-2023 hrrformer Updated Jun 7, 2023 Python
louisabraham / mcSATan Star 11 Code Issues Pull requests A diabolic implementation of mcSAT 😈 smtlib sat-solver smt smt-solver dimacs lra Updated Jun 23, 2021 Python