Qingxiang Wang

From MaRDI portal
Person:831931

Available identifiers

zbMath Open wang.qingxiangMaRDI QIDQ831931

List of research outcomes





PublicationDate of PublicationType
JEFL: joint embedding of formal proof libraries2022-03-24Paper
First experiments with neural translation of informal to formal mathematics2018-10-18Paper
https://portal.mardi4nfdi.de/entity/Q44894522001-07-19Paper
https://portal.mardi4nfdi.de/entity/Q43474891998-08-12Paper
https://portal.mardi4nfdi.de/entity/Q43474861998-07-06Paper
https://portal.mardi4nfdi.de/entity/Q48683211996-03-25Paper
https://portal.mardi4nfdi.de/entity/Q48694941996-03-11Paper
https://portal.mardi4nfdi.de/entity/Q33562841990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38295091988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34752271987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34752281987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34752291987-01-01Paper

Research outcomes over time

This page was built for person: Qingxiang Wang

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:831931&oldid=7042221"
Powered by MediaWiki