YDL
Publications
Blog Posts
CV

Ziyi Yang

Promise to keep writing monthly blog post starting from Feb 2025.

Email
Github

Inductive Synthesis of First-Order Formulas

Published in (To appear in) ICLP25: 41st International Conference on Logic Programming, 2025

Share on

Twitter Facebook LinkedIn

© 2025 Ziyi Yang. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.