information retrieval
2022 – Present
nlp, language modeling
2020 – Present
logic optimization, circuit design
2021 – 2023
automated theorem proving
2020 – 2023
reinforcement learning
2020 – 2023
computer vision
2018 – 2020
unsupervised learning, contrastive learning
2018 – 2020