Yue Xue

机构：Entrust

发表论文 5 篇 · 总被引 141 次 · h-index 3

代表论文

• Nutrient limitation mediates soil microbial community structure and stability in forest restoration (2024 · The Science of The Total Environment · 被引 69)
• PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation (2025 · 被引 50)
• A novel Fe3O4@Pt synthetized via a self-assembly strategy as efficient Fenton-like@mimetic enzyme catalyst for degradation of tetracyclines in food processing wastewater (2024 · Colloids and Surfaces A Physicochemical and Engineering Aspects · 被引 13)
• PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation (2024 · arXiv (Cornell University) · 被引 1)
• Metabolic Biomarkers and Endotypes as Predictors of Sepsis Outcomes: A Prospective Population-Based Cohort Analysis from the UK Biobank (2024 · Research Square)