A Generative Neuro-Symbolic AI for Protein Sequence Design
Die Studie stellt EffieDes vor, ein generatives neuro-symbolisches KI-Framework, das die Vorhersagekraft des Deep Learning mit der logischen Präzision automatischer Beweiser kombiniert, um komplexe Proteinsequenzen zu entwerfen, die sowohl hohe Stabilität als auch spezifische funktionelle Anforderungen erfüllen.