A Generative Neuro-Symbolic AI for Protein Sequence Design
EffieDes is a generative neuro-symbolic AI framework that overcomes the limitations of traditional auto-regressive protein design by combining deep learning to encode fitness landscapes with automated reasoning to rigorously explore and optimize sequences for complex functional constraints, successfully enabling the creation of orthogonal sequence pairs and high-affinity de novo nanobodies.