1 citations · 1 across the 4 of their papers we have counts for
6 papers
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement
Lushi Pu, Weiming Zhang, Xinheng Xie +7
Autoformalization is commonly framed as translating natural-language mathematical statements into machine-verifiable formal languages such as Lean 4. However, faithful formalizatio…
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
Lushi Pu, Weiming Zhang, Xinheng Xie +6
Large Language Models (LLMs) have made notable progress in automated theorem proving, yet existing formal benchmarks remain limited in both mathematical coverage and difficulty. Mo…
NODE-AdvGAN: Improving the transferability and perceptual similarity of adversarial examples by dynamic-system-driven adversarial generative model
Xinheng Xie, Yue Wu, Cuiyu He
Understanding adversarial examples is crucial for improving model robustness, as they introduce imperceptible perturbations to deceive models. Effective adversarial examples, there…
2DSig-Detect: a semi-supervised framework for anomaly detection on image data using 2D-signatures
Xinheng Xie, Kureha Yamaguchi, Margaux Leblanc +4
The rapid advancement of machine learning technologies raises questions about the security of machine learning models, with respect to both training-time (poisoning) and test-time…
A Randomized Runge-Kutta Method for time-irregular delay differential equations
Fabio V. Difonzo, Paweł Przybyłowicz, Yue Wu +1
In this paper we investigate the existence, uniqueness and approximation of solutions of delay differential equations (DDEs) with the right-hand side functions that ar…
On approximation of solutions of stochastic delay differential equations via randomized Euler scheme
Paweł Przybyłowicz, Yue Wu, Xinheng Xie
We investigate existence, uniqueness and approximation of solutions to stochastic delay differential equations (SDDEs) under Carathéodory-type drift coefficients. Moreover, we also…