Lydia Dehbi

11 papers A* 2B 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Automated Proof of Polynomial Inequalities via Reinforcement Learning.
CVPR
Banglong Liu, Niuniu Qi, Xia Zeng, Lydia Dehbi, Zhengfeng Yang
2025 J jnl
Automated Proof of Polynomial Inequalities via Reinforcement Learning.
CoRR
Banglong Liu, Niuniu Qi, Xia Zeng, Lydia Dehbi, Zhengfeng Yang
2025 J jnl
Global Optimization for Heilbronn Problem of Convex Polygons Based on Bilinear Matrix Inequalities Solving.
J. Syst. Sci. Complex.
Niuniu Qi, Lydia Dehbi, Banglong Liu, Zhengfeng Yang, Zhenbing Zeng
2025 J jnl
Stabilization and Synchronization of a New 3D Complex Chaotic System via Adaptive and Active Control Methods.
Axioms
Lamia Loudahi, Jing Yuan, Lydia Dehbi, Mawia Osman
2024 J jnl
Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hanrui Zhao, Banglong Liu, Lydia Dehbi, Huijiao Xie, Zhengfeng Yang, Haifeng Qian
2023 A* conf
Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution.
CVPR
Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Lydia Dehbi
2023 J jnl
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning.
ACM Trans. Embed. Comput. Syst.
Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang
2022 J jnl
Heilbronn's Problem of Eight Points in the Square.
J. Syst. Sci. Complex.
Lydia Dehbi, Zhenbing Zeng
2022 J jnl
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations.
J. Symb. Comput.
Lydia Dehbi, Zhenbing Zeng, Lu Yang
2019 — conf
A Heilbronn Type Inequality for Plane Nonagons.
MC
Zhenbing Zeng, Jian Lu, Lydia Dehbi, Liangyu Chen, Jianlin Wang
2019 B conf
On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas.
ISSAC
Zhenbing Zeng, Lu Yang, Lydia Dehbi