Publication Catalog

All stories

All published intelligence, sovereign stack research, ecosystem news, and AI foundation model reviews.

8439
Stories
Research1 мин

IneqAgent: Agentic Inequality Proving in Lean with Symbolic Computation

arXiv:2610.20681v1 Announce Type: new Abstract: Formal inequality proving requires mathematical reasoning and exact computation, often connected through intermediate lemmas and goal reformulations. We introduce IneqAgent, an agentic framework combining LLM reasoning with…

arXiv — cs.AI
Research1 мин

L2G-SR: Learning to Guide LLM-based Symbolic Regression

arXiv:2610.20685v1 Announce Type: new Abstract: Symbolic regression searches for an equation that explains observed data. Numerical error is commonly used to guide the search, but it alone can favor an accurate surrogate over a candidate with the right structure. We propose…

arXiv — cs.AI
Research1 мин

ARIA: Runtime Inspection and Amendment for Multi-Agent Systems

arXiv:2610.20780v1 Announce Type: new Abstract: In LLM-based multi-agent systems (MAS), a local mistake can propagate as other agents build on it, turning a correctable error into a failed task. Diagnosing completed runs or repeatedly re-executing them to search for corrections…

arXiv — cs.AI
Research1 мин

Open-world AI: a Tale of Three Requirements

arXiv:2610.20782v1 Announce Type: new Abstract: The closed world asks AI for specialized competence and lets it manufacture the iid data its theory assumes: a fixed criterion licenses collecting examples until the task is covered. The open world asks for versatility --- taking…

arXiv — cs.AI
Research1 мин

Defining and Generating Compositional Structure

arXiv:2610.20922v1 Announce Type: new Abstract: Compositional structure is pervasive in nature and across scales: atoms combine into molecules, molecules into cells, and cells into organisms, while further compositional hierarchies appear within each level. More broadly,…

arXiv — cs.AI
Research1 мин

SkillNEO: Non-Elitist Evolutionary Optimization of Agent Skills

arXiv:2610.20926v1 Announce Type: new Abstract: Agent skills turn procedural knowledge into reusable artifacts, allowing LLM agents to accumulate and refine expertise through experience. Building on this, skill evolution iteratively improves skills using execution feedback.…

arXiv — cs.AI
Research1 мин

RAC: A Relational Agent Contract for Constraint-Governed Engineering Tasks

arXiv:2610.20935v1 Announce Type: new Abstract: Engineering agents must produce artifacts that satisfy exact, coupled constraints. Existing solutions often require agents to make semantic decisions and also derive consequences such as precise geometry or timing from those…

arXiv — cs.AI
Research1 мин

StepSafe: Learning Timely Intervention with Context-Aware Safety Reasoning

arXiv:2610.20960v1 Announce Type: new Abstract: Safety in agentic systems is inherently sequential: whether an action is safe depends on prior actions, tool outputs, information disclosures, and interactions among agents. Recent work has shifted agent safety guardrails from…

arXiv — cs.AI
Research1 мин

Evaluating Model Capabilities After Benchmark Saturation

arXiv:2610.20667v1 Announce Type: new Abstract: Rapid advances in AI capabilities are causing benchmarks to saturate. Once several models approach perfect scores, a benchmark loses its power to differentiate between them, and with it its utility for informing AI safety cases and…

arXiv — cs.AI
Research1 мин

Temporal Specification Guidance for Text-to-Video Generation

arXiv:2610.20822v1 Announce Type: new Abstract: Text-to-video models often generate the visual concepts requested in natural language prompts but fail to satisfy their intended ordering, timing, and persistence requirements. We propose representing these requirements as…

arXiv — cs.AI
Research1 мин

LEV: Thinking Fast and Deep with Looped Decision Models

arXiv:2610.20951v1 Announce Type: new Abstract: Decision models answer typed questions about an input with one probability per option, computed in a single forward pass without generating text. Like the fast System 1 of dual-process theory, they answer at once, but their depth…

arXiv — cs.AI
Research1 мин

ChatGPT can now view Chrome tabs

ChatGPT can now extract information from open Chrome tabs.

SMNTCN (Semanticon) — глобальные новости ИИ
Research1 мин

ChatGPT can peek at your Chrome tabs now

OpenAI's ChatGPT Atlas browser is gone, but now ChatGPT's Google Chrome extension is getting some upgrades that allow it to use the browser tabs you already have open. With the extension installed, OpenAI says ChatGPT can now view your browser tabs when you tag Chrome in…

The Verge — AI
General1 мин

Sega pulls Total War: Shogun 2 remaster from sale following disastrous launch

Sega is removing Total War: Shogun 2 - Complete Edition from storefronts following a disastrous launch where users complained about issues like bugs and upscaling that appears to have been done by AI. Complete Edition, a remaster of the 2011 strategy game, launched on Tuesday,…

The Verge — AI