( en | de | ru )

 

Disambiguation of "Huang, Xiaowei"

Author of the publication

copydeleteadd this publication to your clipboard
Bridging formal methods and machine learning with model checking and global optimisation.

, , , , , and . J. Log. Algebraic Methods Program., (February 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xiaowei Wu

Xiaowei Lan

Xiaowei Xu

Xiaowei Chen

Xiaowei Ding

 

Other publications of authors with the same name

Formal Specification for Learning-Enabled Autonomous Systems., , , , , , and . NSV/FoMLAS@CAV, volume 13466 of Lecture Notes in Computer Science, page 131-143. Springer, (2022)Quantum speedup and limitations on matroid property problems., , and . Frontiers Comput. Sci., (August 2024)Numerical differentiation by integration., , and . Math. Comput., 83 (286): 789-807 (2014)An Overview of Verification and Validation Challenges for Inspection Robots., , , , , , , , , and 7 other author(s). Robotics, 10 (2): 67 (2021)BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations., , , and . CoRR, (2020)Towards Relation-centered Pooling and Convolution for Heterogeneous Graph Learning Networks., , , , , , and . CoRR, (2022)MathAttack: Attacking Large Language Models Towards Math Solving Ability., , , , , , , , and . CoRR, (2023)Symplectic Structure-Aware Hamiltonian (Graph) Embeddings., , , and . CoRR, (2023)A game-based approximate verification of deep neural networks with provable guarantees., , , , and . Theor. Comput. Sci., (2020)An Epistemic Strategy Logic., and . ACM Trans. Comput. Log., 19 (4): 26:1-26:45 (2018)