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

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.

Y. Liu, Y. Xue, D. Wu, Y. Sun, Y. Li, M. Shi, and Y. Liu. 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.

Yang Liu

Liu Yang

Yang Liu

Liu Yang

Yang Liu

Other publications of authors with the same name

Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models - The Story Goes On.L. Zeng, L. Zhong, L. Zhao, T. Wei, L. Yang, J. He, C. Cheng, R. Hu, Y. Liu, S. Yan and 2 other author(s). CoRR, (2024)OMGEval: An Open Multilingual Generative Evaluation Benchmark for Large Language Models.Y. Liu, M. Xu, S. Wang, L. Yang, H. Wang, Z. Liu, C. Kong, Y. Chen, Y. Liu, M. Sun and 1 other author(s). CoRR, (2024)Uncertainty quantification for Multiphase-CFD simulations of bubbly flows: a machine learning-based Bayesian approach supported by high-resolution experiments.Y. Liu, D. Wang, X. Sun, Y. Liu, N. Dinh, and R. Hu. Reliab. Eng. Syst. Saf., (2021)A Semantic Data Parallel Query Method Based on Hadoop.L. Yang, L. Yang, J. Niu, Z. Hu, J. Long, and M. Zheng. WISE (1), volume 10041 of Lecture Notes in Computer Science, page 396-404. (2016)AdaDS: Adaptive data selection for accelerating pre-trained language model knowledge distillation.Q. Zhou, P. Li, Y. Liu, Y. Guan, Q. Xing, M. Chen, M. Sun, and Y. Liu. AI Open, (January 2023)Performance Analysis for Bearings-only Geolocation Based on Constellation of Satellites.J. Li, S. Lv, L. Yang, S. Wu, Y. Liu, and Q. Luan. TrustCom, page 1429-1434. IEEE, (2022)The Time-Sequence Prediction via Temporal and Contextual Contrastive Representation Learning.Y. yang Liu, and J. Liu. PRICAI (1), volume 13629 of Lecture Notes in Computer Science, page 465-476. Springer, (2022)Recoverable Compression: A Multimodal Vision Token Recovery Mechanism Guided by Text Information.Y. Chen, J. Xu, X. Zhang, W. Liu, Y. Liu, and C. Liu. CoRR, (2024)Examining the effector mechanisms of Xuebijing injection on COVID-19 based on network pharmacology.W. jiang Zheng, Q. Yan, Y. shi Ni, S. feng Zhan, L. liu Yang, H. Zhuang, X. Liu, and Y. Jiang. BioData Min., 13 (1): 17 (2020)Do Users Act Equitably? Understanding User Bias Through a Large In-person Study.Y. Liu, H. Moses, M. Sternefeld, S. Malachowsky, and D. Krutz. ICSE (SEIS), page 83-95. IEEE, (2023)

BibSonomy

Disambiguation of "Liu, Yang"

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

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.

Please choose a person to relate this publication to

Yang Liu

Liu Yang

Yang Liu

Liu Yang

Yang Liu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Liu, Yang"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.

Please choose a person to relate this publication to

Yang Liu

Liu Yang

Yang Liu

Liu Yang

Yang Liu

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

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.