Xinyu Sun

First-In-Human PET Imaging of Synaptic Vesicle Glycoprotein 2A with [18F]BIBD-181: Automation, Biodistribution, Dosimetry, and Preliminary Application in Epilepsy

Abstract We report the first-in-human evaluation of [18F]BIBD-181, a novel SV2A tracer designed with a fluoropropyl side chain to enable mild, automated radiosynthesis. A fully automated cGMP-compliant production process was developed on a commercial synthesizer, yielding the tra...

Debugging Functionality-Twisting Translations by LLMs via Differential Testing with Bayesian Prior

Code translation, as a challenging and fundamental task, is increasingly relying on large language models (LLMs). However, LLMs often give seemingly plausible but fallacious translations, misleading and even deceptive to debugging developers. We propose tHinter, an automated appr...