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

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data.

Y. Huang, X. Lin, Z. Liu, Q. Cao, H. Xin, H. Wang, Z. Li, L. Song, and X. Liang. CoRR, (2024)

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.

Linqi Song

Song Song

Song-Hak Song-Schreff

Song Gao

Other publications of authors with the same name

Recommender Systems over Wireless: Challenges and Opportunities.L. Song, C. Fragouli, and D. Shah. ITW, page 1-5. IEEE, (2018)Interactions Between Learning and Broadcasting in Wireless Recommendation Systems.L. Song, C. Fragouli, and D. Shah. ISIT, page 2549-2553. IEEE, (2019)Understanding and Patching Compositional Reasoning in LLMs.Z. Li, G. Jiang, H. Xie, L. Song, D. Lian, and Y. Wei. CoRR, (2024)Sensing, processing, computing and networking for the era of wearables.W. Ding, A. Alavi, F. Fioranelli, G. Li, X. Ni, and L. Song. Digit. Signal Process., (2022)Minimizing Age of Information With Power Constraints: Multi-User Opportunistic Scheduling in Multi-State Time-Varying Channels.H. Tang, J. Wang, L. Song, and J. Song. IEEE J. Sel. Areas Commun., 38 (5): 854-868 (2020)Improved Quantization Strategies for Managing Heavy-tailed Gradients in Distributed Learning.G. Yan, T. Li, Y. Xiao, H. Hou, and L. Song. CoRR, (2024)Adaptive Top-K in SGD for Communication-Efficient Distributed Learning.M. Ruan, G. Yan, Y. Xiao, L. Song, and W. Xu. CoRR, (2022)Gap-Closing Matters: Perceptual Quality Evaluation and Optimization of Low-Light Image Enhancement.B. Chen, L. Zhu, H. Zhu, W. Yang, L. Song, and S. Wang. IEEE Trans. Multim., (2024)Towards Efficient Communications in Federated Learning: A Contemporary Survey.Z. Zhao, Y. Mao, Y. Liu, L. Song, Y. Ouyang, X. Chen, and W. Ding. CoRR, (2022)Personalized Federated Recommendation via Joint Representation Learning, User Clustering, and Model Adaptation.S. Luo, Y. Xiao, and L. Song. CIKM, page 4289-4293. ACM, (2022)

BibSonomy

Disambiguation of "Song, Linqi"

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

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data.

Please choose a person to relate this publication to

Linqi Song

Song Song

Song Song

Song-Hak Song-Schreff

Song Gao

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Song, Linqi"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data.

Please choose a person to relate this publication to

Linqi Song

Song Song

Song Song

Song-Hak Song-Schreff

Song Gao

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

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data.