On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas. - Zhenbing Zeng; Lu Yang; Lydia Dehbi (ISSAC, 2019)

A Heilbronn Type Inequality for Plane Nonagons. - Zhenbing Zeng; Jian Lu; Lydia Dehbi; Liangyu Chen 001; Jianlin Wang (MC, 2019)

Heilbronn's Problem of Eight Points in the Square. - Lydia Dehbi; Zhenbing Zeng (J. Syst. Sci. Complex., 2022)

The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations. - Lydia Dehbi; Zhenbing Zeng; Lu Yang (J. Symb. Comput., 2022)

Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution. - Jiahao Chao; Zhou Zhou 015; Hongfan Gao; Jiali Gong; Zhengfeng Yang; Zhenbing Zeng; Lydia Dehbi (CVPR, 2023)

Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning. - Hanrui Zhao; Niuniu Qi; Lydia Dehbi; Xia Zeng; Zhengfeng Yang (ACM Trans. Embed. Comput. Syst., 2023)

Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance. - Hanrui Zhao; Banglong Liu; Lydia Dehbi; Huijiao Xie; Zhengfeng Yang; Haifeng Qian (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Automated Proof of Polynomial Inequalities via Reinforcement Learning. - Banglong Liu; Niuniu Qi; Xia Zeng; Lydia Dehbi; Zhengfeng Yang (CVPR, 2025)