Jianlin Li
3 papers in the PaperMetrix corpus
Papers by this author
-
Automated Safety Verification of Programs Invoking Neural Networks
2021 · Lecture notes in computer science
Abstract State-of-the-art program-analysis techniques are not yet able to effectively verify safety properties of heterogeneous systems, that is, systems with components implemented using diverse technologies. This shortcoming is pinpointed by programs invoking neural networks despite …
-
Study on geological meaning and application of mine water inflow series after phase space reconstruction
2023 · Research Square
Abstract The conclusion that the column vector of the phase space after reconstruction of the mine water inflow sequence has a clear geological meaning is proposed and verified by an example, and then a prediction …
-
Compiling Probabilistic Programs for Variable Elimination with Information Flow
2024 · Proceedings of the ACM on Programming Languages
A key promise of probabilistic programming is the ability to specify rich models using an expressive programming language. However, the expressive power that makes probabilistic programming languages enticing also poses challenges to inference, so much …