2024
FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network.
CoRR, 2024
A Quantum-Inspired Mechanical Method for Proving of Ramsey's Theorem by Symbolic Computation over the Finite Field GF(2).
Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024
Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
2023
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5.
Ann. Math. Artif. Intell., December, 2023
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2023
Enhancing Real-Time Super Resolution with Partial Convolution and Efficient Variance Attention.
Proceedings of the 31st ACM International Conference on Multimedia, 2023
A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Kernel Estimation and Deconvolution for Blind Image Super-Resolution.
Proceedings of the IEEE International Conference on Acoustics, 2023
Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Efficient Deep Models for Real-Time 4K Image Super-Resolution. NTIRE 2023 Benchmark and Report.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023
Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations.
J. Symb. Comput., 2022
Heilbronn's Problem of Eight Points in the Square.
J. Syst. Sci. Complex., 2022
Improvement of Oracle Bone Inscription Recognition Accuracy: A Deep Learning Perspective.
ISPRS Int. J. Geo Inf., 2022
Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
et al.
CoRR, 2022
Improving Adversarial Robustness of Deep Neural Networks via Linear Programming.
Proceedings of the Theoretical Aspects of Software Engineering, 2022
Robust Training with Feature-Based Adversarial Example.
Proceedings of the 26th International Conference on Pattern Recognition, 2022
Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU.
Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022
Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 Challenge: Report.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022
A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions.
Proceedings of the Computer Algebra in Scientific Computing - 24th International Workshop, 2022
An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks.
Proceedings of the Computer Vision - ACCV 2022, 2022
2021
Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere.
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems.
Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
On Geometric Property of Fermat-Torricelli Points on Sphere.
Proceedings of the Computer Algebra in Scientific Computing - 23rd International Workshop, 2021
2020
A Formal Proof of the Soundness of the Hybrid CPS Clock Theory.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020
An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension.
Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020
A Maple Exploration of Problem 6 of the IMO 88.
Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020
2019
Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
A Heilbronn Type Inequality for Plane Nonagons.
Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019
The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean Metric: A Symbolic Solution with Maple.
Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019
On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas.
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019
Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation.
Proceedings of the Computer Algebra in Scientific Computing - 21st International Workshop, 2019
On the Structure of Discrete Metric Spaces Isometric to Circles.
Proceedings of the Algorithmic Aspects in Information and Management, 2019
A Probabilistic Algorithm for Verification of Geometric Theorems.
Proceedings of the Algorithmic Aspects in Information and Management, 2019
2018
Computing Sparse GCD of Multivariate Polynomials via Polynomial Interpolation.
J. Syst. Sci. Complex., 2018
2017
Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing.
J. Glob. Optim., 2017
Verification for Non-polynomial Hybrid Systems Using Rational Invariants.
Comput. J., 2017
Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation.
Sci. China Inf. Sci., 2017
2016
Analyzing ultimate positivity for solvable systems.
Theor. Comput. Sci., 2016
Resultant elimination via implicit equation interpolation.
J. Syst. Sci. Complex., 2016
2015
初等函数可验证赋值及误差分析 (Validated Evaluation and Error Analysis of Elementary Functions).
计算机科学, 2015
Graphs with unique minimum paired-dominating set.
Ars Comb., 2015
2014
An upper bound of Heilbronn number for eight points in triangles.
J. Comb. Optim., 2014
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods.
Frontiers Comput. Sci., 2014
Exact safety verification of hybrid systems using sums-of-squares representation.
Sci. China Inf. Sci., 2014
Safety verification of nonlinear systems based on rational invariants.
Proceedings of the Symbolic-Numeric Computation 2014, 2014
2013
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method.
J. Syst. Sci. Complex., 2013
Parallel computation of determinants of matrices with multivariate polynomial entries.
Sci. China Inf. Sci., 2013
2012
Vertices in all minimum paired-dominating sets of block graphs.
J. Comb. Optim., 2012
Differential elimination with Dixon resultants.
Appl. Math. Comput., 2012
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations.
Proceedings of the Computer Mathematics, 2012
2011
Generating Loop Invariants by Computing Vanishing Ideals of Sample Points
CoRR, 2011
2010
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums.
J. Univers. Comput. Sci., 2010
Labelling algorithms for paired-domination problems in block and interval graphs.
J. Comb. Optim., 2010
Reachability analysis of rational eigenvalue linear systems.
Int. J. Syst. Sci., 2010
Termination Analysis of Linear Loops.
Int. J. Found. Comput. Sci., 2010
Real Root Isolation of Multi-Exponential Polynomials with Application.
Proceedings of the WALCOM: Algorithms and Computation, 4th International Workshop, 2010
Termination of Loop Programs with Polynomial Guards.
Proceedings of the Computational Science and Its Applications, 2010
2009
Distance paired-domination problems on subclasses of chordal graphs.
Theor. Comput. Sci., 2009
Hardness results and approximation algorithms for (weighted) paired-domination in graphs.
Theor. Comput. Sci., 2009
Multiple classifier integration for the prediction of protein structural classes.
,
,
,
,
,
,
,
,
,
,
J. Comput. Chem., 2009
A linear-time algorithm for paired-domination problem in strongly chordal graphs.
Inf. Process. Lett., 2009
Finding positively invariant sets of a class of nonlinear loops via curve fitting.
Proceedings of the Symbolic Numeric Computation, 2009
On the Best Bezier Approximation of Ellipses.
Proceedings of the Second International Joint Conference on Computational Sciences and Optimization, 2009
2008
A New Mechanical Algorithm for Solving System of Fredholm Integral Equation Using Resolvent Method.
Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2008
On the Heilbronn Optimal Configuration of Seven Points in the Square.
Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008
2007
Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems.
Sci. China Ser. F Inf. Sci., 2007
A new mechanical algorithm for solving system of Volterra integral equation.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007
Semi-mechanization method for a unsolved optimization problem in combinatorial geometry.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Machine Cognition and Learning Based on Interactive Symbolic Computation.
Proceedings of the 2007 International Conference on Intelligent Pervasive Computing, 2007
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?.
Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007
2006
Automated and readable simplification of trigonometric expressions.
Math. Comput. Model., 2006
Constructing a Tetrahedron with Prescribed Heights and Widths.
Proceedings of the Automated Deduction in Geometry, 2006
2005
Image Retrieval Based on Salient Points from DCT Domain.
Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005
An open problem on metric invariants of tetrahedra.
Proceedings of the Symbolic and Algebraic Computation, 2005
Automatic Generation of Mathematical Expressions of Printed Chinese Characters.
Proceedings of the IASTED International Conference on Computational Intelligence, 2005
2004
Symbolic Solution of a Piano Movers' Problem with Four Parameters.
Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004
2003
Mathematics Education over the Internet Based on Vega Grid Technology.
Int. J. Distance Educ. Technol., 2003
2002
The Vega Grid and Grid-Based Education.
Proceedings of the Advances in Web-Based Learning, First International Conference, 2002
1997
A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry.
Proceedings of the Automated Deduction, 1997