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.

Florian Enzenberger

Hartmut Enzenberg

Thomas Enzenbach

Ruxandra Enzensberger

Christina Isabel Enzenauer

Other publications of authors with the same name

Scene Text Detection with Supervised Pyramid Context Network.E. Xie, Y. Zang, S. Shao, G. Yu, C. Yao, and G. Li. CoRR, (2018)Scene Text Image Super-Resolution in the Wild.W. Wang, E. Xie, X. Liu, W. Wang, D. Liang, C. Shen, and X. Bai. ECCV (10), volume 12355 of Lecture Notes in Computer Science, page 650-666. Springer, (2020)Fast-BEV: Towards Real-time On-vehicle Bird's-Eye View Perception.B. Huang, Y. Li, E. Xie, F. Liang, L. Wang, M. Shen, F. Liu, T. Wang, P. Luo, and J. Shao. CoRR, (2023)Animate124: Animating One Image to 4D Dynamic Scene.Y. Zhao, Z. Yan, E. Xie, L. Hong, Z. Li, and G. Lee. CoRR, (2023)UNITS: Unsupervised Intermediate Training Stage for Scene Text Detection.Y. Guo, Y. Zhou, X. Qin, E. Xie, and W. Wang. ICME, page 1-6. IEEE, (2022)Segmenting Transparent Objects in the Wild with Transformer.E. Xie, W. Wang, W. Wang, P. Sun, H. Xu, D. Liang, and P. Luo. IJCAI, page 1194-1200. ijcai.org, (2021)DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function.H. Wang, Y. Yuan, Z. Liu, J. Shen, Y. Yin, J. Xiong, E. Xie, H. Shi, Y. Li, L. Li and 3 other author(s). ACL (1), page 12632-12646. Association for Computational Linguistics, (2023)PixArt-Σ: Weak-to-Strong Training of Diffusion Transformer for 4K Text-to-Image Generation.J. Chen, C. Ge, E. Xie, Y. Wu, L. Yao, X. Ren, Z. Wang, P. Luo, H. Lu, and Z. Li. CoRR, (2024)BEVFormer: Learning Bird's-Eye-View Representation from Multi-camera Images via Spatiotemporal Transformers.Z. Li, W. Wang, H. Li, E. Xie, C. Sima, T. Lu, Y. Qiao, and J. Dai. ECCV (9), volume 13669 of Lecture Notes in Computer Science, page 1-18. Springer, (2022)PixArt-α: Fast Training of Diffusion Transformer for Photorealistic Text-to-Image Synthesis.J. Chen, J. Yu, C. Ge, L. Yao, E. Xie, Y. Wu, Z. Wang, J. Kwok, P. Luo, H. Lu and 1 other author(s). CoRR, (2023)

BibSonomy

Disambiguation of "Xie, Enze"

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

Florian Enzenberger

Hartmut Enzenberg

Thomas Enzenbach

Ruxandra Enzensberger

Christina Isabel Enzenauer

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Xie, Enze"

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

Florian Enzenberger

Hartmut Enzenberg

Thomas Enzenbach

Ruxandra Enzensberger

Christina Isabel Enzenauer

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.