Login
You're viewing the discuss.systems public feed.
  • Dr. Claire Le Gouesclegoues@lebrady.net
    Aug 6, 2026, 11:07 PM

    LymphoSAT is a pretty interesting (IMHO) divergence from how AI has traditionally been applied to SAT. Instead of being a single solver, it's 126 novel, highly optimized, family-specific solvers. Most of them don't use traditional SAT algorithms at all. 2/4

    💬 1🔄 2⭐ 0

Replies

  • Dr. Claire Le Gouesclegoues@lebrady.net
    Aug 6, 2026, 11:07 PM

    I'm telling you about it not exclusively to brag about my great student, but primarily to signal boost the super-interesting and accessible blog post he's written on it: c.mov/lymphosat/ 3/4

    💬 1🔄 0⭐ 0
  • Dr. Claire Le Gouesclegoues@lebrady.net
    Aug 6, 2026, 11:07 PM

    (Bonus: despite Harrison's obvious familiarity and comfort with our agent overlords, it reads as entirely human-written, because --- aside from the solver summaries --- it is.) 4/4

    💬 0🔄 0⭐ 0