Qingxiang Wang

zbMath Openwang.qingxiangMaRDI QIDQ831931

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
JEFL: joint embedding of formal proof libraries	2022-03-24	Paper
First experiments with neural translation of informal to formal mathematics	2018-10-18	Paper
scientific article; zbMATH DE number 1474878 (Why is no real title available?)	2001-07-19	Paper
scientific article; zbMATH DE number 1045858 (Why is no real title available?)	1998-08-12	Paper
scientific article; zbMATH DE number 1045854 (Why is no real title available?)	1998-07-06	Paper
scientific article; zbMATH DE number 852115 (Why is no real title available?)	1996-03-25	Paper
scientific article; zbMATH DE number 854430 (Why is no real title available?)	1996-03-11	Paper
scientific article; zbMATH DE number 4208045 (Why is no real title available?)	1990-01-01	Paper
scientific article; zbMATH DE number 4104896 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4143927 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4143928 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4143929 (Why is no real title available?)	1987-01-01	Paper

Research outcomes over time

This page was built for person: Qingxiang Wang