W2962929300

• Automated Algorithm Configuration of $$\alpha $$, $$\beta $$-CROWN

  2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  0

  citations
• Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks

  2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  0

  citations
• Sparkle: Toward Accessible Meta-Algorithmics for Improving the State of the Art in Solving Challenging Problems

  2022 IEEE Transactions on Evolutionary Computation article Computer Science Metaheuristic Optimization Algorithms Research Open access

  2

  citations
• Improving the performance of stochastic local search for maximum vertex weight clique problem using programming by optimization

  2022 Expert Systems with Applications article Computer Science Metaheuristic Optimization Algorithms Research Open access

  2

  citations
• Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio

  2022 Machine Learning article Computer Science Adversarial Robustness in Machine Learning Open access

  7

  citations
• Combining sequential model-based algorithm configuration with default-guided probabilistic sampling

  2020 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Metaheuristic Optimization Algorithms Research

  2

  citations
• Model-Based Algorithm Configuration with Default-Guided Probabilistic Sampling

  2020 Lecture notes in computer science conference-paper Computer Science Metaheuristic Optimization Algorithms Research

  5

  citations

7 results