Author of the publication

Exploration of neural machine translation in autoformalization of mathematics in Mizar.

, , , and . CPP, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Detection Model of Depression Based on Eye Movement Trajectory., and . DSAA, page 612-613. IEEE, (2019)On-Road Pedestrian Tracking Across Multiple Moving Cameras., , , , and . ICME, page 1-6. IEEE, (2022)Design of the workstation for hand rehabilitation based on data glove., , and . BIBM Workshops, page 769-771. IEEE, (2010)Analysis and Recognition of Voluntary Facial Expression Mimicry Based on Depressed Patients., , , , , , and . IEEE J. Biomed. Health Informatics, 27 (8): 3698-3709 (August 2023)An Exploration of Moving Robot Localization Assisted with a Static Monocular Camera., , , , and . IC-NIDC, page 6-10. IEEE, (2021)Dep-ViT: Uncertainty Suppression Model Based on Facial Expression Recognition in Depression Patients., , , , and . ICANN (3), volume 13531 of Lecture Notes in Computer Science, page 113-124. Springer, (2022)Depression Detection Based on Human Simple Kinematic Skeletal Data., and . DSAA, page 1-2. IEEE, (2022)Rethinking Adjacent Dependency in Session-Based Recommendations., , , , , and . PAKDD (3), volume 13282 of Lecture Notes in Computer Science, page 301-313. Springer, (2022)Person 3D Tracking and Action Recognition through Stereo Camera., and . IIAI-AAI, page 474-479. IEEE, (2023)Pedestrian Tracking through Coordinated Mining of Multiple Moving Cameras., and . ICCVW, page 252-261. IEEE, (2021)