Current Projects

Text-to-Image Generation

Generative AI has emerged as an indispensable facet of modern artificial intelligence, holding the promise of transformative changes across various sectors, from creative arts and entertainment to scientific research and...

AI Safety and Security

Despite the remarkable advancement of deep learning (DL) techniques in the past decade, certain inherent shortcomings and vulnerabilities persist, undermining the performance of these models in critical situations. First and...

Time Series Analysis

Large pre-trained models have dominated numerous areas. Fundamentally speaking, they effectively compress all available information to achieve such remarkable performances. However, when the time dimension is added, it becomes extremely...

Logic Reasoning with Circuit Learning

This project proposes a novel approach to enhance the efficiency of logic reasoning engines, particularly those used for solving the Boolean satisfiability (SAT) problem, satisfiability modulo theories (SMT) problem, or...