Designability of RNA Targets with Up to Two Length-2 Helices
تثبت هذه الورقة أن أهداف الحمض النووي الريبوزي (RNA) التي تحتوي على حلزونين أقصى طول لهما 2 ولا تحتوي على أي حلزونات بطول 1 تظل قابلة للتصميم ضمن نموذج واتسون-كريك الرباعي، مما يوسع ضمانات القابلية للفصل بمقياس (modulo-) من خلال الجمع بين عمليات نقل التلوين المحلي وحجج العد العالمي، مع التحقق من البرهان الرسمي في Lean 4.