Wenda Li
发表
Roger B. Grosse,
Christian Szegedy,
Markus N. Rabe,
2021,
ICML.
Lawrence Charles Paulson,
Wenda Li,
2018
.
Yuhuai Wu,
K. Czechowski,
Wenda Li,
2022,
NeurIPS.
Lawrence Charles Paulson,
Wenda Li,
G. Passmore,
2015,
ArXiv.
Markus N. Rabe,
Christian Szegedy,
Yuhuai Wu,
2022,
NeurIPS.
Wenda Li,
M. Jamnik,
Albert Qiaochu Jiang,
2022
.
Lawrence Charles Paulson,
Wenda Li,
Anthony Bordg,
2021,
Exp. Math..
Yuhuai Wu,
Guillaume Lample,
Wenda Li,
2022,
International Conference on Learning Representations.
Lawrence C. Paulson,
Wenda Li,
Lawrence Charles Paulson,
2018,
CPP.
Yuhuai Wu,
Guillaume Lample,
Wenda Li,
2022,
ICLR.
Markus N. Rabe,
Christian Szegedy,
Jimmy Ba,
2021,
ICML.
Lawrence C. Paulson,
Wenda Li,
Yuhuai Wu,
2021,
ICLR.
Wenda Li,
Lingpeng Kong,
Xueliang Zhao,
2023,
ArXiv.
Lawrence C. Paulson,
Wenda Li,
Lawrence Charles Paulson,
2018,
Journal of Automated Reasoning.
Wenda Li,
Wenda Li,
2019
.
Lawrence Charles Paulson,
Wenda Li,
G. Passmore,
2015,
Journal of automated reasoning.
Lawrence C. Paulson,
Wenda Li,
Lawrence Charles Paulson,
2016,
ITP.
Lawrence C. Paulson,
Wenda Li,
Lawrence Charles Paulson,
2016,
CPP.
Lawrence C. Paulson,
Wenda Li,
Anthony Bordg,
2021,
Arch. Formal Proofs.
Lei Yu,
Yuhuai Wu,
Lawrence C. Paulson,
2020,
ArXiv.
Lawrence Charles Paulson,
Wenda Li,
Angeliki Koutsoukou-Argyraki,
2021,
Exp. Math..
Yuhuai Wu,
Guillaume Lample,
Wenda Li,
2022,
ICLR.