| Apr 09, 2025 | đđ Our paper on LLM-Driven Hybrid Genetic Algorithm has been accepted at ACL findings 2025!đđ |
| Mar 09, 2025 | đđ Our paper on Guided Tensor Lifting has been accepted at PLDI 2025!đđ |
| Dec 09, 2024 | đđ Our paper on Online Prompt Selection has been accepted at AAAI 2025!đđ |
| Nov 21, 2024 | đ¤ Talk on Programm synthesis & LLMs at the University of Bristol! đŹđ§ Thanks to Dr. Cristina David and the Bristol PL group for the warm welcome and engaging discussions! |
| Nov 10, 2024 |  New Research Internship at Heriot-Watt University! đ´ó §ó ˘ó łó Łó ´ó ż Grateful to be working with Prof. Ekaterina Komendantskaya and the team under the EPSRC-AISEC project. |
| Oct 09, 2024 | đđ Our paper Unlocking Hardware Verification with Oracle Guided Synthesis has been accepted at FMCAD 2025!đđ |
| Aug 13, 2024 | đ¤ Talk at Verified Trustworthy Software Systems (VeTSS) Summer School 2024, Bristol! đŹđ§ |
| May 24, 2024 | đ¤ Talk at Heriot-Watt LAIV AI Verification Seminar! đ´ó §ó ˘ó łó Łó ´ó ż |
| Apr 10, 2024 | đŞ CAV 2024 VMW Scholarship! đ¨đŚ |
| Mar 26, 2024 | đđ Our paper on Guiding Enumerative Program Synthesis with Large Language Models has been accepted at CAV 2024.!đđ |
| Mar 20, 2024 | đ¤ Talk at EuroProofNet, Austria! đŚđš This talk will cover how LLMs can enhance synthesis. |
| Jun 22, 2023 | đ¤ I will talk about our work using genetic algorithms to find good grammars for synthesis at SYNT 2023 in Paris! đŤđˇ |
| Feb 01, 2022 | đŽ Started my PhD! đŹđ§ |