( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Learning to Format Coq Code Using Language Models.

, , , и . CoRR, (2020)

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.

Milos Horvath

Milos Jovanovic

Milos Puzovic

Alesia Miloslavina

Yuliya Miloslavina

 

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

Multi-Criteria Fuzzy-Stochastic Diffusion Model of Groundwater Control System Selection., , , , и . Symmetry, 11 (5): 705 (2019)Unifying execution of imperative generators and declarative specifications., , , , , и . Proc. ACM Program. Lang., 4 (OOPSLA): 217:1-217:26 (2020)The Java Pathfinder Workshop 2019., , , , , , , , , и 28 other автор(ы). ACM SIGSOFT Softw. Eng. Notes, 45 (2): 20-22 (2020)Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration., , , и . AST@ICSE, стр. 115-125. ACM/IEEE, (2022)Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves., , , , и . AAAI Workshops, том WS-18 из AAAI Technical Report, стр. 775-778. AAAI Press, (2018)A performance portability framework for Python., , , и . ICS, стр. 467-478. ACM, (2021)Practical Machine-Checked Formalization of Change Impact Analysis., , и . TACAS (2), том 12079 из Lecture Notes in Computer Science, стр. 137-157. Springer, (2020)Learning to Update Natural Language Comments Based on Code Changes., , , , и . ACL, стр. 1853-1868. Association for Computational Linguistics, (2020)Dynamic Generation of Python Bindings for HPC Kernels., , , и . ASE, стр. 92-103. IEEE, (2021)Deep Generation of Coq Lemma Names Using Elaborated Terms., , , и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 97-118. Springer, (2020)