From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Designing Neural Networks Using Logical Specs., , и . ISSRE, стр. 160-171. IEEE, (2020)Neural Program Repair by Jointly Learning to Localize and Repair., , , , и . ICLR (Poster), OpenReview.net, (2019)Porting of run-time environment for Lua-based applications., , , и . ICCE-Berlin, стр. 128-131. IEEE, (2015)CRNs Exposed: Systematic Exploration of Chemical Reaction Networks., , и . CoRR, (2019)CRN++: Molecular programming language., , и . Nat. Comput., 19 (2): 391-407 (2020)MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning., , , , , и . Neural Networks, (2022)CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks., , и . DNA, том 174 из LIPIcs, стр. 4:1-4:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Programming and Training Rate-Independent Chemical Reaction Networks., , , , и . CoRR, (2021)A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)., , , , , и . CoRR, (2019)MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees., , , , , и . CoRR, (2019)