Author

Zhaoxin Fan

h-index 1 View on Semantic Scholar

We have 2 of 16 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Progressive Subexpression Reuse in Symbolic Regression: Insights from RL-based Search and a Genetic Programming Realization

Reinforcement Genetic Programming is proposed, a purely GP-based and non-RL framework that explicitly realizes a stage-wise retention– reintroduction loop through a dynamically maintained subexpression pool and pool-guided population initialization, suggesting that progressive subexpression reuse is an effective mechanism for SR search.

Xiang-Dong Wu, Wenjun Wu, Bing-Run Chen et al. · 0 citations

#artificial intelligence Preprint Aug 2026

SMTrap: Cost-Effective DoS Attacks Against Large Reasoning Models via SMT Conflict Guidance

A novel, model-feedback-free LRM-DoS paradigm that employs the conflict count derived from an Satisfiability Modulo Theories (SMT) solver as a low-cost external signal to guide the synthesis of inference-heavy Constraint Satisfaction Problem (CSP) instances.

Jian Yang, Zhenqi Feng, Zhaoyang Yu et al. · 0 citations