publications

publications in reversed chronological order.

2026

  1. Autosat: Automatically optimize sat solvers via large language models
    Yiwen Sun, Furong Ye, Xianyin Zhang, and 4 more authors
    Journal of Artificial Intelligence Research, 2026
  2. Discovering heuristics in a complex SAT solver with large language models
    Yiwen Sun, Furong Ye, Zhihan Chen, and 2 more authors
    Nature Communications, 2026
  3. Block-Bench: A Framework for Controllable and Transparent Discrete Optimization Benchmarking
    Furong Ye, Frank Neumann, Thomas Bäck, and 1 more author
    In Proceedings of the Genetic and Evolutionary Computation Conference, 2026
  4. Maintenance Planning for Prognostic Health Management of Multi-Component Systems: A Case Study of Multi-Objective Optimisation for Railway Vehicles
    Bernd Wagner, Sofoklis Kitharidis, Furong Ye, and 2 more authors
    In PHM Society European Conference, 2026
  5. FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
    Xindi Zhang, Furong Ye, Zhihan Chen, and 1 more author
    In International Symposium on Formal Methods, 2026

2025

  1. Gradient Free Multi-Objective Counterfactual Explainability for Multivariate Time Series Classification
    Qi Huang, Sofoklis Kitharidis, Furong Ye, and 3 more authors
    In 2025 IEEE International Conference on Big Data (BigData), 2025
  2. Artificial intelligence for the analysis of head-upright tilt test data in syncope testing: a scoping review
    FN Geest, MR Tannemaat, F Ye, and 2 more authors
    Clinical Neurophysiology, 2025
  3. Better understandings and configurations in MaxSAT stochastic local search solvers via anytime performance analysis
    Furong Ye, Chuan Luo, and Shaowei Cai
    In Proceedings of the AAAI Conference on Artificial Intelligence, 2025
  4. MA-BBOB: A problem generator for black-box optimization using affine combinations and shifts
    Diederick Vermetten, Furong Ye, Thomas Bäck, and 1 more author
    ACM Transactions on Evolutionary Learning, 2025

2024

  1. Log-normal mutations and their use in detecting surreptitious fake images
    Ismail Labiad, Thomas Bäck, Pierre Fernandez, and 5 more authors
    Transactions on Machine Learning Research, 2024
  2. Iohexperimenter: Benchmarking platform for iterative optimization heuristics
    Jacob Nobel, Furong Ye, Diederick Vermetten, and 3 more authors
    Evolutionary Computation, 2024
  3. Bi-Objective Contract Allocation for Guaranteed Delivery Advertising
    Yan Li, Yundu Huang, Wuyang Mao, and 4 more authors
    In Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024
  4. What Performance Indicators to Use for Self-Adaptation in Multi-Objective Evolutionary Algorithms
    Furong Ye, Frank Neumann, Jacob Nobel, and 2 more authors
    In Proceedings of the Genetic and Evolutionary Computation Conference, 2024
  5. Enhancing MaxSAT local search via a unified soft clause weighting scheme
    Yi Chu, Chu-Min Li, Furong Ye, and 1 more author
    In 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), 2024
  6. Benchmarking and analyzing iterative optimization heuristics with IOHprofiler
    Carola Doerr, Diederick Vermetten, Jacob Nobel, and 1 more author
    In Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2024

2023

  1. Ma-bbob: Many-affine combinations of bbob functions for evaluating automl approaches in noiseless numerical black-box optimization contexts
    Diederick Vermetten, Furong Ye, Thomas Bäck, and 1 more author
    In International Conference on Automated Machine Learning, 2023
  2. General Boolean function benchmark suite
    Roman Kalkreuth, Zdeněk Vašı́ček, Jakub Husa, and 3 more authors
    In Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 2023
  3. Towards a general Boolean function benchmark suite
    Roman Kalkreuth, Zdeněk Vašı́ček, Jakub Husa, and 3 more authors
    In Proceedings of the Companion Conference on Genetic and Evolutionary Computation, 2023
  4. When to be discrete: analyzing algorithm performance on discretized continuous problems
    André Thomaser, Jacob De Nobel, Diederick Vermetten, and 3 more authors
    In Proceedings of the Genetic and Evolutionary Computation Conference, 2023
  5. Using affine combinations of BBOB problems for performance assessment
    Diederick Vermetten, Furong Ye, and Carola Doerr
    In Proceedings of the Genetic and Evolutionary Computation Conference, 2023
  6. Benchmarking algorithms for submodular optimization problems using IOHProfiler
    Frank Neumann, Aneta Neumann, Chao Qian, and 7 more authors
    In 2023 IEEE Congress on Evolutionary Computation (CEC), 2023
  7. Evolutionary algorithms for parameter optimization—thirty years later
    Thomas HW Bäck, Anna V Kononova, Bas Stein, and 7 more authors
    Evolutionary Computation, 2023

2022

  1. Non-elitist selection can improve the performance of irace
    Furong Ye, Diederick Vermetten, Carola Doerr, and 1 more author
    In International Conference on Parallel Problem Solving from Nature, 2022
  2. IOHanalyzer: Detailed performance analyses for iterative optimization heuristics
    Hao Wang, Diederick Vermetten, Furong Ye, and 2 more authors
    ACM Transactions on Evolutionary Learning and Optimization, 2022
  3. Automated configuration of genetic algorithms by tuning for anytime performance
    Furong Ye, Carola Doerr, Hao Wang, and 1 more author
    IEEE Transactions on Evolutionary Computation, 2022

2020

  1. Benchmarking a genetic algorithm with configurable crossover probability
    Furong Ye, Hao Wang, Carola Doerr, and 1 more author
    In International Conference on Parallel Problem Solving from Nature, 2020

2019

  1. Interpolating local and global search by controlling the variance of standard bit mutation
    Furong Ye, Carola Doerr, and Thomas Bäck
    In 2019 IEEE Congress on Evolutionary Computation (CEC), 2019

2018

  1. Towards a theory-guided benchmarking suite for discrete black-box optimization heuristics: profiling (1+ λ) EA variants on OneMax and LeadingOnes
    Carola Doerr, Furong Ye, Sander Rijn, and 2 more authors
    In Proceedings of the Genetic and Evolutionary Computation Conference, 2018

2017

  1. A hybrid algorithm for a vehicle routing problem with realistic constraints
    Defu Zhang, Sifan Cai, Furong Ye, and 2 more authors
    Information Sciences, 2017

2016

  1. A novel forecasting method based on multi-order fuzzy time series and technical analysis
    Furong Ye, Liming Zhang, Defu Zhang, and 2 more authors
    Information Sciences, 2016