Let A(n,k) count the 1324-avoiding permutations of length n with k inversions, and let a(k) = sumj=0k p(j)p(k-j), where p is the partition function. We prove A(n,k) ≤ A(n+1,k) for 0 ≤ k ≤ floor(n2 / [20 log2(n+1)]), for every n ≥ 1. We also prove A(n,k)/a(k) = 1 + O(log log n / log n), uniformly for 0 ≤ k ≤ π2n2 / [12(...
J Allikvere· Zenodo (CERN European Organi...· 0 citations
The Juggler map sends an even positive integer to the integer part of its square root and an odd positive integer to the integer part of its three-halves power. We obtain restrictions on hypothetical nontrivial cycles. For a cycle with minimum n, length L, and o odd steps, we prove the cycle-financing inequality nlog n...
Philippe Cochin· Zenodo (CERN European Organi...· 0 citations
A benchmark leaderboard is read as a stopwatch: the rank beside a model is treated as a fact. Yet every entrant is scored on the same items and publishes which it solved, so a leaderboard is a paired experiment, and its ordering can be tested rather than trusted. We test each adjacent-rank pair for statistical separabi...
Ilpo Väätäinen· Zenodo (CERN European Organi...· 0 citations
Large Language Models (LLMs) deployed through Conversational User Interfaces (CUIs) are transforming health information-seeking by offering immediate, interactive experiences compared to traditional search engines like Google. However, how trust is influenced by both the types of search agents and the interface used to...
Xin Sun, Rongjun Ma, Xiaochang Zhao et al.· Behaviour and Information Te...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
We propose an agentic Large Language Model (LLM) framework for active Fault-Tolerant Control (FTC) that transforms fault detection outputs into constraint-aware recovery actions grounded in plant-specific knowledge. The approach couples (i) a multi-agent workflow that decomposes operator duties into monitoring, plannin...
Javal Vyas, Milapji Singh Gill, Artan Markaj et al.· Journal of Process Control· 0 citations
This part sets out how each of the four scoreboards of Europe's AI position is built: venture capital, GPU-cluster compute, model output and inference prices. On money and compute Europe's shares are 6.1 percent of 2025 global AI venture capital as the EU27, about 12 percent once the UK, Switzerland and Norway are coun...
This archive contains the data, alignment maps, rater materials, and source code needed to audit and reproduce every figure and table in the manuscript. The study measures how completely an accredited BSc Computer Science program covers the ACM/IEEE/AAAI computing body of knowledge through three nested lenses: topical...
Sherzod Turaev· Zenodo (CERN European Organi...· 0 citations
Context: Prompt repetition, the verbatim duplication of an input transforming into , has been shown to improve accuracy for non-reasoning large language models on retrieval and multiple-choice benchmarks [Leviathan et al., 2025]. Objective: We ask whether applying this analogous pattern to fixed delegate instructions p...
Hugues Clouatre· Zenodo (CERN European Organi...· 0 citations
Large language model (LLM) agents are typically optimized to achieve given objectives, but real-world objectives are often incomplete, ambiguous, or misaligned with underlying needs. This paper proposes a structured architecture for meta-objective reframing—the process of critically examining and reorganizing objective...
Masanao Ishikawa· Zenodo (CERN European Organi...· 0 citations
A skill library and agent relay protocol for working with large language model agents, judged on control fidelity: legible state, cheap correction, a reliable halt. Includes a vendor-independent capability taxonomy, a message schema for relaying work between agents and humans across surfaces, and a routing rule that ga...
Aidan Naveja· Zenodo (CERN European Organi...· 0 citations
A skill library and agent relay protocol for working with large language model agents, judged on control fidelity: legible state, cheap correction, a reliable halt. Includes a vendor-independent capability taxonomy, a message schema for relaying work between agents and humans across surfaces, and a routing rule that ga...
Aidan Naveja· Zenodo (CERN European Organi...· 0 citations
Learn how Google DeepMind and GovTech Singapore uses lightweight on-device Gemma models to intercept conversational scams in private chats with zero cloud data egress.
Microsoft Research Blog· microsoft.comOct 12, 2026
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 8, 2026
