ThatAIguyA world of ideas

THE CONSCIOUSNESS ATLAS
Read. Experiment. Follow the evidence.

ConsciousnessLearn · Explore · Joseph Anady

The equation library

Every recovered mathematical record has an individual page. Browse original equations, code expressions, indexed components, parameter definitions, and explicitly unresolved source slots.

2,910 recordsSource snapshot 2026-10-17

Counts refer to mathematical records, including implemented expressions and generated instances. They are not counts of independently validated theories. Exact occurrences and unresolved slots remain traceable. Read the complete 1–516 source index ↗ · Inspect the scan decisions ↗

2,910 records · page 20 of 59Search the source archive ↗
donor-eq-1e5426ed968b98

KimiK25VisionProcessor.split_video_chunks: chunk

In KimiK25VisionProcessor.split_video_chunks, this statement defines or updates chunk. The displayed multiplication combines the source factors. For tensors this is elementwise unless the called operation explicitly performs a matrix contraction.

Donor model implementationhistorical source recovered; expression not executed in this website audit
chunk = sampled_frames[chunk_id * temporal_merge_kernel_size:(chunk_id + 1) * temporal_merge_kernel_size]
donor-eq-48d035afc8bd89

KimiK25VisionProcessor.split_video_chunks: frame inds

In KimiK25VisionProcessor.split_video_chunks, this statement defines or updates frame_inds. The addition or subtraction updates the named state or combines residual contributions. The input shapes and the order in the surrounding forward path must be preserved.

Donor model implementationhistorical source recovered; expression not executed in this website audit
frame_inds = np.linspace(0, video_spec.num_frames - 1, sampled_nframes).round().astype(int)
donor-eq-a3f1f77ddf7615

KimiK25VisionProcessor.split_video_chunks: sampled nframes

In KimiK25VisionProcessor.split_video_chunks, this statement defines or updates sampled_nframes. The expression forms a quotient or integer division. The denominator, integer rounding and tensor shape convention determine its scale or index result.

Donor model implementationhistorical source recovered; expression not executed in this website audit
sampled_nframes = max( round(video_spec.num_frames * sample_fps / video_spec.fps), 1)
donor-eq-23bfdeced47519

MoEGate.forward: group scores

In MoEGate.forward, this statement defines or updates group_scores. The top-k operation selects the largest scores. Ties and group masking affect which experts or entries survive the discrete boundary. The reduction aggregates values along the explicit source axis; preserving the axis and…

Donor model implementationhistorical source recovered; expression not executed in this website audit
group_scores = (scores_for_choice.view( bsz * seq_len, self.n_group, -1).topk(2, dim=-1)[0].sum(dim=-1))
donor-eq-38e70115c51786

MoEGate.forward: score mask

In MoEGate.forward, this statement defines or updates score_mask. The expression forms a quotient or integer division. The denominator, integer rounding and tensor shape convention determine its scale or index result.

Donor model implementationhistorical source recovered; expression not executed in this website audit
score_mask = (group_mask.unsqueeze(-1).expand( bsz * seq_len, self.n_group, self.n_routed_experts // self.n_group).reshape( bsz * seq_len, -1))
donor-eq-45bdb29d0fe981

MoonViT3dEncoder.forward: lengths

In MoonViT3dEncoder.forward, this statement defines or updates lengths. The displayed multiplication combines the source factors. For tensors this is elementwise unless the called operation explicitly performs a matrix contraction.

Donor model implementationhistorical source recovered; expression not executed in this website audit
lengths = torch.cat(( torch.zeros(1, dtype=grid_thws.dtype, device=grid_thws.device), grid_thws[:, 0] * grid_thws[:, 1] * grid_thws[:, 2], ))
donor-eq-89521de08893c6

MoonViTEncoderLayer.attention_qkvpacked: qkv shape

In MoonViTEncoderLayer.attention_qkvpacked, this statement defines or updates qkv_shape. The addition or subtraction updates the named state or combines residual contributions. The input shapes and the order in the surrounding forward path must be preserved.

Donor model implementationhistorical source recovered; expression not executed in this website audit
qkv_shape = xqkv.size()[:-1] + ( 3, self.num_heads, self.hidden_size_per_attention_head, )
donor-eq-1b2639875394e9

Rope2DPosEmbRepeated._precompute_freqs_cis: dim range

In Rope2DPosEmbRepeated._precompute_freqs_cis, this statement defines or updates dim_range. The expression forms a quotient or integer division. The denominator, integer rounding and tensor shape convention determine its scale or index result.

Donor model implementationhistorical source recovered; expression not executed in this website audit
dim_range = (torch.arange(0, self.dim, 4)[:(self.dim // 4)].float().to(device) )
donor-eq-15e241517a6c44

Rope2DPosEmbRepeated.get_freqs_cis: freqs cis

In Rope2DPosEmbRepeated.get_freqs_cis, this statement defines or updates freqs_cis. The expression forms a quotient or integer division. The denominator, integer rounding and tensor shape convention determine its scale or index result.

Donor model implementationhistorical source recovered; expression not executed in this website audit
freqs_cis = torch.cat( [ self.freqs_cis[:h, :w].reshape(-1, self.dim // 2).repeat(t, 1) for t, h, w in shapes ], dim=0, )
donor-eq-1280d57a833b40

TikTokenTokenizer.__init__: special tokens

In TikTokenTokenizer.__init__, this statement defines or updates self.special_tokens. The addition or subtraction updates the named state or combines residual contributions. The input shapes and the order in the surrounding forward path must be preserved.

Donor model implementationhistorical source recovered; expression not executed in this website audit
self.special_tokens = { special_tokens_mapping.get(i, f"<|reserved_token_{i}|>"): i for i in range(num_base_tokens, num_base_tokens + self.num_reserved_special_tokens) }

Search equations, builds, manuscript text, and recovered sources.