Graph-token reasoning under a BPB artifact budget

ToricGT

ToricGT embeds tropical ring attention into toric geometry, then uses graph tokens, Forest-of-Thought search, persistent homology, Toric BGG certificates, vector-bundle one-dimensional-cone sheaf audits, and BPB-first training to pressure compact language models toward structured reasoning.

ToricGT visual backdrop

Best Completed Run

Best int8 BPB 0.4953

final int8+zlib round-trip BPB

Validation BPB 0.4924

score on the OAI FineWeb validation stream

Train BPB 0.5036

latest train-side BPB in the selected run

Compressed bytes 12,202,796

model artifact before code/dependency accounting

Campaign BPB Trace

Lower bars are better: BPB is a cost, so the best run is highlighted in green and should sit closest to the baseline.

Campaign tg-bpb-bestof10-convextok2048-det-20260621T040717Z restarts from step 0 each attempt. Current best profile: gate2500_experimental_family_selective. Best run id: tg-bpb-bestof10-convextok2048-det-20260621T040717Z-r008-gate2500_experimental_family_selective-20260621T154110Z.

Core Metrics

final_int8_loss0.842962
final_int8_bpb0.4953
val_loss0.838000
val_bpb0.4924
train_loss0.855800
train_bpb0.5036
graph_lm_bpb0.2962
checkpoint_step1000.0000

Competition Context

Lower BPB is better. ToricGT is shown with the current local best exported run, followed by the official top five entries listed in the local OpenAI Parameter Golf clone.

Status Run BPB Author Summary Date Info
pending ToricGT ConvexTok-2048 Graphified FoT 0.4953 Amelie Schreiber ToricGT ConvexTok-2048 with first-class TokenGT graphification, OAI-only flattening, FoT/GFlowNet heads, MTP, GraphCG, toric/BGG/Koszul/topological audits. Pending Parameter Golf PR review and independent verification; local capped validation BPB 0.4924. 2026-06-21 checkpoint · PR/status
1 Calib32 Token-Only N-gram + AsymLogit Stack 1.0565 codemath3000 On PR #2135: pre-cutoff PR #2130 architecture rerun on clean canonical CaseOps data with GPTQ_CALIBRATION_BATCHES=32; 3-seed mean 1.05651 under grace policy (p=0.014 vs PR #2014) 2026-05-01 info
2 Progressive Context Growth + Short-Doc Score-First TTT 1.0576 simonbissonnette On PR #2014: PR #1855/#1953 CaseOps stack with progressive context growth to 3k plus short-doc score-first TTT on the AWQ-lite/AsymLogit lineage; 3-seed mean 1.05759 (p=0.011 vs PR #1953) 2026-04-30 info
3 Long-Context No-Q/V TTT + QK-Gain 5.25 1.0586 andrewbaggio1 On PR #1953: PR #1945 V21 base with 2560 eval/TTT context, no-Q/V TTT mask, TTT LR 0.75, and QK_GAIN_INIT=5.25; 3-seed mean 1.05855 (p=0.063 vs PR #1945 V21 v2) 2026-04-30 info
4 AWQ-Lite GPTQ + AsymLogit on PR1855 Stack 1.0594 alertcat On PR #1945 commit 70067534: PR #1855 stack plus PR #1908 AWQ-lite mixed GPTQ and PR #1923 AsymLogit; V21 v2 3-seed mean 1.05943 after strict seed-42 rerun (p=0.034 vs PR #1855) 2026-04-29 info, commit
5 BOS-Fixed SmearGate + LQER + SparseAttnGate + 9-Hparam Stack 1.0611 codemath3000 On PR #1855: BOS-fixed #1797-derived stack with LQER, PR #1787 SparseAttnGate/PolarNS/FusedCE base, per-group lrzip compression, and 9 greedy hyperparameter overrides; submitted 3-seed mean 1.06108 with broader reproduction support (p=0.188 vs PR #1868 latest rerun) 2026-04-27 info, repro

The ToricGT row is not claiming accepted leaderboard status. It is a pending experimental/non-record candidate until the Parameter Golf PR, tokenizer accounting, reproducibility checks, and official review are complete.

What Is Being Optimized

BPB stays primary. The advanced losses are small, evidence-weighted pressures that shape hidden graph structure, retrieval, toric/tropical geometry, and algebraic consistency without letting those objectives dominate byte likelihood.

  • graphcg_loss0.011413

    Full-rank GraphCG pressure: disentangles latent concept axes so graph and byte objectives can expose stable directions rather than collapsing into one entangled basis.

  • analogy_loss0.064827

    Analogical-retrieval lattice loss: encourages maps between reasoning memories through simplex-tree and vectorized persistent-homology similarity gates.

  • tokengt_graph_loss1.162810

    First-class TokenGT graph objective: trains causal node, edge, endpoint, distance, torus, and tokenization-DAG features used by the OAI FineWeb adapter.

  • memory_loss1.140689

    Trajectory-memory retrieval loss: selects reusable reasoning traces and stabilizes retrieval-conditioned auxiliary routing.

  • toric_geometry_loss5.884988

    Toric embedding and fan audit loss: keeps tropical ring attention active faces embedded into toric charts with interpretable cone/fan structure.

  • toric_vector_bundle_1d_cone_ce_loss0.704291

    Toric vector-bundle one-dimensional-cone/sheaf CE: regularizes per-cone filtrations and sheaf-style compatibility across fan neighborhoods.

  • toric_bgg_loss0.164997

    Toric BGG category-O supervision: keeps finite category-O certificates, standard filtrations, Gale-dual labels, and differential consistency visible.

  • koszul_persistence_loss0.045398

    Koszul/persistence loss: checks filtered complexes, multigraded modules, and chain-complex consistency for topological reasoning traces.

  • toric_cca_topology_loss1.045991

    Combinatorial toric commutative algebra/topology loss: tracks monomial staircases, syzygies, and CAS-backed toric module diagnostics.

  • derived_signature_loss3.243159

    Derived-signature distillation: compresses resolution, chain-map, and derived-category evidence into low-rank signatures for training-time audits.

  • oai_gflownet_loss1.715701

    Embedding-space GFlowNet loss: samples graph-of-thought continuations with reward tied to byte-likelihood, retrieval utility, and structural diversity.

  • oai_fot_loss5.027384

    Embedding-space Forest-of-Thought loss: searches branching reasoning forests and uses BPB-delta reward to prioritize branches that improve compression.

  • oai_mtp_loss11.487040

    Multi-token prediction loss: adds short-horizon targets that improve early byte likelihood while staying compatible with graph output flattening.

  • graph_lm_loss0.368675

    Graph-LM primary loss: trains graph-structured records directly while FineWeb output flattening remains optional and BPB-focused.

Conceptual Helpers

These small animated sketches summarize the operational math: tropical dynamic programming, toric embedding, reasoning forests, and persistence-vector retrieval.

Tropical Path

ConvexTok and tropical attention both expose min-plus or max-plus active paths with margins.

Toric Fan

Active tropical faces are embedded into toric charts so cone, divisor, and one-dimensional-cone audits become meaningful.

Forest Search

Embedding-space FoT/GFlowNet branches are rewarded by BPB-delta and structural diversity.

PH Retrieval

Analogies require simplex-map evidence and vectorized persistent-homology agreement.

Visualizations

Interactive Analysis Lab

The generated reports use compact native Canvas/SVG interactivity wherever it matters: 3D campaign tetrahedra, 3D reasoning trajectories, filtered reasoning-step simplicial complexes, CAS links, simplex-map summaries, vectorized PH panels, and raw metric tables without forcing giant plotting payloads on first load.

Campaign Metric Tetrahedra and Triangles

Interactive gallery over completed run metrics: multiple tetrahedra plus blue-shaded triangle views for BPB, graph/FoT, toric, topology, BGG, memory, and compactness metrics.

metric tetrahedra · shaded triangles · run labels · BPB color scale · hover raw metrics
Open report

Simplex Trajectory Report

Potato-safe graph-of-thought trajectory report with exact summary metrics, static screenshots of the full and per-step filtered simplicial complexes, analogical memory maps, vectorized persistent-homology panels, and links to the generated analysis artifacts.

static first · exact metrics · screenshots · 3D PCA · simplex maps · PH panels
Open report

GUDHI Persistent Homology

Exact simplex-tree persistent homology, persistence landscapes/images/entropy, vectorized PH features, and Macaulay2 F2[x_level,y_radius] artifacts.

PH records · landscapes/images · entropy · Macaulay2 links
Open report

Toric Embedding and Staircases

Tropical ring-attention embeddings into toric charts, one-dimensional cones, Miller-Sturmfels staircase modules, staircase overlays, and fan diagnostics.

toric charts · staircases · normal fans · one-dimensional cones
Open report

CAS Algebra Sidecar

Sage/Macaulay2-backed module, resolution, syzygy, and derived-signature evidence generated for the embedding audits.

resolutions · syzygies · CAS records · derived signatures
Open report

Toric BGG Category O

Combined Category O explainer and generated audit table for finite highest-weight skeletons, standard masks, BGG differentials, Gale duality, and Koszul checks.

category O skeleton · d² residual · standard masks · Gale dual · Koszul profile
Open report

Forest-of-Thought Method

Dark-mode FoT explanation and interactive embedding-space forest diagram adapted to ToricGT’s graph-valued hidden trajectories.

multiple thought trees · sparse activation · self-correction · BPB-delta reward
Open report

ConvexTok Tokenization Geometry

Interactive byte-boundary DAG, min-plus equations, LP tokenizer-regret interpretation, and ToricGT TokenGT graphification links.

LP lower bound · min-plus DP · tokenization DAG · tokenizer regret
Open report

Advanced Geometry Gallery

Dark-mode diagrams for tropical ring attention, toric fans, Young tableaux, tensor products, persistence modules, and control theory.

Young tableaux · Schur functors · F2[x,y] modules · thought alcoves
Open report

Central Construction

ToricGT treats graph-structured data as graph-in/graph-out by default, but gives OAI FineWeb an optional BPB-only flattening path. Tokenization DAGs are graphified, edge tokens are first-class, and tropical dynamic-programming paths are embedded into toric varieties so the model can audit active faces using fans, cones, one-dimensional cones, divisors, sheaf/vector-bundle signals, and commutative-algebra certificates.

Next Steps

The next phase turns ToricGT from a compact BPB competitor into a general graph-to-graph reasoning substrate for scientific and multimodal agents.

Continuous Structure Tokenization

ConvexTok suggests a practical recipe: build a candidate graph, solve or relax a global path/cover objective, then round into a compact token inventory. The same idea can be lifted from byte strings to continuous 3D structures by replacing byte-boundary edges with geometric motifs: protein backbone fragments, residue-neighborhood contact patches, ligand pharmacophore neighborhoods, mesh cells, point-cloud patches, and local dynamical states. The tokenization objective should remain tropical-toric: dynamic programming supplies active paths, LP or optimal-transport relaxations supply lower bounds and regret metrics, and toric charts organize the active motif complex into cones, divisors, and sheaf-compatible local neighborhoods.

ToricBLM Continuation

The ToricBLM direction builds on ToricGT by continuing training toward a universal-modality biomedical reasoning model: sequences, atom graphs, protein contact graphs, RNA/DNA structures, complexes, assay facts, trajectories, and scientific claims all become typed graphs with optional continuous coordinates. The mathematical foundation is the bounded-domain universal equivariant graph-to-graph approximation theorem: within fixed graph budgets, a TokenGT-style model can approximate continuous equivariant graph maps, while tropical heads add dynamic-programming and Boolean-circuit-like active support, and ConvexTok/TokenGT positional encodings expose graph grammar structure that ordinary token-only transformers must infer indirectly.

Reasoning, Memory, and Control

Embedding-space Forest-of-Thought and GFlowNet training make reasoning a controlled search process, not a single chain. GraphCG full-rank concept axes make the search directions inspectable. Persistent homology and Toric BGG certificates decide when a retrieved memory is an analogy rather than a superficial nearest neighbor. The proposed thought-alcove control layer then treats reasoning trajectories as dynamical systems inside tropical-toric cells: fan walls are decision boundaries, Lyapunov-style energies discourage unstable exits, ergodic averages diagnose repeated itinerary behavior, and optimal-control objectives choose interventions that keep the model inside productive alcoves while preserving BPB and task reward.

Pinched-Embedding Disambiguation

Jakubowski, Gašić, and Zibrowius argue that static word vectors are better modeled as a pinched manifold: a quotient of a meaning manifold in which several meaning sheets are identified at one word vector. Their diagnostic is operationally useful for ToricGT because our hidden states also identify many roles at one surface token, graph node, ConvexTok edge, or memory key. The proposed extension is to puncture the local neighborhood of an ambiguous token/edge/state, normalize the outgoing directions, compute degree-zero persistent homology with GUDHI, and use the resulting component structure as a sense, role, or analogy gate.

Finite theoremIf a local embedding neighborhood is the quotient of k disjoint meaning sheets glued at a target point z, then every sufficiently small punctured neighborhood, U with z removed, has k connected components. A Vietoris-Rips filtration sampled densely enough from that punctured neighborhood has k long-lived H0 branches, up to the usual stability error under Hausdorff perturbation.
Proof sketchBefore quotienting, choose disjoint local balls around the k preimages of z. Removing z removes the shared glued point, so the images of those balls no longer touch. Thus the punctured quotient neighborhood splits into k components. Persistent H0 detects the merge radii of sampled components; stability of persistence diagrams bounds the change when hidden vectors or approximate nearest neighbors move slightly.
ToricGT implementationFor a target token, graph vertex, graph edge, ConvexTok DAG edge, or retrieved memory state, gather k nearest original embedding vectors, remove the target, map neighbors to (v-z)/||v-z||, compute H0 persistence and vectorized summaries, cluster components, then train a small disambiguation head only when the PH gate is confident and BPB loss is not harmed.
Training lossesUse a BPB-gated component cross-entropy, a component-margin loss between selected and nonselected local sheets, a PH landscape/image similarity term for analogical retrieval, and a toric fan-refinement term that aligns component boundaries with tropical active-face walls. Keep all weights adaptive, uncertainty-controlled, and subordinate to byte likelihood.
GotchasNeighborhood size matters: too small misses senses, too large measures global density. Contextual hidden states may already split some senses, so the gate should detect residual pinches rather than force artificial clusters. Comparisons must use original hidden coordinates, not PCA. Synonymy is not the same obstruction as polysemy, and PH pseudo-labels must not leak validation text or override BPB.

This gives a rigorous path from topological word-sense induction to ToricGT: ConvexTok supplies tokenization DAG neighborhoods; TokenGT supplies equivariant vertex/edge neighborhoods; tropical attention supplies active dynamic-programming sheets; toric charts turn those sheets into cones, walls, divisors, and one-dimensional-cone audits; GraphCG supplies interpretable coordinates; analogical memory requires simplex-map and PH agreement inside the same component; and Toric BGG certificates prevent standard-object leakage across incompatible local sheets. The expected benefit is fewer sense-collisions during retrieval and graph flattening, cleaner memory selection, and lower BPB when ambiguous token choices were causing early likelihood spikes.

Thought Fluid Dynamics

The Tropical Quivers of Archs program frames learned graph-to-graph functions as composable operators with tropical/polyhedral local charts. For ToricGT, that suggests a fluid view of reasoning: hidden trajectories have divergence, circulation, vorticity, boundary flux, and energy. Navier-Stokes-inspired regularizers should be used conservatively, as audits and small penalties, but they give a precise vocabulary for branch merging, turbulence in unstable reasoning zones, and dissipative correction when FoT branches drift. The long-run objective is optimal control over a learned, graph-valued, tropical-toric dynamical system.

Topology of Word Embeddings · ToricBLM blog · Tropical Quivers of Archs · GeoBPE reference · protein structure tokenization benchmark