( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Exploration of neural machine translation in autoformalization of mathematics in Mizar.

, , , и . CPP, стр. 85-98. ACM, (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.

Cezary Miller

Cezary Iwan

Cezary Sydlo

Cezary Rosenberger

Cezary Slominski

 

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

Computing with Classical Real Numbers, и . CoRR, (2008)Monte Carlo Tableau Proof Search., , и . CADE, том 10395 из Lecture Notes in Computer Science, стр. 563-579. Springer, (2017)The Isabelle ENIGMA., , , , , и . ITP, том 237 из LIPIcs, стр. 16:1-16:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Initial Experiments with Statistical Conjecturing over Large Formal Corpora., , и . FM4M/MathUI/ThEdu/DP/WIP@CIKM, том 1785 из CEUR Workshop Proceedings, стр. 219-228. CEUR-WS.org, (2016)Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic., и . CICM, том 10383 из Lecture Notes in Computer Science, стр. 193-207. Springer, (2017)Matching Concepts across HOL Libraries., и . CICM, том 8543 из Lecture Notes in Computer Science, стр. 267-281. Springer, (2014)VizAR: Visualization of Automated Reasoning Proofs (System Description)., и . CICM, том 14101 из Lecture Notes in Computer Science, стр. 303-308. Springer, (2023)Microeconomics and the First Welfare Theorem., и . Arch. Formal Proofs, (2017)Automating Formalization by Statistical and Semantic Parsing of Mathematics., , и . ITP, том 10499 из Lecture Notes in Computer Science, стр. 12-27. Springer, (2017)Towards a mizar environment for isabelle: foundations and language., , и . CPP, стр. 58-65. ACM, (2016)