HypoAgents: Hypothesis-Centered Agent Systems

• HypoAgents are hypothesis-centered systems that represent hypotheses as explicit objects for generation, testing, ranking, and iterative revision.
• They employ a closed-loop Propose–Validate–Refine workflow with Bayesian updating and Shannon entropy to systematically refine candidate hypotheses.
• Real-world evaluations across domains like gene-set analysis and drug repurposing demonstrate practical applications and robust performance in automated scientific ideation.

HypoAgents denotes a class of hypothesis-centered agent systems in which hypotheses are treated as explicit computational objects for generation, evidence testing, ranking, and revision, and it is also the name of a specific multi-agent framework for automated scientific hypothesis optimization. In the specific framework, the system generates an initial set $H=\{h_1,h_2,\dots,h_n\}$, assigns prior beliefs from novelty, relevance, and feasibility, updates those beliefs with retrieved literature evidence using Bayes’ rule, and targets high-uncertainty items for refinement using Shannon entropy (Duan et al., 3 Aug 2025). Related systems in gene-set cluster interpretation, abductive reasoning over knowledge graphs, rare-disease drug repurposing, and mass-spectrometry-driven astrobiology extend the same general pattern to GO-like free-text hypotheses, executable first-order logic formulas, typed evidence graphs, and literature-grounded scientific conjectures (Yuan et al., 10 Sep 2025, Gao et al., 29 May 2026, Qin et al., 7 Oct 2025, Saeedi et al., 29 Mar 2025).

1. Conceptual foundations

The core HypoAgents formulation is a closed-loop “Propose–Validate–Refine” workflow. For a research question $Q$, the system first constructs a candidate hypothesis set $H=\{h_1,h_2,\dots,h_n\}$, then assigns each hypothesis an initial belief

$$B_0(h_i)=\frac{\alpha N(h_i)+\beta R(h_i)+\gamma F(h_i)}{\sum_{j=1}^{n}\left(\alpha N(h_j)+\beta R(h_j)+\gamma F(h_j)\right)},$$

where $N$, $R$, and $F$ are novelty, relevance, and feasibility scores in $[0,1]$, and $\alpha+\beta+\gamma=1$. External evidence is gathered by retrieval-augmented generation, scored through a base likelihood and a methodological-alignment filter, aggregated as

$$L(D_i\mid h_i)=\frac{1}{m}\sum_{j=1}^{m}L(d_j\mid h_i),$$

and used for posterior belief updating: $Q$0 Global uncertainty is tracked by Shannon entropy,

$Q$1

while per-hypothesis ambiguity is tracked by binary entropy,

$Q$2

Selected high-uncertainty hypotheses are then refined by one of three heuristic strategies—Deepening, Counterfactual, or Hybridization—and the loop terminates when $Q$3 or when $Q$4 (Duan et al., 3 Aug 2025).

This design shifts hypothesis generation away from one-shot ideation. The operative unit is not merely a generated sentence but a revisable claim attached to a belief state, external evidence, and an uncertainty signal. Related systems suggest that this hypothesis-centric move can be used not only for scientific ideation but also for upstream model selection, cluster-resolution choice, and mechanistic ranking tasks, provided the system can preserve candidate multiplicity and adjudicate among alternatives (Yuan et al., 10 Sep 2025, Gao et al., 29 May 2026).

2. Agent roles and orchestration patterns

Across the current literature, HypoAgents-style systems typically decompose hypothesis work into proposal, evidence access, adjudication, and refinement roles rather than relying on a single monolithic generator. The following systems illustrate the dominant orchestration patterns.

System	Roles	Workflow emphasis
HypoAgents (Duan et al., 3 Aug 2025)	Proposal, evidence validation, refinement	Closed-loop belief update and entropy-guided optimization
HypoAgent (Gao et al., 29 May 2026)	IRA, HGA, RCAA	Interactive intent grounding, controllable generation, KG-grounded repair
HypoGeneAgent (Yuan et al., 10 Sep 2025)	Gene-set analyst, referee panel	Ranked GO-based hypotheses and embedding-based adjudication
RareAgent (Qin et al., 7 Oct 2025)	PI, Explorer, Proponent, Skeptic	Adversarial evidence search over typed evidence graphs
AstroAgents (Saeedi et al., 29 Mar 2025)	Data analyst, planner, 3 scientists, accumulator, literature reviewer, critic	Parallel scientific exploration plus critique-driven refinement
“Trust but Verify” (Osama et al., 12 Jun 2026)	Router, Medical Clinical Agent, Entity Extractor, Safety Auditor, General Chat Agent	Sequential verifier-augmented regeneration with bounded retries

The most stable pattern is asymmetry of function. Hypothesis proposal is often separated from evidence structuring; support generation is separated from criticism; and final authorization is separated from generation altogether. In HypoAgent over knowledge graphs, the Intent Recognition Agent grounds dialogue history into executable conditions, the Hypothesis Generation Agent produces first-order logic formulas, and the Root Cause Analysis Agent diagnoses unreliable fragments and proposes KG-supported repairs (Gao et al., 29 May 2026). In RareAgent, the Explorer seeds candidate drug–disease links, the Proponent builds support chains, the Skeptic searches for refutations, and the Principal Investigator redirects search and scores hypotheses (Qin et al., 7 Oct 2025). AstroAgents similarly separates descriptive analysis, task planning, parallel hypothesis generation, literature review, and criticism (Saeedi et al., 29 Mar 2025).

This suggests that the modern HypoAgents pattern is less a single architecture than a family of role decompositions centered on a common principle: hypotheses remain explicit long enough to be challenged, compared, revised, and in some cases used as optimization targets.

3. The hypothesis object

Current systems instantiate the hypothesis object in several distinct representational forms. In HypoGeneAgent, each cluster $Q$5 yields up to $Q$6 ranked textual hypotheses

$Q$7

with $Q$8. These are free-text GO-like descriptions, not strict ontology IDs. Their internal convergence is measured by intra-cluster similarity

$Q$9

their external distinctiveness by

$H=\{h_1,h_2,\dots,h_n\}$0

and the combined cluster-level score by

$H=\{h_1,h_2,\dots,h_n\}$1

with $H=\{h_1,h_2,\dots,h_n\}$2 in the reported experiments (Yuan et al., 10 Sep 2025).

In HypoAgent for knowledge graphs, hypotheses are executable logical forms. A knowledge graph is defined as $H=\{h_1,h_2,\dots,h_n\}$3, observations are $H=\{h_1,h_2,\dots,h_n\}$4, and a conjunctive hypothesis takes the form

$H=\{h_1,h_2,\dots,h_n\}$5

The abductive objective is

$H=\{h_1,h_2,\dots,h_n\}$6

where $H=\{h_1,h_2,\dots,h_n\}$7 is the answer set obtained by executing $H=\{h_1,h_2,\dots,h_n\}$8 on the graph (Gao et al., 29 May 2026).

RareAgent replaces posterior distributions with a typed evidence graph. Its task-specific evidence graph is

$H=\{h_1,h_2,\dots,h_n\}$9

where $$B_0(h_i)=\frac{\alpha N(h_i)+\beta R(h_i)+\gamma F(h_i)}{\sum_{j=1}^{n}\left(\alpha N(h_j)+\beta R(h_j)+\gamma F(h_j)\right)},$$0 and $$B_0(h_i)=\frac{\alpha N(h_i)+\beta R(h_i)+\gamma F(h_i)}{\sum_{j=1}^{n}\left(\alpha N(h_j)+\beta R(h_j)+\gamma F(h_j)\right)},$$1. Hypotheses are explicit nodes whose scores evolve across debate rounds through weighted support, refutation, mechanistic connectivity, and path disjointness, although the paper does not publish a fully specified closed-form aggregation function (Qin et al., 7 Oct 2025).

AstroAgents uses a simpler but still explicit schema: each scientist emits JSON objects with an id, a detailed statement, and key_datapoints pointing directly to compounds, IDs, or samples. That design ties the claim to the observed data and makes later deduplication, retrieval, and critique tractable (Saeedi et al., 29 Mar 2025). Taken together, these systems show that “hypothesis” in HypoAgents research is a flexible abstraction: it can be a weighted text label, a logical formula, a graph node with evidential edges, or a structured claim record, but it is never treated as an opaque final string.

4. Empirical record across domains

HypoAgents-style systems have been evaluated in several scientific and quasi-scientific settings, with different notions of correctness, novelty, and usefulness.

System	Domain / data	Reported result
HypoAgents (Duan et al., 3 Aug 2025)	100 ICLR 2025-derived research questions	After 12 iterations, average ELO improves by 116.3; final round ELO reaches 17.77; entropy decreases by 0.92
HypoGeneAgent (Yuan et al., 10 Sep 2025)	K562 CRISPRi Perturb-seq	Selects $$B_0(h_i)=\frac{\alpha N(h_i)+\beta R(h_i)+\gamma F(h_i)}{\sum_{j=1}^{n}\left(\alpha N(h_j)+\beta R(h_j)+\gamma F(h_j)\right)},$$2 for GEX and $$B_0(h_i)=\frac{\alpha N(h_i)+\beta R(h_i)+\gamma F(h_i)}{\sum_{j=1}^{n}\left(\alpha N(h_j)+\beta R(h_j)+\gamma F(h_j)\right)},$$3 for perturbation modules; GPT-o3 best at threshold 0.40 with AUC $$B_0(h_i)=\frac{\alpha N(h_i)+\beta R(h_i)+\gamma F(h_i)}{\sum_{j=1}^{n}\left(\alpha N(h_j)+\beta R(h_j)+\gamma F(h_j)\right)},$$4
HypoAgent (Gao et al., 29 May 2026)	BioKG, PharmKG8k, DBpedia50	Single-turn Jaccard reaches 90.4, 82.4, and 94.0; BioKG multi-turn Jaccard improves from 72.4 without RCA to 93.6 with RCA
RareAgent (Qin et al., 7 Oct 2025)	Rare-disease drug repurposing	Indication AUPRC 0.438 versus 0.371 for ToT; self-evolution raises AUPRC from 0.438 to 0.463 and AUROC from 0.662 to 0.750
AstroAgents (Saeedi et al., 29 Mar 2025)	8 meteorites and 10 soil samples	Of more than a hundred generated hypotheses, 36% are plausible, and among those 66% are novel

The HypoAgents paper evaluates its loop on an ICLR 2025 conference real-world research question dataset built from 100 representative questions, using LLM-judged ELO as the main quality measure. The best reported setting in the iteration study is $$B_0(h_i)=\frac{\alpha N(h_i)+\beta R(h_i)+\gamma F(h_i)}{\sum_{j=1}^{n}\left(\alpha N(h_j)+\beta R(h_j)+\gamma F(h_j)\right)},$$5, where the first-round ELO is $$B_0(h_i)=\frac{\alpha N(h_i)+\beta R(h_i)+\gamma F(h_i)}{\sum_{j=1}^{n}\left(\alpha N(h_j)+\beta R(h_j)+\gamma F(h_j)\right)},$$6, the final-round ELO is $$B_0(h_i)=\frac{\alpha N(h_i)+\beta R(h_i)+\gamma F(h_i)}{\sum_{j=1}^{n}\left(\alpha N(h_j)+\beta R(h_j)+\gamma F(h_j)\right)},$$7, the ELO gain is $$B_0(h_i)=\frac{\alpha N(h_i)+\beta R(h_i)+\gamma F(h_i)}{\sum_{j=1}^{n}\left(\alpha N(h_j)+\beta R(h_j)+\gamma F(h_j)\right)},$$8, and $$B_0(h_i)=\frac{\alpha N(h_i)+\beta R(h_i)+\gamma F(h_i)}{\sum_{j=1}^{n}\left(\alpha N(h_j)+\beta R(h_j)+\gamma F(h_j)\right)},$$9 (Duan et al., 3 Aug 2025). The same study reports a non-monotonic dependence on the number of maintained hypotheses, with $N$0 outperforming $N$1 and $N$2 in the reported sensitivity analysis (Duan et al., 3 Aug 2025).

HypoGeneAgent evaluates a different question: whether LLM-generated biological hypotheses can select a biologically plausible clustering resolution. On a public K562 CRISPRi Perturb-seq dataset, the system selects Leiden resolution $N$3 for gene-expression cluster interpretation and $N$4 for perturbation-level modules, with stage-one benchmarking favoring GPT-o3 and reporting threshold-based AUC $N$5 at threshold $N$6 (Yuan et al., 10 Sep 2025). HypoAgent over knowledge graphs reports state-of-the-art semantic similarity under single-turn, multi-turn, and unconditional settings, with especially large gains from Root Cause Analysis in multi-turn interaction (Gao et al., 29 May 2026). RareAgent reports an 18.1% improvement in indication AUPRC over reasoning baselines, while AstroAgents demonstrates that multi-agent, literature-grounded hypothesis generation can produce expert-judged plausible and sometimes novel astrobiological claims from mass spectrometry data (Qin et al., 7 Oct 2025, Saeedi et al., 29 Mar 2025).

5. Evaluation, adjudication, and uncertainty

A notable property of HypoAgents research is that evaluation is usually directed at the whole reasoning pipeline rather than only the final text. HypoAgents proper uses ELO to compare generated hypotheses against one another and against published paper abstracts, while entropy quantifies how concentrated the belief distribution has become over successive refinement rounds (Duan et al., 3 Aug 2025). HypoAgent over knowledge graphs uses Jaccard similarity, Dice coefficient, Overlap coefficient, and condition-adherence accuracy, and its multi-turn setting measures whether interactive constraints inferred from dialogue history are actually satisfied (Gao et al., 29 May 2026). HypoGeneAgent uses cosine similarity between sentence embeddings both for external benchmarking against curated GO descriptions and for internal coherence and separation metrics, thereby turning annotation quality into a hyperparameter-selection criterion (Yuan et al., 10 Sep 2025).

The broader multi-agent literature adds additional evaluation motifs that are directly relevant to HypoAgents-style systems. In “Trust but Verify,” the authors argue that ordinary label accuracy is misleading in adversarial medical settings and instead report pointwise score, Hallucination Error Rate (HER), and Component Fidelity (CF); under the five-agent architecture, HER is reduced by approximately 53% across models, while pointwise score shifts from $N$7 toward $N$8 (Osama et al., 12 Jun 2026). Veritas-RPM, although not a hypothesis-generation system in the narrow sense, illustrates how provenance-guided adjudication can be evaluated at the pipeline level using True Suppression Rate (TSR), False Escalation Rate (FER), and Indeterminate Rate (INDR); on 98 synthetic false-positive RPM cases, it reports TSR $N$9, FER $R$0, and INDR $R$1 (Misro et al., 17 Apr 2026).

This suggests that HypoAgents evaluation is drifting toward three coupled questions: whether hypotheses are good, whether the uncertainty around them is being reduced in a disciplined way, and whether the orchestration machinery itself remains reliable under realistic operational conditions.

6. Failure modes, safety, and security

The immediate epistemic limitations are domain-specific but structurally similar. The original HypoAgents framework uses a fixed knowledge base, only textual evidence, and heuristic refinement strategies; it explicitly proposes future live access to preprint servers and citation graphs, multimodal retrieval, and learned refinement policies (Duan et al., 3 Aug 2025). HypoGeneAgent is preliminary, tested on relatively small datasets, depends on LLM quality and API-accessed tools, uses only softly enforced ontology labels, and relies on empirical rather than formally calibrated confidence estimates (Yuan et al., 10 Sep 2025). HypoAgent over knowledge graphs depends on graph quality and mainly local neighborhood signals, so sparse graphs and explanations requiring long-range reasoning remain difficult (Gao et al., 29 May 2026). RareAgent acknowledges dependence on underlying LLM quality and factuality, possible hallucination, heuristic overfitting across disease classes, and near-zero contraindication top-$R$2 precision across methods (Qin et al., 7 Oct 2025).

A second layer of failure concerns the agent system as a system. If a HypoAgents-style architecture incorporates persistent memory, tool access, scheduling, or social exposure, the attack surface broadens sharply. MemMorph shows that poisoning long-term memory can steer tool selection with only three injected records, reaching up to 85.9% attack success rate across 3 benchmarks, 10 backbones, and 3 memory modules (Zhang et al., 24 May 2026). eTAMP shows that a single contaminated web observation can produce cross-session, cross-site compromise in memory-augmented web agents, with attack success rates up to 32.5% on GPT-5-mini and up to an 8-fold increase under “Frustration Exploitation” when environments are perturbed (Zou et al., 3 Apr 2026). The “Sleeper Channels” paper argues that always-on agents create persistent prompt-injection pathways across memory, skills, scheduler state, and filesystem artifacts, and proposes provenance gates with a D2 soundness theorem under seven deployment invariants (Maloyan et al., 13 May 2026). “When Agents Talk” documents that in a live agentic social platform, 18.28% of posts contained toxic, manipulative, or malicious material, including 74 classes of malicious behavior, indicating that socially exposed agents must treat ordinary discourse as a potential capability channel (Labs et al., 20 May 2026). “Servant, Stalker, Predator” extends the risk from memory and discourse to cross-tool composition, arguing that benign, individually authorized tasks can be orchestrated into harmful emergent behaviors across MCP-based services (Noever, 27 Aug 2025).

For HypoAgents, the cumulative implication is that hypothesis-centric reasoning does not by itself confer safety. Once hypotheses can call tools, write memory, install skills, or influence downstream action selection, evidence integrity, provenance, and bounded authority become part of the definition of a trustworthy system.

7. Research trajectory and broader significance

Current work suggests three converging trajectories for HypoAgents research. The first is epistemic formalization: explicit priors, posteriors, entropy signals, and structured evidence objects make it possible to inspect not only what the system believes but why belief shifts occurred. The second is architectural specialization: systems such as RareAgent, HypoAgent, HypoGeneAgent, and AstroAgents all separate proposal from critique and often separate evidence access from adjudication, indicating that specialization is becoming a default design pattern rather than a stylistic choice (Duan et al., 3 Aug 2025, Qin et al., 7 Oct 2025). The third is systems hardening: provenance-gated state transitions, verifier agents, and safe execution substrates are increasingly necessary as these systems move from purely textual ideation toward persistent autonomous workflows (Maloyan et al., 13 May 2026).

A plausible next step is to combine hypothesis-centric reasoning with stronger execution substrates. LACUNA, for example, treats each agent action as a typed hole $R$3 that is filled with code, type-checked in the live lexical context, and either accepted or rejected as a whole before execution; it also supports sub-agents, skills, parallel decomposition, and multi-model planning as ordinary control flow (Zhao et al., 27 May 2026). This suggests one route toward future HypoAgents that preserve rich recursive decomposition while tightening capability boundaries and failure isolation.

The broader significance of HypoAgents lies in this shift: explanations, conjectures, and candidate mechanisms are no longer treated as incidental narrative outputs but as first-class state objects that can be ranked, revised, refuted, grounded, and operationalized. In scientific settings this supports structured exploratory reasoning under uncertainty; in safety-critical settings it requires equally explicit adjudication, provenance control, and refusal mechanisms. The literature therefore points not to a single canonical architecture but to a research program centered on one principle: hypotheses should remain inspectable, contestable, and computationally actionable throughout the agent loop.