Automated Proof of Polynomial Inequalities via Reinforcement Learning.
CoRR, March, 2025
Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning.
ACM Trans. Embed. Comput. Syst., October, 2023
Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme.
Symmetry, 2022