Jin Song Dong

A new tool enhances code editing by recommending relevant changes.

Examining the privacy issues linked to third-party SDKs in mobile applications.

Bridging Large Language Models and Formal Methods for reliable AI solutions.