Min Wu

According to our database, Min Wu authored at least 36 papers between 2005 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Efficiently Computing Compact Formal Explanations.

Min Wu, Xiaofu Li, Haoze Wu, Clark W. Barrett

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification.

Xingqi Lin, Liangyu Chen, Min Wu, Min Zhang, Zhenbing Zeng

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

Parameterized Abstract Interpretation for Transformer Verification.

Pei Huang, Dennis Wei, Omri Isac, Haoze Wu, Min Wu, Clark W. Barrett

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2024

Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection.

Min Wu, Xiaofu Li, Haoze Wu, Clark W. Barrett

CoRR, 2024

Abstraction-Based Training for Robust Classification Models via Image Pixelation.

Yang Chen, Min Wu, Min Zhang

Proceedings of the 23rd IEEE International Conference on Trust, 2024

Parallel Verification for δ-Equivalence of Neural Network Quantization.

Pei Huang, Yuting Yang, Haoze Wu, Ieva Daukantas, Min Wu, Fuqi Jia, Clark W. Barrett

Proceedings of the AI Verification - First International Symposium, 2024

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.

Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Towards Efficient Verification of Quantized Neural Networks.

Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

The Fifth Conference "Computer Algebra" in Moscow.

Sergei A. Abramov, Alexander B. Batkhin, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu

ACM Commun. Comput. Algebra, June, 2023

VeriX: Towards Verified Explainability of Deep Neural Networks.

Min Wu, Haoze Wu, Clark W. Barrett

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Soy: An Efficient MILP Solver for Piecewise-Affine Systems.

Haoze Wu, Min Wu, Dorsa Sadigh, Clark W. Barrett

IROS, 2023

Convex Bounds on the Softmax Function with Applications to Robustness Verification.

Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

2021

The fourth conference "computer algebra" in Moscow.

Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu

ACM Commun. Comput. Algebra, 2021

2019

The conference "computer algebra" in Moscow.

Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Min Wu, Yvette Zonn

ACM Commun. Comput. Algebra, 2019

2017

Verification for Non-polynomial Hybrid Systems Using Rational Invariants.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Comput. J., 2017

2015

Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation.

Zhengfeng Yang, Wang Lin, Min Wu

ACM Trans. Embed. Comput. Syst., 2015

Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis.

Ke Wu, Shiping Tang, Geguang Pu, Min Wu, Ting Su

Proceedings of the Knowledge Science, Engineering and Management, 2015

2014

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Frontiers Comput. Sci., 2014

Domain-of-attraction estimation for uncertain non-polynomial systems.

Min Wu, Zhengfeng Yang, Wang Lin

Commun. Nonlinear Sci. Numer. Simul., 2014

Exact safety verification of hybrid systems using sums-of-squares representation.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Sci. China Inf. Sci., 2014

Safety verification of nonlinear systems based on rational invariants.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the Symbolic-Numeric Computation 2014, 2014

2013

Generating exact nonlinear ranking functions by symbolic-numeric hybrid method.

Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

J. Syst. Sci. Complex., 2013

Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation

Zhengfeng Yang, Min Wu, Wang Lin

CoRR, 2013

2012

Transforming linear functional systems into fully integrable systems.

Ziming Li, Min Wu

J. Symb. Comput., 2012

Exact Verification of Hybrid Systems Based on Bilinear SOS Representation

Zhengfeng Yang, Min Wu, Wang Lin

CoRR, 2012

Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations.

Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the Computer Mathematics, 2012

2011

Generating Loop Invariants by Computing Vanishing Ideals of Sample Points

Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

CoRR, 2011

Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients.

Min Wu, Zhengfeng Yang

Proceedings of the SNC 2011, 2011

2010

An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations.

Ruyong Feng, Michael F. Singer, Min Wu

J. Symb. Comput., 2010

Liouvillian solutions of linear difference-differential equations.

Ruyong Feng, Michael F. Singer, Min Wu

J. Symb. Comput., 2010

2009

Finding positively invariant sets of a class of nonlinear loops via curve fitting.

Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the Symbolic Numeric Computation, 2009

Simplification of Numerical Rational Surfaces.

Liyong Shen, Min Wu, Zhengfeng Yang

Proceedings of the Second International Joint Conference on Computational Sciences and Optimization, 2009

2008

Liouvillian Solutions of Difference-Differential Equations

Ruyong Feng, Michael F. Singer, Min Wu

CoRR, 2008

2007

Testing linear dependence of hyperexponential elements.

Ziming Li, Min Wu, Dabin Zheng

ACM Commun. Comput. Algebra, 2007

2006

A recursive method for determining the one-dimensional submodules of Laurent-Ore modules.

Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

2005

Picard--Vessiot extensions for linear functional systems.

Manuel Bronstein, Ziming Li, Min Wu

Proceedings of the Symbolic and Algebraic Computation, 2005