RNA and protein inverse folding

Placeholder. This problem is here so the problem panel can be tried out. Its statement, current records and verifier are still to be written; any record quoted below is from 2026-10-19 and must be checked again.

Problem

Design sequences for target secondary structures and contact maps that current methods fail on, such as the hardest Eterna100 targets. A design counts when its target is the most probable structure in the ensemble, scored with the ViennaRNA partition function, not merely the one of lowest energy. Each target is a sub-issue; the list is still to be chosen.