Esophagitis
发表于 2025-4-1 02:49:52
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering ford from measured data. In this paper we use machine learning (specifically a support vector machine) to select between heuristics for choosing a variable ordering, outperforming each of the separate heuristics.
vector
发表于 2025-4-1 08:01:20
Hipster: Integrating Theory Exploration in a Proof Assistantempt, trying to discover the missing lemmas which would allow the current goal to be proved. Hipster’s proof mode complements and boosts existing proof automation techniques that rely on automatically selecting existing lemmas, by inventing new lemmas that need induction to be proved. We show example uses of both modes.