Search Results for author:
Found 4 papers, 1 papers with code
Multi-Moving Camera Pedestrian Tracking with a New Dataset and Global Link Model
To address the common problems of identity switch easily faced by most existing SCT trackers, especially for moving cameras due to ego-motion between the camera and targets, a lightweight appearance-free global link model, called Linker, is proposed to mitigate the identity switch by associating two disjoint tracklets of the same target into a complete trajectory within the same camera.
JEFL: Joint Embedding of Formal Proof Libraries
The heterogeneous nature of the logical foundations used in different interactive proof assistant libraries has rendered discovery of similar mathematical concepts among them difficult.
Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar
In our context informal mathematics refers to human-written mathematical sentences in the LaTeX format; and formal mathematics refers to statements in the Mizar language.
First Experiments with Neural Translation of Informal to Formal Mathematics
Our experiments show that our best performing model configurations are able to generate correct Mizar statements on 65. 73\% of the inference data, with the union of all models covering 79. 17\%.
