The raise of machine learning hyperparameter constraints in Python code
Machine-learning operators often have correctness constraints that cut across multiple
hyperparameters and/or data. Violating these constraints causes the operator to raise …
hyperparameters and/or data. Violating these constraints causes the operator to raise …
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints
Application programming interfaces often have correctness constraints that cut across
multiple arguments. Violating these constraints causes the underlying code to raise runtime …
multiple arguments. Violating these constraints causes the underlying code to raise runtime …
Constraint-based Adversarial Example Synthesis
F Yu, YY Chi, YF Chen - arxiv preprint arxiv:2406.01219, 2024 - arxiv.org
In the era of rapid advancements in artificial intelligence (AI), neural network models have
achieved notable breakthroughs. However, concerns arise regarding their vulnerability to …
achieved notable breakthroughs. However, concerns arise regarding their vulnerability to …
PoTo: A Hybrid Andersen's Points-to Analysis for Python
As Python is increasingly being adopted for large and complex programs, the importance of
static analysis for Python (such as type inference) grows. Unfortunately, static analysis for …
static analysis for Python (such as type inference) grows. Unfortunately, static analysis for …
Principled and Practical Static Analysis for Python
I Rak-Amnouykit - 2024 - search.proquest.com
PRINCIPLED AND PRACTICAL STATIC ANALYSIS FOR PYTHON Ingkarat Rak-amnouykit
Page 1 PRINCIPLED AND PRACTICAL STATIC ANALYSIS FOR PYTHON Ingkarat Rak-amnouykit …
Page 1 PRINCIPLED AND PRACTICAL STATIC ANALYSIS FOR PYTHON Ingkarat Rak-amnouykit …