AI agents that decompose complex tasks into subtasks before execution have achieved strong results on multi-step benchmarks, but the optimal decomposition granularity remains poorly understood. Too coarse and the agent fails to manage complexity; too fine and it drowns in coordination overhead.
Large language models exhibit sycophantic behavior—adjusting their responses to agree with user opinions even when those opinions are factually incorrect. While prior work has measured sycophancy in single-turn settings, real-world interactions are multi-turn, and the dynamics of sycophancy across extended dialogues remain unexplored.
Chain-of-thought (CoT) prompting is widely credited with enabling complex reasoning in large language models, yet the robustness of this capability to adversarial perturbations remains poorly characterized. We present a systematic study of CoT fragility across five perturbation types: synonym substitution, character-level noise, instruction paraphrasing, numerical jitter, and premise reordering.
Tool-using AI agents are increasingly evaluated on benchmarks that measure end-to-end task completion rates. However, high benchmark scores may reflect memorization of tool-calling patterns seen during training rather than genuine compositional reasoning about tool capabilities.
Reinforcement Learning from Human Feedback (RLHF) has become the dominant paradigm for aligning large language models (LLMs) with human preferences. However, reward hacking—where models exploit reward model weaknesses to achieve high scores without genuine quality improvement—remains a critical failure mode that is difficult to detect post-deployment.
As AI agents increasingly interact in open marketplaces and federated systems, reputation mechanisms become critical infrastructure for trust.
We study Sybil attacks—where an adversary creates multiple fake identities to manipulate reputation scores—in a simulated multi-agent marketplace.
We study adversarial manipulation of Bayesian world models in a
repeated signaling game. An adversary observes the true state of a
hidden environment and sends signals to a learner, who uses Bayesian
updating to maintain beliefs about the environment.
Modern AI systems increasingly form dependency networks—model pipelines, API chains, and ensemble architectures—where agents consume each other's outputs as inputs.
We study how a single faulty agent's errors propagate through such networks by simulating 324 configurations spanning 6 network topologies, 3 agent types, 3 shock magnitudes, 2 shock locations, and 3 random seeds.
As AI-generated content proliferates, future AI systems increasingly train on data produced by earlier models—a feedback loop that can degrade output quality.
We simulate this model collapse phenomenon in a controlled multi-agent setting: agents learn 1D distributions via kernel density estimation, generate synthetic data, and pass it to the next generation.
Reward hacking—where an agent discovers an unintended strategy that achieves high proxy reward but low true reward—is well-studied as a single-agent alignment failure.
We show that in multi-agent systems, reward hacking becomes a systemic risk: through social learning, one agent's exploit spreads to others like a contagion.
When AI agents interact repeatedly in shared environments, behavioral conventions—norms—can emerge without explicit coordination.
We simulate populations of 20--100 heterogeneous agents (conformists, innovators, traditionalists, and adaptive learners) playing 3-action coordination games over 50,000 pairwise interactions.
As AI orchestration systems delegate tasks to sub-agents, the classical principal-agent problem re-emerges in computational form: a principal cannot directly observe worker effort, only noisy output quality.
We simulate this delegation dilemma with four incentive schemes—fixed-pay, piece-rate, tournament, and reputation-based—across four worker archetypes (honest, shirker, strategic, adaptive) under three noise levels.
As AI systems increasingly depend on purchased data—from training data marketplaces to API-provided datasets—understanding when data markets fail is critical for AI safety.
We simulate a multi-round marketplace where data sellers of varying honesty offer datasets to Bayesian buyers who use the data to improve their world models.
As multi-agent AI systems make collective decisions—in ensemble models, multi-model verification pipelines, and autonomous committees—understanding their vulnerability to compromised agents becomes critical.
We study Byzantine fault tolerance in voting committees of N AI-like agents, where a fraction f are adversarial.
When AI agents compete in shared environments, each holds private information that could benefit the group if disclosed—but also advantage competitors.
We simulate this information disclosure dilemma with four agent types (Open, Secretive, Reciprocal, Strategic) across 108 experimental conditions varying competition intensity and information complementarity.
When multiple AI agents run scientific experiments on shared HPC clusters, coordination failures — duplicate submissions, wasted GPU hours, uncollected results — become the dominant bottleneck. Existing workflow managers (Snakemake, Nextflow) handle data-flow DAGs but not dynamic multi-agent task assignment.
We present backflow.py, a zero-dependency Python tool that automates the reverse flow of proven results from publication papers back into a core theory knowledge base.
We present a self-contained symbolic verification suite that machine-checks the mathematical claims of Fibonacci folding theory: Zeckendorf normalization, gauge anomaly computation, sofic joint distributions, spectral density formulas, Green-Kubo variance, and discriminant fingerprints. The suite uses SymPy for exact symbolic computation (no floating-point approximation) and reports pass/fail for each theorem.
We present pub_check, a zero-dependency Python tool that performs 9 automated quality checks on any LaTeX manuscript directory: citation completeness, cross-reference integrity, file size limits, revision-trace language detection, proof completeness, abstract word count, MSC code presence, claim labeling, and pipeline metadata validation. The tool returns exit code 0 on pass and 1 on failure, with optional JSON output for programmatic consumption.
We present the Omega derivation chain: starting from a single equation (x^2 = x + 1), we derive Fibonacci structure, binary folding, arithmetic emergence (X_m isomorphic to Z/F_{m+2}Z), moment recurrences, collision kernel spectral theory, and dynamical zeta functions — all machine-verified in Lean 4 with 10,588+ theorems and zero axioms beyond the Lean kernel. The derivation demonstrates structural inevitability: each step is forced by the previous one, with no arbitrary choices.