Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

LEGO-Prover: Neural Theorem Proving with Growing Libraries.

H. Wang, H. Xin, C. Zheng, L. Li, Z. Liu, Q. Cao, Y. Huang, J. Xiong, H. Shi, E. Xie, J. Yin, Z. Li, H. Liao, and X. Liang. CoRR, (2023)

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.

Haiming Zheng

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylationL. Wang. Uni Marburg, (2009)

Paul Wang

Lien Wang

Other publications of authors with the same name

Joint timing synchronization and channel estimation based on ZCZ sequence set in SC-MIMO-FDE system.Y. Wang, S. He, Y. Sun, Q. Xu, H. Wang, and L. Yang. EURASIP J. Wireless Comm. and Networking, (2016)Energy-efficient coordinated precoding for multicell system with transceiver impairments.S. He, Y. Huang, S. Jin, H. Wang, and L. Yang. ICCS, page 102-106. IEEE, (2014)The performance deterioration from nonlinear amplifier in NxDO system.X. Wang, T. Yong, and H. Wang. IWCMC, page 1219-1224. ACM, (2006)6G Asymmetric Channel Modeling and Statistical Properties Analysis.J. Wang, C. Wang, J. Huang, R. Feng, and H. Wang. ICC, page 2864-2869. IEEE, (2022)Transmission mode selection and communication establishment in the hybrid device-to-device and cellular networks.S. Xu, and H. Wang. ICUFN, page 156-161. IEEE, (2012)Optimal output trajectory design and tracking in preview-based nonperiodic tracking-transition switching for nonminimum-phase linear systems.H. Wang, Q. Zou, and H. Xu. ACC, page 5769-5774. IEEE, (2010)Low-Complexity Parameter Learning for OTFS Modulation Based Automotive Radar.C. Liu, S. Liu, Z. Mao, Y. Huang, and H. Wang. ICASSP, page 8208-8212. IEEE, (2021)A Video Popularity Prediction Scheme with Attention-Based LSTM and Feature Embedding.L. Yang, X. Guo, H. Wang, and W. Chen. GLOBECOM, page 1-6. IEEE, (2020)PlasmoDB: a functional genomic database for malaria parasites.C. Aurrecoechea, J. Brestelli, B. Brunk, J. Dommer, S. Fischer, B. Gajria, X. Gao, A. Gingle, G. Grant, O. Harb and 15 other author(s). Nucleic Acids Res., 37 (Database-Issue): 539-543 (2009)In-building coverage of millimeter-wave wireless networks from channel measurement and modeling perspectives.P. Zhang, C. Yi, B. Yang, C. Wang, H. Wang, and X. You. Sci. China Inf. Sci., 63 (8): 1-16 (2020)

BibSonomy

Disambiguation of "Wang, Haiming"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

LEGO-Prover: Neural Theorem Proving with Growing Libraries.

Please choose a person to relate this publication to

Haiming Zheng

Wang Wang

Linfang Wang

Paul Wang

Lien Wang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Wang, Haiming"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML LEGO-Prover: Neural Theorem Proving with Growing Libraries.

Please choose a person to relate this publication to

Haiming Zheng

Wang Wang

Linfang Wang

Paul Wang

Lien Wang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

LEGO-Prover: Neural Theorem Proving with Growing Libraries.