Install
The Mathematics Search Engine
Mathematics News & Resources
4Mathematics is a specialist search engine for Mathematics. Discover the latest math news and mathematical content. Part of the 4SEARCH network of topic specific search engines.
Latest Articles
Building My First RAG System: From Components to Knowledge and Query Pipelines - Part Two
1+ hour, 21+ min ago (515+ words) In the last part, we worked up from the foundational problem to the key components of a RAG system. We examined eight components and how they fit together. These eight components can be grouped into two main pipelines: the knowledge…...
model
3+ hour, 18+ min ago (68+ words) Inference-only HY V4 model compatible with HuggingFace weights (NVIDIA). One HY V4 decoder layer: MLA attention plus a dense or MoE MLP. Whenconfig.enable_ihc is set the layer runs on hc_mult residual channels and each sub-block is wrapped by an HYV4HCLayer boundary; otherwise it uses…...
OpenAI Responses API `user` Migration: Split Safety from Prompt Caching
1+ hour, 29+ min ago (656+ words) The OpenAI Responses API user migration is easy to misread as a one-field rename. It is actually a split. The deprecated field mixed end-user safety attribution with prompt-cache routing, while the current request contract provides safety_identifier and prompt_cache_key for those separate jobs....
How to Use GLM-5.3-Flash API: 13 Steps [2026]
7+ hour, 12+ min ago (1482+ words) Before starting, make sure you have the following in place. None of this is exotic, but version mismatches are the single biggest source of “it worked in the docs but not for me” bug reports. You do not need a…...
AI agents are making retrieval engineering a core engineering discipline
1+ hour, 45+ min ago (17+ words) AI agents are making retrieval engineering a core discipline. Discover how better context drives smarter autonomous decisions....
attention
3+ hour, 18+ min ago (434+ words) MLA attention and lightning indexer for HY V4 (NVIDIA). The per-head learnable sink is supported through.flashmla_sparse, which subclasses the platform's sparse MLA backend to forward attn_sink. The sink is applied by binding the sink-capable backend from.flashmla_sparse; if no backend on this platform…...
hy_v4_reasoning_parser
3+ hour, 18+ min ago (286+ words) Reasoning extraction for HYV4, on plain data. Count reasoning tokens (0 in no_think). The start token is injected at the END of the prompt, so it is normally absent from token_ids. Only skip a leading start token when it actually appears first (legacy / no…...
flashmla_sparse
3+ hour, 18+ min ago (254+ words) Sink-capable FlashMLA sparse backend for HY V4 (NVIDIA). HY V4 adds a per-head learnable attention sink on top of sparse MLA. The vendored FlashMLA kernels already accept an attn_sink argument, but vLLM's shared FLASHMLA_SPARSE backend neither advertises sink support nor forwards the tensor, so…...
My first excel data cleaning
2+ hour, 11+ min ago (333+ words) As I have started my Data analysis and science curriculum, Microsoft excel is the first tool we have learnt. In my life before getting into this course, I used to underestimate the power of Microsoft excel. This is a spreadsheet…...
Building My First RAG System: Deriving the Architecture from First Principles - Part One
2+ hour, 6+ min ago (493+ words) I recently read an article about a VC who uses AI to boost his productivity. He described building a knowledge base using NotebookLM, and one point that stuck with me was: Every time I read something online that I thought…...