§ 1   Papers

Papers

Published and in-preparation work from the Ufinq research effort. Papers describe the algorithmic foundations of the system; the productized implementation is part of the Diafunc platform.

The reading list is small by design: every entry corresponds to a load-bearing component of the Ufinq system. As individual modules mature into publishable form, they are listed here alongside their current status.

§ 2   Listings

Reading list

§ 2.1 · 2026 · IN PREPARATION

AHISTER: Adaptive Hierarchical Isolated Sub-Branching with Tournament-Based Expansion and Reduction for Symbolic Regression

Markus Pollak

Symbolic regression seeks to discover mathematical expressions that accurately describe observed data, yet standard genetic-programming approaches frequently suffer from premature convergence and diversity collapse as populations stagnate on local optima. AHISTER introduces a dynamic multi-branch evolutionary framework, a mathematical colosseum in which independent evolutionary branches first develop in isolation, then enter the arena under tournament-based asymmetric partitioning into intensification and diversification paths. A coordinating branch aggregates a real-time Hall of Fame from asynchronous sub-branches; a dual stagnation clock governs termination at both local and global levels.

StatusDraft: method complete, evaluation in progress
TopicsSymbolic regression · Distributed evolutionary search · Multi-branch GP

 Read current draft (PDF)

§ 2.2 · 2026 · IN PREPARATION

DEBOHAC: Distributed Evolution through Budget-Driven Orchestration over Hierarchically Aggregated Capacity

Markus Pollak

Distributed evolutionary search across heterogeneous compute clusters poses two coupled challenges: where should newly generated work execute, and how much effort should each unit of work consume? DEBOHAC is a holonic cluster scheme designed for symbolic-regression workloads in which independent branches and their recursive sub-branches must be distributed across an arbitrary-depth tree of cooperating instances. Capacity flows upward as periodic situation reports that aggregate hierarchically; budget flows downward as the authority to evolve. Each instance independently runs a three-step orchestration cycle that instantiates the principle of subsidiarity at every level.

StatusDraft: method complete, evaluation in progress
TopicsDistributed scheduling · Holonic cluster orchestration · Subsidiarity

PDF will be linked here with the evaluation.

§ 2.3 · 2026 · CANDIDATE

CRESCENT: Sequential Early Stopping for Candidate Evaluation in Symbolic Regression

Markus Pollak

Evaluating evolved candidates is the dominant cost in symbolic regression at scale, and most of it is spent on candidates that will be discarded. CRESCENT scores a candidate in batches and stops as soon as it is statistically clear that the candidate is not competitive: a sample-size bound fixes the minimum number of rows, and a threshold drawn from the population's current error distribution decides at every batch boundary. The paper describes the mechanism and the experimental framework for isolating its contribution against a benchmark baseline.

StatusPaper candidate: mechanism in use, ablation open
TopicsApproximate evaluation · Compute-aware search · Symbolic regression
§ 3   Read

How to read

Papers are typeset for the NeurIPS template. Drafts of papers under review link to the current PDF above; once a paper reaches preprint or published status, BibTeX is added alongside the link. Papers earlier than the draft-complete stage are listed here in abstract form only.

If you would like to discuss a specific paper, write to research@ufinq.com.