Learning to Design RNA

L E A R N I N G T O D E S I G N R NA Frederic Runge1∗ , Danny Stoll1∗ , Stefan Falkner1,2 & Frank Hutter1 1Department of Computer Science , University of Freiburg 2Bosch Center for Artificial Intelligence , Robert Bosch GmbH { runget , stolld , sfalkner , fh } @ cs.uni-freiburg.de A B S T R A C T Designing RNA molecules has garnered recent interest in medicine , synthetic biology , biotechnology and bioinformatics since many functional RNA molecules were shown to be involved in regulatory processes for transcription , epigenetics and translation . Since an RNA ’ s function depends on its structural properties , the RNA Design problem is to find an RNA sequence which satisfies given structural constraints . Here , we propose a new algorithm for the RNA Design problem , dubbed LEARNA . LEARNA uses deep reinforcement learning to train a policy network to sequentially design an entire RNA sequence given a specified target structure . By meta-learning across 65 000 different RNA Design tasks for one hour on 20 CPU cores , our extension Meta-LEARNA constructs an RNA Design policy that can be applied out of the box to solve novel RNA Design tasks . Methodologically , for what we believe to be the first time , we jointly optimize over a rich space of architectures for the policy network , the hyperparameters of the training procedure and the formulation of the decision process . Comprehensive empirical results on two widely-used RNA Design benchmarks , as well as a third one that we introduce , show that our approach achieves new state-of-the-art performance on the former while also being orders of magnitudes faster in reaching the previous state-of-the-art performance . In an ablation study , we analyze the importance of our method ’ s different components . 1 I N T R O D U C T I O N RNA is one of the major classes of information-carrying biopolymers in the cells of living organisms . Recent studies revealed a key role of functional non-protein-coding RNAs ( ncRNAs ) in regulatory processes and transcription control , which have also been connected to certain diseases like Parkinson ’ s disease and Alzheimer ’ s disease ( ENCODE Project Consortium and others , 2004 ; Gstir et al. , 2014 ; Kaushik et al. , 2018 ) . Functional ncRNAs are involved in the modulation of epigenetic marks , altering of messenger RNA ( mRNA ) stability , mRNA translation , alternative splicing , signal transduction and scaffolding of large macromolecular complexes ( Vandivier et al. , 2016 ) . Therefore , engineering of ncRNA molecules is of growing importance with applications ranging from biotechnology and medicine to synthetic biology ( Delebecque et al. , 2011 ; 2012 ; Guo et al. , 2010 ; Meyer et al. , 2015 ) . In fact , successful attempts to create functional RNA sequences in vitro and in vivo have been reported ( Dotu et al. , 2014 ; Wachsmuth et al. , 2013 ) . At its most basic structural form , RNA is a sequence of the four nucleotides Adenine ( A ) , Guanine ( G ) , Cytosine ( C ) and Uracile ( U ) . This nucleotide sequence is called the RNA sequence , or primary structure . While the RNA sequence serves as the blueprint , the functional structure of the RNA molecule is determined by the folding translating the RNA sequence into its 3D tertiary structure . The intrinsic thermodynamic properties of the sequence dictate the resulting fold . The hydrogen bonds formed between two corresponding nucleotides constitute one of the driving forces in the thermodynamic model and influence the tertiary structure heavily . The structure that encompasses these hydrogen bonds is commonly referred to as the secondary structure of RNA . Many algorithms for RNA tertiary structure design directly work on RNA secondary structures ( Kerpedjiev et al. , 2015 ; Zhao et al. , 2012 ; Reinharz et al. , 2012 ) . Therefore , fast and accurate algorithms for RNA secondary structure design could advance the current state of the art in RNA engineering . ∗Frederic Runge and Danny Stoll contributed equally to this work ; order determined by coinflip . The problem of finding an RNA sequence that folds into a desired secondary structure is known as the RNA Design problem or RNA inverse folding ( Hofacker et al. , 1994 ) . Most algorithms for RNA Design focus on search strategies that start with an initial nucleotide sequence and modify it to find a solution for the given secondary structure ( Hofacker et al. , 1994 ; Andronescu et al. , 2004 ; Taneda , 2011 ; Esmaili-Taheri et al. , 2014 ; Eastman et al. , 2018 ) . In contrast , in this paper we describe a novel generative deep reinforcement learning ( RL ) approach to this problem . Our contributions are as follows : • We describe LEARNA , a deep RL algorithm for RNA Design . LEARNA trains a policy network that , given a target secondary structure , can be rolled out to sequentially predict the entire RNA sequence . After generating an RNA sequence , our approach folds this sequence , locally adapts it , and uses the distance of the resulting structure to the target structure as an error signal for the RL agent . • We describe Meta-LEARNA , a version of LEARNA that learns a single policy across many RNA Design tasks directly applicable to new RNA Design tasks . Specifically , it learns a conditional generative model from which we can sample candidate RNA sequences for a given RNA target structure , solving many problems with the first sample . • Since validation in RNA Design literature is often done using undisclosed data sources ( Eastman et al. , 2018 ; Yang et al. , 2017 ) and previous benchmarks do not have a training split associated with them ( Taneda , 2011 ; Anderson-Lee et al. , 2016 ; Kleinkauf et al. , 2015 ) , we introduce a new benchmark dataset with an explicit training , validation and test split . • We jointly optimize the architecture of the policy network together with training hyperparameters and the state representation . By assessing the importance of these choices , we show that this is essential to achieve best results . To the best of our knowledge , this is the first application of architecture search ( AS ) to RL , the first application of AS to metalearning , and the first time AS is used to choose the best combination of convolutional and recurrent layers . • A comprehensive empirical analysis shows that our approach achieves new state-of-the-art performance on the two most commonly used RNA Design benchmark datasets : RfamTaneda ( following Taneda ( 2011 ) ) and Eterna100 ( following Anderson-Lee et al . ( 2016 ) ) . Furthermore , Meta-LEARNA achieves the results of the previous state-of-the-art approaches 63× and 1765× faster , respectively . 2 T H E R NA D E S I G N P R O B L E M RNA folding algorithms F map from an RNA sequence to a representation of its secondary structure . The RNA Design problem aims to find an inverse mapping for a given RNA folding algorithm F : Definition 1 ( RNA Design ) . Given a folding algorithm F and a target RNA secondary structure ω , the RNA Design problem is to find an RNA sequence φ ∈ N |ω| = { A , G , C , U } |ω| that satisfies ω = F ( φ ) . In this paper , we employ the most common folding algorithm : the Zuker algorithm ( Zuker & Stiegler , 1981 ; Zuker & Sankoff , 1984 ) , which uses a thermodynamic model to minimize the free energy to find the most stable conformation of the RNA secondary structure . We note , however , that our approach is not limited to it and would also directly apply for any other RNA folding algorithm . RNA secondary structures are often represented using the dot-bracket notation , where dots stand for unbound sites and nucleotides connected by a hydrogen bond are marked by opening and closing brackets.1 Figure 1 illustrates the RNA Design problem and the dot-bracket notation . Most algorithms for RNA Design employ a structural loss function Lω ( F ( φ ) ) to quantify the difference between the target structure ω and the structure resulting from folding an RNA sequence φ . A minimizer of this loss corresponds to a solution to the RNA Design problem for a specified target structure ω : φ∗ ∈ arg min φ∈N |ω| Lω ( F ( φ ) ) . ( 1 ) A common loss function , which we also employ in this work , is the Hamming distance ( Hamming , 1950 ) between two structures . We note that multiple RNA sequences may fold to the same secondary structure , such that the RNA Design problem does not generally have a unique solution ; one could distinguish between solutions by preferring more stable folds , targeting a specific GC content , or satisfying other constraints ; all of these could be incorporated into the loss function being optimized . 3 L E A R N I N G T O D E S I G N R NA In this section we describe our novel generative approach for the RNA Design problem based on reinforcement learning . We first formulate RNA Design as a decision process and then propose several strategies to yield agents that learn to design RNA end-to-end . 3 . 1 M O D E L L I N G R NA D E S I G N A S A D E C I S I O N P R O C E S S We propose to model the RNA Design problem with respect to a given target structure ω as the undiscounted decision processDω : = ( S , A , Rω , Pω ) ; its components ( the state space S , the action spaceA , the reward functionRω and the transition functionPω ) are specified in the paragraphs below . The RNA Design problem is defined with respect to a folding algorithm , which we denote as F ( · ) ; further , we denote the set of dot-bracket encoded RNA secondary structures with Ω . Action space In each episode , the agent has the task to design an RNA sequence that folds into the given ω ∈ Ω . To design a candidate solution φ ∈ N |ω| , the agent places nucleotides by choosing an action at at each time step t. For unpaired sites , at corresponds to one of the four RNA nucleotides ( G , C , A or U ) ; for paired sites , two nucleotides are placed simultaneously . In our formulation , these two nucleotides correspond to one of the Watson-Crick base pairs ( GC , CG , AU , or UA ) . At time step t , the action space can then be defined as A : = { 0 , 1 , 2 , 3 } ≡ { { A , G , C , U } for Cω ( t ) = . [ `` dot '' ] { GC , CG , AU , UA } for Cω ( t ) = ( [ `` opening bracket '' ] , ( 2 ) where Cω ( t ) is the t-th character of the target structure ω . There is no action for closing brackets , as the associated sites are assigned nucleotides when encountering the corresponding opening bracket . See Figure 2 for an illustration of the action rollout . State space The agent chooses an action at based on the state st provided by the environment . We formulated states to provide local information to the agent . For this we set st to the ( 2κ+ 1 ) -gram centered around the t-th site of the target structure ω , where κ is a hyperparameter we dub the state radius . To be able to construct this centered n-gram at all sites , we introduced κ padding characters at the start and the end of the target structure . Formally , the state space can then be written as S : = { 0 , 1 , 2 , 3 } 2κ+1 ≡ ( B ∪ { padding } ) 2κ+1 , ( 3 ) where B is the set of symbols in the dot-bracket notation : a dot , an opening and a closing bracket . 1There are also other notations ( Shapiro , 1988 ; Fontana et al. , 1993 ) ; our approach would also apply to these . Transition Function Since at each time step t the state st is set to a fixed ( 2κ + 1 ) -gram , the transition function Pω is deterministic and defined accordingly . Reward Function At the terminal time step T the agent has assigned nucleotides to all sites of the candidate solution φ and the environment generates the ( only non-zero ) rewardRTω ( φ ) . This reward is based on the Hamming distance dH ( F ( φ ) , ω ) between the folded candidate solution F ( φ ) and the target structure ω . We normalize this distance with respect to the sequence length |ω| to formulate the loss function Lω ( F ( φ ) ) : = dH ( F ( φ ) , ω ) / |ω| . To solve the optimization problem in Equation 1 , we set RTω ( φ ) : = ( 1− Lω ( F ( φ ) ) ) α , ( 4 ) where α > 1 is a hyperparameter to shape the reward . Additionally , we include a local improvement step to increase sample efficiency and boost performance of the stochastic RL agent as follows : If dH ( F ( φ ) , ω ) < ξ , where ξ is a hyperparameter , we search through neighboring primary sequences by exhaustively trying all combinations for the mismatched sites , returning the minimum Hamming distance observed . In our experiments , we set ξ = 5 , which corresponds to at most 44 = 256 neighboring sequences . Pseudocode for computingRTω ( φ ) can be found in Appendix A . 3 . 2 O B TA I N I N G P O L I C I E S F O R R NA D E S I G N We use deep reinforcement learning to learn the parameters θ of policy networks πθ . Our policy networks consist of an embedding layer for the input state and a deep neural network ; this neural network optionally contains convolutional , recurrent and fully-connected layers , and its precise architecture is jointly optimized together with the hyperparameters as described in Section 4 . We propose several strategies to learn the parameters θ of a given policy network as detailed below . LEARNA The LEARNA strategy learns to design a sequence for the target structure ω in an online fashion , from scratch . The parameters θ are randomly initialized before the agent episodically interacts with the decision process Dω . For updating the parameters we use the policy gradient method PPO ( Schulman et al. , 2017 ) , which was recently successfully applied to several other problems ( Heess et al. , 2017 ; Bansal et al. , 2018 ; Zoph et al. , 2018 ) . Meta-LEARNA Meta-LEARNA uses a meta-learning approach ( Lemke et al. , 2015 ) that views the RNA Design problems associated with the target structures in the training set Ωtrain as tasks and learns to transfer knowledge across them . Each of the target structures ωi ∈ Ωtrain defines a different decision process Dωi ; using asynchronous parallel PPO updates , we train a single policy network on all of these . Once the training is finished , the parameters θ are fixed and πθ can be applied to the decision process Dω by sampling from the learned generative model . Meta-LEARNA-Adapt Meta-LEARNA-Adapt combines the previous two strategies : First , we obtain an initialization for the parameters θ by running Meta-LEARNA on Ωtrain . Then , when applied to the decision process Dω , the parameters θ are further adapted using the LEARNA strategy . 4 J O I N T A R C H I T E C T U R E A N D H Y P E R PA R A M E T E R S E A R C H One problem of current deep reinforcement learning methods is that their performance can be very sensitive to choices regarding the architecture of the policy network , the training hyperparameters , and the formulation of the problem as a decision process ( Henderson et al. , 2017 ) . Therefore , we propose to use techniques from the field of automatic machine learning ( Hutter et al. , 2019 ) , in particular an efficient Bayesian optimization method ( Falkner et al. , 2018 ) , to address the problems of architecture search ( AS ) ( Zoph & Le , 2017 ; Elsken et al. , 2018 ) and hyperparameter optimization as a joint optimization problem . To automatically select the best neural architecture based on data , we define a search space that includes both elements of convolutional neural networks ( CNNs ) and recurrent neural networks ( RNNs ) and let the optimizer choose the best combination of the two . In this section , we present our representation of the search space and describe our approach to optimizing performance . 4 . 1 S E A R C H S PA C E Our search space has three components described in the following : choices about the policy network ’ s architecture , environment parameters ( including the representation of the state and the reward ) , and training hyperparameters . Neural Architecture We construct the architecture of our policy network as follows : ( 1 ) the dot bracket representation of the state is either binary encoded ( distinguishing between paired and unpaired sites ) or processed by an embedding layer that converts the symbol-based representation into a learnable numerical one for each site . Then , ( 2 ) an optional CNN with at most two layers can be selected , followed by ( 3 ) an optional LSTM with at most two layers . Finally , we always add ( 4 ) a shallow fully-connected network with one or two layers , which outputs the distribution over actions . This parameterization covers a broad range of possible neural architectures while keeping the dimensionality of the search space relatively modest ( similar to what is achieved by the focus on cell spaces ( Zoph et al. , 2018 ) in the recent literature on architecture search ) . Environment Parameters Since our ultimate goal is not to solve a specific decision process ( DP ) , but to use the best DP for solving our problem , we also optimize parameters concerning the state representation and the reward : We optimize the number of sites symmetrically centered around the current one via the state radius κ ( see Section 3.1 ) , and the shape of the reward via the parameter α ( see Equation 4 ) . Training Hyperparameters Since the performance of neural networks strongly depends on the training hyperparameters governing optimization and regularization , we optimized some of the parameters of PPO , which we employ for training the network : learning rate , batch size , and strength of the entropy regularization . Overall , these design choices yield a 14-dimensional search space comprising mostly integer variables . The complete list of parameters , their types , ranges , and the priors we used over them can be found in Appendix E. We used almost identical search spaces for LEARNA and Meta-LEARNA , but adapted the ranges for the learning rate and the entropy regularization slightly based on preliminary experiments . Please refer to Tables 3 and 4 in Appendix E for more details . 4 . 2 S E A R C H P R O C E D U R E We now describe how we optimized performance in the search space described above . We chose the recently-proposed optimizer BOHB ( Falkner et al. , 2018 ) to find good configurations , because it can handle mixed discrete/continuous spaces , utilize parallel resources , and additionally can exploit cheap approximations of the objective function to speed up the optimization . These so-called lowfidelity approximations can be achieved in numerous ways , e.g. , limiting the training time , the number of independent repetitions of the evaluations , or using only fractions of the data . In our setting , we decided to limit the wall-clock time for training ( Meta-LEARNA ) or the evaluations ( LEARNA ) . For a detailed description of the limits , we refer to Appendix E. Datasets To properly optimize the listed design choices without overfitting , we needed a designated training and validation dataset . However , previous benchmarks used in the RNA Design literature do not provide a train/validation/test split . This led us to create the benchmark Rfam-Learn based on the Rfam database version 13.0 ( Kalvari et al. , 2017 ) , by employing the protocol described in Appendix B . All datasets we used for this paper are listed in detail in Appendix D , however , we note that all our approaches were optimized using only our newly introduced training and validation sets ( Rfam-Learn-Train and Rfam-Learn-Validation ) . Budgets Due to the very different standardized evaluation timeouts of the benchmarks we report on ( 10 minutes for Rfam-Taneda and up to 24 hours for Eterna100 ) , we experimented with different budgets for LEARNA . In particular , we ran our optimization with a 10-minute and a 30-minute evaluation timeout ( the former matching the Rfam-Taneda limit , the latter being larger , but still computationally far more manageable than a 24 hour budget per sequence ) . After the optimization , we evaluated both alternatives on our full validation set with a limit of 1 hour with the following modification that we also used when evaluating on the Eterna100 and Rfam-Learn-Test benchmarks : matching the evaluation timeout during optimization , every 10 or 30 minutes , the policy network and all internal variables of PPO are reinitialized , i.e. , we perform a restart of the algorithm to overcome occasional stagnation of PPO . We found the 30-minute variant to perform better , and refer to this as LEARNA throughout the rest of the paper . Objective Despite the fact that RL is known to often yield noisy or unreliable outcomes in single optimization runs ( Henderson et al. , 2017 ) , we actively decided to only use a single optimization run and a single validation set for each configuration to keep the optimization manageable . To counteract the problems associated with single ( potentially ) noisy observations , we studied three different loss functions for the hyperparameter optimization : ( a ) The number of unsolved sequences , ( b ) the sum of mean distances , and ( c ) the sum of minimum distances to the target structure . While we ultimately seek to minimize ( a ) , this is a rather noisy and discrete quantity . In preliminary experiments , optimizing ( b ) turned out to be inferior to ( c ) , presumably because the former punishes exploration by the agent more , while the latter rewards ultimately getting close to the solution . Therefore , we used ( c ) during the optimization , but picked the final configuration using ( a ) among the top five configurations . All of these evaluations were based on the validation set . 5 R E L AT E D W O R K Architecture and Hyperparameter Search Mendoza et al . ( 2016 ) and Zela et al . ( 2018 ) previously studied joint architecture search and hyperparameter optimization . Here , we adapted this approach for the use in deep RL and to a richer space of architectures . Although RL has been used for performing architecture search ( Zoph & Le , 2017 ; Mortazi & Bagci , 2018 ) and joint architecture and hyperparameter search ( Wong et al. , 2018 ) , to the best of our knowledge , this paper is the first application of the reverse : architecture search for RL . For detailed reviews on architecture search and hyperparameter optimization , we refer to Elsken et al . ( 2018 ) and Feurer & Hutter ( 2018 ) , respectively . Matter Engineering Variational autoencoders , generative adversarial networks and reinforcement learning have recently shown promising results in protein design and other related problems in matter engineering ( Gupta & Zou , 2018 ; Greener et al. , 2018 ; Olivecrona et al. , 2017 ) . For a detailed review on machine learning approaches in the field of matter engineering , we refer to Sanchez-Lengeling & Aspuru-Guzik ( 2018 ) . In recent work related to RNA Design , a convolutional neural network based auto-encoder with additional supervised fine tuning was proposed to score on-target and off-target efficacy of guide RNAs for the genome editing technique CRISPR/CAS9 ( Chuai et al. , 2018 ) . This automated efficacy scoring could inform future endeavours in designing guide RNAs . Our work adds evidence for the competitiveness of generative machine learning methods in this general problem domain . RNA Design Most algorithms targeting the RNA Design problem are either local or global algorithms . Local approaches commonly operate on a single sequence and try to find a solution by changing a small number of nucleotides at a time , guided by the loss function ( RNAInverse ( Hofacker et al. , 1994 ) , RNA-SSD ( Andronescu et al. , 2004 ) , INFO-RNA ( Busch & Backofen , 2006 ) , NUPACK ( Dirks & Pierce , 2004 ; Zadeh et al. , 2010 ) , ERD ( Esmaili-Taheri et al. , 2014 ) and the approach by Eastman et al . ( 2018 ) ) . Global methods , on the other hand , either have a large number of candidates being manipulated , or model a global distribution from which samples are generated ( MODENA ( Taneda , 2011 ) , antaRNA ( Kleinkauf et al. , 2015 ) and MCTS-RNA ( Yang et al. , 2017 ) ) . A more detailed review can be found in Churkin et al . ( 2017 ) . RNA Design Using Human Solutions Very recently , another , less general direction to RNA Design imposed a prior of human knowledge onto the agent ( Shi et al. , 2018 ) . In this approach , a large ensemble of models is trained on human solutions to manually designed RNA Design problems . Further , for refinement of the candidate solution , an adaptive walk procedure using human strategies is used , incorporating deep domain-knowledge guiding the agent ’ s behaviour . Totalized results over all models of the ensemble were reported on the Eterna100 benchmark ( Anderson-Lee et al. , 2016 ) , which solely consists of manually designed RNA Design problems , and which we also report on here . Although the approach showed good results in this one benchmark , human solutions and strategies were not available for our further benchmarks derived from natural RNA structures , and due to computational costs we could not include this work in our comparison . RL for Combinatorial Problems The work by Bello et al . ( 2016 ) heavily influenced our work . In it , the authors apply RL to combinatorial problems , namely the Traveling Salesman Problem . The agent proposes complete solutions rather than manipulating an existing one , and it is trained using an episodic reward , in this case the negative tour length . Inspired by this work , we propose to frame the RNA Design problem as a RL problem where each candidate solution is designed from scratch . In our approach , the agent predicts which nucleotides to place next into the sequence , learning to design RNA end-to-end . RL for RNA Design Our generative approach is in stark contrast to the recent work Eastman et al . ( 2018 ) carried out in parallel to and independently from ours . Eastman et al . used RL to perform a local search starting from a randomly initialized sequence . The RL agent applies local modifications to design a solution that folds into the desired target structure . The current sequence constitutes the state and each action represents changing an unpaired nucleotide or a pair of nucleotides . After each action the current sequence is evaluated utilizing the Zuker algorithm ( Zuker & Stiegler , 1981 ; Zuker & Sankoff , 1984 ) and the agent only receives a nonzero reward signal once it finds a correct sequence . The agent ’ s policy is a convolutional neural network pre-trained on fixed-length , randomly generated sequences . In the remainder of the paper , we refer to this approach as RL-LS , since the RL agent performs a local search . 6 E X P E R I M E N T S We evaluate our approaches against state-of-the-art methods and perform an ablation study to assess the importance of our method ’ s components . We report results on two established benchmarks from the literature and on our own benchmark . Full information on the three benchmarks is given in Appendix D. For each benchmark , we followed its standard evaluation protocol , performing multiple attempts ( in the following referred to as evaluation runs ) with a fixed time limit for each target structure . For each benchmark , we report the accumulated number of solved targets across all evaluation runs and provide means and standard deviations around the mean for all experiments . All methods were compared on the same hardware , each allowed one CPU core per evaluation of a single target structure . The methods we compare to either do not have clear/exposed hyperparameters ( RNAinverse ) , or were optimized by the original authors ( antaRNA , RL-LS , and MCTS-RNA ) ; all methods – including our own – might benefit from further optimization of their hyperparameters for specific benchmarks . Details concerning the used software and hardware are listed in Appendix C. 6 . 1 C O M PA R AT I V E S T U D Y The results of our comparative study , summarized in Table 1 and Figure 3 , are as follows . Eterna100 Solving up to 68 % ( Meta-LEARNA and Meta-LEARNA-Adapt ) of the target structures , all our approaches achieve clear new state-of-the-art results on the Eterna100 benchmark . Additionally , Meta-LEARNA only needs about 25 seconds to reach the final performance of any other method ( ≈ 1765× faster ) and achieves new state-of-the-art results in less than 30 seconds . This performance is stable through all of the five evaluation runs performed . Remarkably , all versions of our approach already achieve new state-of-the-art performance in each single evaluation run ( see Appendix I ) . Rfam-Taneda Concerning the Rfam-Taneda benchmark , LEARNA is on par with the current stateof-the-art results of MCTS-RNA after 110 seconds ( ≈ 2× faster ) . Meta-LEARNA and Meta-LEARNAAdapt achieve this previous state-of-the-art performance in less than 5 seconds ( ≈ 63× faster ) and new state-of-the-art results after 400 seconds and 90 seconds , respectively ( see Appendix J ) , solving 83 % of the target structures . Rfam-Learn Only Meta-LEARNA and antaRNA were able to solve all of the target structures ( in 29 minutes and 20 minutes , respectively ) . Except for RL-LS , all algorithms could solve at least 95 % of the target structures . In summary , our novel deep reinforcement learning algorithm achieved the best performance on all of the three benchmarks while being much faster than all other algorithms on the two benchmarks from the literature ( Eterna100 and Rfam-Taneda ) . Our meta-learning approach Meta-LEARNA learned a representation of the dynamics underlying RNA Design and is capable of transferring this knowledge to new RNA Design tasks . As our additional analysis in Appendix H shows , it also scales better with sequence length than existing approaches . For a detailed list of the performance of all algorithms on specific target structures , we refer to the detail tables in Appendix K. 6 . 2 A B L AT I O N S T U D Y A N D PA R A M E T E R I M P O R TA N C E To study the influence of the different components and parameters on the performance of our approach , we performed an ablation study and a functional analysis of variance ( fANOVA ) ( Hooker , 2007 ; Hutter et al. , 2014 ) . Ablation Study For the ablation , we excluded either the adaptation option , the local improvement step , or the restart option . For all variants of our approach we observed a clear boost in performance from the local improvement step , while the other components tended to have a smaller impact ( see Figure 8 in Appendix G ) . We note that we believe the local improvement step could also benefit other generative approaches , such as MCTS-RNA . The restart option only boosted performance on the Eterna100 benchmark , with considerably harder instances and a much longer runtime ( see Figure 9 in Appendix G ) . As already apparent from our comparative study ( Section 6.1 ) , the continued adaptation ( Meta-LEARNA-Adapt ) of the learned parameters did not improve performance . This might be due to us not having optimized hyperparameters for this variant , but simply having reused the same settings as for Meta-LEARNA . Parameter Importance The fANOVA results highlight the importance of parameters from all three components of the search space mentioned in Section 4 . This emphasizes the importance of the joint optimization of the policy network ’ s architecture , the environment parameters and the training hyperparameters . All results and a more detailed discussion of our ablation study and the fANOVA results can be found in Appendix G and F , respectively . 7 C O N C L U S I O N We proposed the deep reinforcement learning algorithm LEARNA for the RNA Design problem to sequentially construct candidate solutions in an end-to-end fashion . By pre-training on a large corpus of biological sequences , a local improvement step to aid the agent , and extensive architecture and hyperparameter optimization , we arrived at Meta-LEARNA , a ready-to-use agent that achieves stateof-the-art results on the Eterna100 ( Anderson-Lee et al. , 2016 ) and the Rfam-Taneda benchmark ( Taneda , 2011 ) . Our ablation study shows the importance of all components , suggesting that RL with an additional local improvement step can solve the RNA Design problem efficiently . Code and data for reproducing our results is available at https : //github.com/automl/learna . A C K N O W L E D G M E N T S This work was supported by the European Research Council ( ERC ) under the European Union ’ s Horizon 2020 research and innovation programme under grant no . 716721 , and by the German Research Foundation ( DFG ) , under the BrainLinksBrainTools Cluster of Excellence ( grant number EXC 1086 ) . The authors acknowledge support by the state of Baden-Württemberg through bwHPC and the DFG through grant no . INST 39/963-1 FUGG . R E F E R E N C E S Martín Abadi , Ashish Agarwal , Paul Barham , Eugene Brevdo , Zhifeng Chen , Craig Citro , Greg S. Corrado , Andy Davis , Jeffrey Dean , Matthieu Devin , Sanjay Ghemawat , Ian Goodfellow , Andrew Harp , Geoffrey Irving , Michael Isard , Yangqing Jia , Rafal Jozefowicz , Lukasz Kaiser , Manjunath Kudlur , Josh Levenberg , Dandelion Mané , Rajat Monga , Sherry Moore , Derek Murray , Chris Olah , Mike Schuster , Jonathon Shlens , Benoit Steiner , Ilya Sutskever , Kunal Talwar , Paul Tucker , Vincent Vanhoucke , Vijay Vasudevan , Fernanda Viégas , Oriol Vinyals , Pete Warden , Martin Wattenberg , Martin Wicke , Yuan Yu , and Xiaoqiang Zheng . TensorFlow : Large-scale machine learning on heterogeneous systems , 2015 . URL https : //www.tensorflow.org/ . Software available from tensorflow.org . Jeff Anderson-Lee , Eli Fisker , Vineet Kosaraju , Michelle Wu , Justin Kong , Jeehyung Lee , Minjae Lee , Mathew Zada , Adrien Treuille , and Rhiju Das . Principles for predicting RNA secondary structure design difficulty . Journal of molecular biology , 428 ( 5 ) :748–757 , 2016 . Mirela Andronescu , Anthony P. Fejes , Frank Hutter , Holger H. Hoos , and Anne Condon . A New Algorithm for RNA Secondary Structure Design . Journal of Molecular Biology , 336 ( 3 ) : 607–624 , 2004 . ISSN 0022-2836. doi : https : //doi.org/10.1016/j.jmb.2003.12.041 . URL http : //www.sciencedirect.com/science/article/pii/S0022283603015596 . Trapit Bansal , Jakub Pachocki , Szymon Sidor , Ilya Sutskever , and Igor Mordatch . Emergent complexity via multi-agent competition . In Proceedings of the International Conference on Learning Representations ( ICLR ’ 18 ) , 2018 . Published online : iclr.cc . Irwan Bello , Hieu Pham , Quoc V Le , Mohammad Norouzi , and Samy Bengio . Neural combinatorial optimization with reinforcement learning . arXiv preprint arXiv:1611.09940 , 2016 . Anke Busch and Rolf Backofen . INFO-RNA—a fast approach to inverse RNA folding . Bioinformatics , 22 ( 15 ) :1823–1831 , 2006. doi : 10.1093/bioinformatics/btl194 . URL http : //dx.doi.org/10.1093/bioinformatics/btl194 . Guohui Chuai , Hanhui Ma , Jifang Yan , Ming Chen , Nanfang Hong , Dongyu Xue , Chi Zhou , Chenyu Zhu , Ke Chen , Bin Duan , Feng Gu , Sheng Qu , Deshuang Huang , Jia Wei , and Qi Liu . Deepcrispr : optimized crispr guide rna design by deep learning . Genome Biology , 19 ( 1 ) :80 , Jun 2018 . ISSN 1474-760X . doi : 10.1186/s13059-018-1459-4 . URL https : //doi.org/10.1186/s13059-018-1459-4 . Alexander Churkin , Matan Drory Retwitzer , Vladimir Reinharz , Yann Ponty , Jérôme Waldispühl , and Danny Barash . Design of rnas : comparing programs for inverse rna folding . Briefings in bioinformatics , 19 ( 2 ) :350–358 , 2017 . Camille J. Delebecque , Ariel B. Lindner , Pamela A . Silver , and Faisal A. Aldaye . Organization of Intracellular Reactions with Rationally Designed RNA Assemblies . Science , 333 ( 6041 ) :470– 474 , 2011 . ISSN 0036-8075. doi : 10.1126/science.1206938 . URL http : //science . sciencemag.org/content/333/6041/470 . CJ Delebecque , PA Silver , and AB Lindner . Designing and using RNA scaffolds to assemble proteins in vivo . Nature Protocols , 7 ( 10 ) :1797–807 , 2012. doi : 10.1038/nprot.2012.102 . Robert M. Dirks and Niles A . Pierce . An Algorithm for Computing Nucleic Acid Base-Pairing Probabilities Including Pseudoknots . Journal of Computational Chemistry , 25 ( 10 ) :295—-1304 , 2004. doi : 10.1002/jcc.20057 . Ivan Dotu , Juan Antonio Garcia-Martin , Betty L. Slinger , Vinodh Mechery , Michelle M. Meyer , and Peter Clote . Complete RNA inverse folding : computational design of functional hammerhead ribozymes . Nucleic Acids Research , 42 ( 18 ) :11752–11762 , 2014. doi : 10.1093/nar/gku740 . URL http : //dx.doi.org/10.1093/nar/gku740 . Peter Eastman , Jade Shi , Bharath Ramsundar , and Vijay S Pande . Solving the RNA design problem with reinforcement learning . PLoS computational biology , 14 ( 6 ) : e1006176 , 2018 . Thomas Elsken , Jan Hendrik Metzen , and Frank Hutter . Neural Architecture Search : A Survey . ArXiv e-prints , August 2018 . ENCODE Project Consortium and others . The ENCODE ( encyclopedia of DNA elements ) project . Science , 306 ( 5696 ) :636–640 , 2004 . Ali Esmaili-Taheri , Mohammad Ganjtabesh , and Morteza Mohammad-Noori . Evolutionary solution for the RNA design problem . Bioinformatics , 30 ( 9 ) :1250–1258 , 2014. doi : 10 . 1093/bioinformatics/btu001 . URL http : //dx.doi.org/10.1093/bioinformatics/ btu001 . Stefan Falkner , Aaron Klein , and Frank Hutter . BOHB : Robust and efficient hyperparameter optimization at scale . In Proceedings of the 35th International Conference on Machine Learning ( ICML 2018 ) , pp . 1436–1445 , July 2018 . Matthias Feurer and Frank Hutter . Hyperparameter optimization . In Frank Hutter , Lars Kotthoff , and Joaquin Vanschoren ( eds . ) , AutoML : Methods , Sytems , Challenges , chapter 1 , pp . 3–37 . Springer , December 2018 . To appear . Walter Fontana , Peter F. Stadler , Erich G. Bornberg-Bauer , Thomas Griesmacher , Ivo L. Hofacker , Manfred Tacker , Pedro Tarazona , Edward D. Weinberger , and Peter Schuster . Rna folding and combinatory landscapes . Phys . Rev . E , 47:2083–2099 , Mar 1993. doi : 10.1103/PhysRevE.47 . 2083 . URL https : //link.aps.org/doi/10.1103/PhysRevE.47.2083 . Joe G Greener , Lewis Moffat , and David T Jones . Design of metalloproteins and novel protein folds using variational autoencoders . Scientific reports , 8 ( 1 ) :16189 , 2018 . Ronald Gstir , Simon Schafferer , Marcel Scheideler , Matthias Misslinger , Matthias Griehl , Nina Daschil , Christian Humpel , Gerald J. Obermair , Claudia Schmuckermair , Joerg Striessnig , Bernhard E. Flucher , and Alexander Hüttenhofer . Generation of a neuro-specific microarray reveals novel differentially expressed noncoding RNAs in mouse models for neurodegenerative diseases . RNA , 20 ( 12 ) :1929–1943 , 2014 . Peixuan Guo , Oana Coban , Nicholas M. Snead , Joe Trebley , Steve Hoeprich , Songchuan Guo , and Yi Shu . Engineering RNA for Targeted siRNA Delivery and Medical Application . Advanced Drug Delivery Reviews , 62 ( 6 ) :650 – 666 , 2010 . ISSN 0169-409X . doi : https : //doi . org/10.1016/j.addr.2010.03.008 . URL http : //www.sciencedirect.com/science/ article/pii/S0169409X10000773 . From Biology to Materials : Engineering DNA and RNA for Drug Delivery and Nanomedicine . Anvita Gupta and James Zou . Feedback gan ( fbgan ) for dna : a novel feedback-loop architecture for optimizing protein functions . arXiv preprint arXiv:1804.01694 , 2018 . R. W. Hamming . Error detecting and error correcting codes . The Bell System Technical Journal , 29 ( 2 ) :147–160 , April 1950 . ISSN 0005-8580. doi : 10.1002/j.1538-7305.1950.tb00463.x . Nicolas Heess , Dhruva TB , Srinivasan Sriram , Jay Lemmon , Josh Merel , Greg Wayne , Yuval Tassa , Tom Erez , Ziyu Wang , S. M. Ali Eslami , Martin A. Riedmiller , and David Silver . Emergence of locomotion behaviours in rich environments . CoRR , abs/1707.02286 , 2017 . URL http : //arxiv.org/abs/1707.02286 . Peter Henderson , Riashat Islam , Philip Bachman , Joelle Pineau , Doina Precup , and David Meger . Deep reinforcement learning that matters . arXiv preprint arXiv:1709.06560 , 2017 . Ivo Hofacker , Walter Fontana , Peter Stadler , Sebastian Bonhoeffer , Manfred Tacker , and Peter Schuster . Fast Folding and Comparison of RNA Secondary Structures . Monatshefte fuer Chemie/Chemical Monthly , 125:167–188 , 02 1994 . Giles Hooker . Generalized functional ANOVA diagnostics for high-dimensional functions of dependent variables . Journal of Computational and Graphical Statistics , 16 ( 3 ) :709–732 , 2007 . F. Hutter , H. Hoos , and K. Leyton-Brown . An efficient approach for assessing hyperparameter importance . In E. Xing and T. Jebara ( eds . ) , Proceedings of the 31th International Conference on Machine Learning , ( ICML ’ 14 ) , pp . 754–762 . Omnipress , 2014 . Frank Hutter , Lars Kotthoff , and Joaquin Vanschoren ( eds. ) . Automated Machine Learning : Methods , Systems , Challenges . Springer , 2019 . In press , available at http : //automl.org/book . Ioanna Kalvari , Joanna Argasinska , Natalia Quinones-Olvera , Eric P Nawrocki , Elena Rivas , Sean R Eddy , Alex Bateman , Robert D Finn , and Anton I Petrov . Rfam 13.0 : shifting to a genome-centric resource for non-coding RNA families . Nucleic acids research , 46 ( D1 ) : D335–D342 , 2017 . Kriti Kaushik , Ambily Sivadas , Shamsudheen Karuthedath Vellarikkal , Ankit Verma , Rijith Jayarajan , Satyaprakash Pandey , Tavprithesh Sethi , Souvik Maiti , Vinod Scaria , and Sridhar Sivasubbu . RNA secondary structure profiling in zebrafish reveals unique regulatory features . BMC Genomics , 20:147 , 2018 . P Kerpedjiev , C Höner zu Siederdissen , and IL Hofacker . Predicting RNA 3D structure using a coarse-grain helix-centered model . RNA , 21 ( 6 ) :1110–1121 , 2015. doi : 10.1261/rna.047522.114 . Robert Kleinkauf , Torsten Houwaart , Rolf Backofen , and Martin Mann . antaRNA–Multi-objective inverse folding of pseudoknot RNA using ant-colony optimization . BMC bioinformatics , 16 ( 1 ) : 389 , 2015 . Christiane Lemke , Marcin Budka , and Bogdan Gabrys . Metalearning : a survey of trends and technologies . 44 ( 1 ) :117–130 , Jun 2015 . Ronny Lorenz , Stephan H. Bernhart , Christian Höner zu Siederdissen , Hakim Tafer , Christoph Flamm , Peter F. Stadler , and Ivo L. Hofacker . Viennarna package 2.0 . Algorithms for Molecular Biology , 6 ( 1 ) :26 , Nov 2011a . ISSN 1748-7188. doi : 10.1186/1748-7188-6-26 . URL https : //doi.org/10.1186/1748-7188-6-26 . Ronny Lorenz , Stephan H Bernhart , Christian Hoener Zu Siederdissen , Hakim Tafer , Christoph Flamm , Peter F Stadler , and Ivo L Hofacker . Viennarna package 2.0 . Algorithms for Molecular Biology , 6 ( 1 ) :26 , 2011b . H. Mendoza , A. Klein , M. Feurer , J. Springenberg , and F. Hutter . Towards automatically-tuned neural networks . In ICML 2016 AutoML Workshop , 2016 . Sarai Meyer , James Chappell , Sitara Sankar , Rebecca Chew , and Julius B. Lucks . Improving fold activation of small transcription activating RNAs ( STARs ) with rational RNA engineering strategies . Biotechnology and Bioengineering , 113 ( 1 ) :216–225 , 2015. doi : 10.1002/bit.25693 . URL https : //onlinelibrary.wiley.com/doi/abs/10.1002/bit.25693 . Aliasghar Mortazi and Ulas Bagci . Automatically designing cnn architectures for medical image segmentation . In Yinghuan Shi , Heung-Il Suk , and Mingxia Liu ( eds . ) , Machine Learning in Medical Imaging , pp . 98–106 , Cham , 2018 . Springer International Publishing . ISBN 978-3-030- 00919-9 . Marcus Olivecrona , Thomas Blaschke , Ola Engkvist , and Hongming Chen . Molecular de-novo design through deep reinforcement learning . Journal of cheminformatics , 9 ( 1 ) :48 , 2017 . Vladimir Reinharz , François Major , and Jérôme Waldispühl . Towards 3d structure prediction of large rna molecules : an integer programming framework to insert local 3d motifs in rna secondary structure . Bioinformatics , 28 ( 12 ) : i207–i214 , 2012. doi : 10.1093/bioinformatics/bts226 . URL http : //dx.doi.org/10.1093/bioinformatics/bts226 . Benjamin Sanchez-Lengeling and Alán Aspuru-Guzik . Inverse molecular design using machine learning : Generative models for matter engineering . Science , 361 ( 6400 ) :360–365 , 2018 . ISSN 0036-8075. doi : 10.1126/science.aat2663 . URL http : //science.sciencemag.org/ content/361/6400/360 . Michael Schaarschmidt , Alexander Kuhnle , and Kai Fricke . Tensorforce : A tensorflow library for applied reinforcement learning . Web page , 2017 . URL https : //github.com/ reinforceio/tensorforce . John Schulman , Filip Wolski , Prafulla Dhariwal , Alec Radford , and Oleg Klimov . Proximal Policy Optimization Algorithms . CoRR , abs/1707.06347 , 2017 . URL http : //arxiv.org/abs/ 1707.06347 . Bruce A Shapiro . An algorithm for comparing multiple rna secondary structures . Bioinformatics , 4 ( 3 ) :387–393 , 1988 . Jade Shi , Rhiju Das , and Vijay S Pande . Sentrna : Improving computational rna design by incorporating a prior of human design strategies . arXiv preprint arXiv:1803.03146 , 2018 . Akito Taneda . MODENA : a multi-objective RNA inverse folding . Advances and applications in bioinformatics and chemistry : AABC , 4:1 , 2011 . Lee E. Vandivier , Stephen J. Anderson , Shawn W. Foley , and Brian D. Gregory . The conservation and function of RNA secondary structure in plants . Annual review of plant biology , 67:463–488 , 2016 . Manja Wachsmuth , Sven Findeiß , Nadine Weissheimer , Peter F. Stadler , and Mario Mörl . De novo design of a synthetic riboswitch that regulates transcription termination . Nucleic Acids Research , 41 ( 4 ) :2541–2551 , 2013. doi : 10.1093/nar/gks1330 . URL http : //dx.doi.org/10.1093/ nar/gks1330 . Catherine Wong , Neil Houlsby , Yifeng Lu , and Andrea Gesmundo . Transfer learning with neural automl . In Advances in Neural Information Processing Systems , pp . 8366–8375 , 2018 . Xiufeng Yang , Kazuki Yoshizoe , Akito Taneda , and Koji Tsuda . RNA inverse folding using Monte Carlo tree search . BMC bioinformatics , 18 ( 1 ) :468 , 2017 . Joseph N. Zadeh , Conrad D. Steenberg , Justin S. Bois , Brian R. Wolfe , Marshall B . Pierce , Asif R. Khan , Robert M. Dirks , and Niles A . Pierce . Nupack : Analysis and design of nucleic acid systems . Journal of Computational Chemistry , 32 ( 1 ) :170–173 , 2010. doi : 10.1002/jcc.21596 . URL https : //onlinelibrary.wiley.com/doi/abs/10.1002/jcc.21596 . Arber Zela , Aaron Klein , Stefan Falkner , and Frank Hutter . Towards automated deep learning : Efficient joint neural architecture and hyperparameter search . In ICML 2018 AutoML Workshop , July 2018 . Y Zhao , Y Huang , Z Gong , Y Wang , J Man , and Y Xiao . Automated and fast building of threedimensional RNA structures . Scientific Reports , 2 ( 734 ) , 2012. doi : 10.1038/srep00734 . B. Zoph and Q. V. Le . Neural architecture search with reinforcement learning . In Proceedings of the International Conference on Learning Representations ( ICLR ’ 17 ) , 2017 . Published online : iclr.cc . B. Zoph , V. Vasudevan , J. Shlens , and Q. V. Le . Learning transferable architectures for scalable image recognition . In Proceedings of the International Conference on Computer Vision and Pattern Recognition ( CVPR ’ 18 ) , 2018 . M Zuker and P. Stiegler . Optimal computer folding of large RNA sequences using thermodynamics and auxiliary information . Nucleic Acids Research , 9 ( 1 ) :133–148 , 1981 . Michael Zuker and David Sankoff . RNA secondary structures and their prediction . Bulletin of Mathematical Biology , 46 ( 4 ) :591 – 621 , 1984 . ISSN 0092-8240. doi : https : //doi.org/ 10.1016/S0092-8240 ( 84 ) 80062-2 . URL http : //www.sciencedirect.com/science/ article/pii/S0092824084800622 . A P S E U D O C O D E F O R C O M P U T I N G T H E R E WA R D Algorithm 1 : Local improvement step ( LIS ) using Hamming distance dH ( · , · ) and folding algorithm F ( · ) . input : designed solution φ , target structure ω , initial Hamming distance δ output : locally improved distance 1 ∆← ∅ 2 nucleotide_combinations← { A , G , U , C } δ 3 candidate_solutions← replaceMismatchedSites ( φ , ω , nucleotide_combinations ) 4 foreach ψ ∈ candidate_solutions do 5 δ ← dH ( F ( ψ ) , ω ) 6 if δ = 0 then 7 return δ 8 end 9 ∆← ∆ ∪ { δ } 10 end 11 return min ∆ Algorithm 2 : Computing rewardRTω ( φ ) using LIS ( Algorithm 1 ) , Hamming distance dH ( · , · ) and folding algorithm F ( · ) . input : designed solution φ , target structure ω , LIS cut-off parameter ξ output : rewardRTω ( φ ) 1 δ← dH ( F ( φ ) , ω ) 2 if δ = 0 then 3 return δ 4 else if δ < ξ then 5 δ← LIS ( φ , ω , δ ) 6 end 7 Lω ← δ / |ω| 8 return ( 1− Lω ) α

Summary: This work tackles the difficult RNA design problem, i.e. that of finding a RNA primary sequence that is going to fold into a secondary/tertiary structure able to perform a desired biological function. More specifically, it used Reinforcement Learning (RL) to find the best sequence that will fold into a target secondary structure, using the Zuker algorithm and designing a new primary sequence 'from scratch'. A new benchmark data set is also introduced in the paper along .