§ 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.

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

Markus Pollak

Symbolic regression seeks to discover closed-form 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 complete — under review
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 complete — review pending
TopicsDistributed scheduling · Holonic cluster orchestration · Subsidiarity
§ 2.3 · 2026 · CANDIDATE

CRESCENT: Approximate-Evaluation Gating for Symbolic Search

Markus Pollak

Full-fidelity evaluation of evolved candidates is the dominant cost in symbolic regression at scale. CRESCENT introduces approximate-evaluation gating: cheap binned evaluations decide whether a candidate deserves a full-fidelity score, redirecting compute toward the most promising regions of the search space. We describe the gating mechanism, the binning prerequisite, and the experimental framework for isolating its contribution against an SRBench-grounded baseline.

StatusPaper candidate — binning prerequisite shipped
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.