news
| Dec 6, 2025 | Seeking a 6–12 month visiting opportunity in neuro-symbolic AI and software formal verification; please contact me. |
|---|---|
| Sep 19, 2025 | One paper is accepted by NeurIPS’2025 as a spotlight; see you in San Diego.   |
| Sep 8, 2024 | One paper is accepted by Machine Learning. |
| May 2, 2024 | One paper is accepted by ICML’2024, see you in Vienna. |
| Jan 31, 2024 | One paper is accepted by Machine Learning |
| Sep 4, 2023 | This personal-page is built. |