An augmented MetiTarski dataset for real quantifier elimination using machine learning (Q6118846)
From MaRDI portal
scientific article; zbMATH DE number 7810740
Language | Label | Description | Also known as |
---|---|---|---|
English | An augmented MetiTarski dataset for real quantifier elimination using machine learning |
scientific article; zbMATH DE number 7810740 |
Statements
An augmented MetiTarski dataset for real quantifier elimination using machine learning (English)
0 references
28 February 2024
0 references
MetiTarski variable ordering
0 references
machine learning datasets
0 references
generalizability
0 references
bias
0 references
0 references