Xiakun Li

Orcid: 0009-0007-1663-1287

According to our database¹, Xiakun Li authored at least 2 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic.

[DOI]

CoRR, April, 2026

2024

Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets.

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024