model releases

AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness

arXiv:2610.05367v1 Announce Type: cross Abstract: Proof auto-formalization translates natural-language (NL) theorems and proofs into a formal language (FL) such as Lean, enabling mechanical verificati

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Model Releases

All against the machine: the Solo score for rating skill in variable environments

DGX agent

arXiv:2610.04523v1 Announce Type: cross Abstract: We propose a distribution-free metric to rate individual skill in ``player-versus-environment'' settings, where participants face heterogeneous tasks

model-releasesarxiv-cs-lg

6 Oct 2026

All hands on deck pitching situation for the Guardians in game 3. Obviously Williams unlikely to go, and probably not Messick.

model-releasesanthropic--x

The Guardians’ pitchers list for Game 3 is highly fluid, with manager Paul Molitor indicating that Mike Williams is unlikely to start and Michael Messick probably will not be used either. Instead, he

AlloyDB: A unified database engine for hybrid search

model-releasesgoogle-cloud-ai

For modern AI and RAG applications, achieving high search relevance requires that you combine at least two techniques: vector search for semantic context, and full-text search (FTS) for keyword precis

ALoDLM: Adaptively Looped Diffusion Language Models

arXiv:2610.04198v1 Announce Type: cross Abstract: Diffusion language models (DLMs) enable fast generation by predicting multiple tokens in parallel, but their practical adoption remains limited by a p

An interesting cognitive bias: 'GLM 5.3 is around as capable as Claude Mythos at cyber-exploitation while also having much lower safeguards,…

model-releasesyann-lecun--x

An interesting cognitive bias: 'GLM 5.3 is around as capable as Claude Mythos at cyber-exploitation while also having much lower safeguards, meaning that every additional day absent some dire cybersec

Analysis of SWIR Imaging Detection Performance Under Adverse Environmental Conditions for Autonomous Driving Systems

arXiv:2610.06596v1 Announce Type: new Abstract: Short-wave infrared (SWIR) imaging has emerged as a promising modality for autonomous driving, yet its practical benefits over RGB remain poorly charact

Anatomy of LLM Sycophancy: What a Flip Rate Hides

arXiv:2610.06522v1 Announce Type: cross Abstract: A model under pushback can correct itself, capitulate, or hold, and one flip rate counts a correction and a capitulation alike. Using SycoLens, a modu

AnchorPose for Geometry-Aware MOF Assembly through Meso-Grained Pose Generation

arXiv:2610.05843v1 Announce Type: cross Abstract: Predicting metal-organic framework (MOF) structures from given building blocks requires recovering their positions and orientations in a periodic crys

AND HOW DOES THAT MAKE YOU FEEL? | An AI Short Comedy Film Made by Claude in Minimax H3 and my Video builder in ComfyUI.

model-releasesr-stablediffusion

YouTube Link in case it's still pending https://youtu.be/TWXF95YT7W8 🎬 How this was made My part • One-message brief: a 3-minute comedy in a therapist's office with funny, unique characters and one ma

AnimeGen is released. Now you can run Anima locally on your iPhone/iPad in HD!

model-releasesr-stablediffusion

I made AnimeGen, app that allows you to run Anima on your mobile phone. Since last post I added hd image generation, and different aspect ratios. The app is now available on the App Store: https://app

Announcing MCP Toolbox Java SDK v1.0: Agentic data access for the enterprise

model-releasesgoogle-cloud-ai

Co-authors:Stenal Jolly, Strategic Cloud Engineer, GoogleAnubhav Dhawan, Software Engineer, Google Following the landmark announcement of MCP Toolbox v1.0, we're thrilled to announce that the MCP Tool

Another example, my actual prompts https://x.com/bcherny/status/2102543349102338309?s=20

model-releasesboris-cherny--x

Another example, my actual prompts https://x.com/bcherny/status/2102543349102338309?s=20 I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing vari

Answer with Evidence: Consistency-Aware Grounded Visual Question Answering for Roadside Traffic Scenes

arXiv:2610.05274v1 Announce Type: new Abstract: Roadside traffic reasoning requires every free-form textual claim to be backed by visual evidence. Existing grounded multimodal large language models (M

ANT: A Multi-Granularity Network Traffic Dataset and Benchmark for Agents Behavior Auditing

arXiv:2610.06514v1 Announce Type: cross Abstract: The growing adoption of large language model (LLM) agents creates a need for network administrators and security teams to audit agent behavior within

Anthropic expands its Claude Startups program with 45K in discounts and credits via the Claude Startup Stack, a 1,000 API credit, and a year of Claude Team (Ashley Capoot/CNBC)

Ashley Capoot / CNBC: Anthropic expands its Claude Startups program with 45K in discounts and credits via the Claude Startup Stack, a 1,000 API credit, and a year of Claude Team — Anthropic on Tuesday

Anthropic expands its Cyber Verification Program by integrating Project Glasswing and offering three tiers, all with access to its most capable Claude models (Anthropic)

Anthropic: Anthropic expands its Cyber Verification Program by integrating Project Glasswing and offering three tiers, all with access to its most capable Claude models — We're launching a new, expand

Anthropic's IPO prospectus: Dario Amodei made 18M in 2025, ranking in the middle of top tech executives, and President Daniela Amodei, his sister, made 16.4M (Reuters)

Reuters: Anthropic's IPO prospectus: Dario Amodei made 18M in 2025, ranking in the middle of top tech executives, and President Daniela Amodei, his sister, made 16.4M — Dario Amodei made $18 million l

Anticipating the Consequences of Curriculum Decisions with Large Language Models

arXiv:2610.04604v1 Announce Type: new Abstract: Automatic curriculum learning can improve the effectiveness of reinforcement learning by selecting the training experiences presented to the agent over

Antseed launches a decentralized marketplace for AI inference that dramatically lowers developers’ costs

model-releasessiliconangle

Developers now have a much cheaper way to access cutting-edge artificial intelligence inference capabilities with the launch of Antseed today. It’s a new peer-to-peer marketplace that makes it possibl

Aplomb 1: open-weights 5.3B decision model, 1M context, text/image/video/audio in one request, #1 among 4B models on the Decision Index

model-releasesr-localllama

We released Aplomb 1 today, a 5.3B decision model with open weights. It reads up to 1M tokens of text, JSON, images, video and audio in a single request, and on our API it makes a decision on a 1M-tok

Are We Measuring Anticipation? Auditing Privileged Information in Procedural Video Evaluation

arXiv:2610.03826v1 Announce Type: new Abstract: Benchmark scores license claims about the capabilities being evaluated. We audit the inference licensed by an evaluation protocol, rather than the predi

Arm-wise Compositional Generalization in Dual-Arm Vision-Language-Action Models

model-releasesarxiv-cs-ro

arXiv:2610.06184v1 Announce Type: new Abstract: Generalization in multi-arm collaboration can be studied as composing familiar atomic skills in new ways across arms. However, existing evaluations offe

ArtifactArena: Evaluating Models by What They Build in the Physical World

model-releasesarxiv-cs-ro

arXiv:2610.06511v1 Announce Type: new Abstract: To evaluate the frontier, we must measure models not by what they say, but by what they can engineer and build in grounded physical environments. We int

Artificial Analysis says Mistral Large 4 is the most intelligent model from outside the US and China, achieving results comparable to DeepSeek V4.1 Flash (max) (Artificial Analysis)

Artificial Analysis: Artificial Analysis says Mistral Large 4 is the most intelligent model from outside the US and China, achieving results comparable to DeepSeek V4.1 Flash (max) — Mistral has relea

Assembling Insights for Agentic Machine Learning Engineering Systems

arXiv:2610.04927v1 Announce Type: cross Abstract: Agentic machine learning engineering (MLE) is an emerging AI4SE application for complex ML tasks and a step toward recursive self-improvement of AI sy

Asymptotically Optimal Best Arm Identification with Fixed-Budget under Differential Privacy

arXiv:2610.04600v1 Announce Type: new Abstract: Best arm identification under differential privacy is a pure-exploration problem in which both statistical efficiency and privacy protection must be ach

b11435

llama: fix k-pool scatter data race on shared sequences (#29994) llama: re-pool each shared k-pool rep once With shared cells every pool is re-pooled, and since the pooled keys are always scattered, t

b11436: ggml-openvino: fix CI tests; fix GPU regressions. (#30037)

ggml-openvino: skip unselected graph branches and support DUP Upstream #29622 adds a mixed token/embd branch to every input embedding graph through ggml_build_forward_select(). Its nodes are not flagg

b11438

test-llama-archs : initialize backends before generating models (#30034) With GGML_BACKEND_DL=ON, backends must be loaded explicitly before creating models. Assisted-by: Codex Website: https://llama.a

b11439

ggml: refactor selective expert copying to user code (#29943) ggml: refactor selective expert copying to user code tests: enroll two models into selective expert copy test tests: use deepseek2 as test

b11440

llama : re-reserve the sched when the nextn extraction flags change (#30020) The speculative MTP init enables NextN extraction on the target and draft contexts after both were created and their schedu

b11443

models : consolidate nextn row cropping into shared helpers (#30017) mimo2 : always emit h_nextn the other nextn-capable models set it unconditionally Assisted-by: pi:llama.cpp/MiMo-V2.6-Flash-MOPD mo

b11449

ggml: fix CLAMP on non-contiguous views (CPU, CUDA) (#29517) ggml: fix CLAMP on non-contiguous views (CPU, CUDA) CUDA clamped ggml_nelements values flat and ignored the view strides. CPU addressed row

b11450

RPC: add -sm tensor (#26610) rpc: allow -sm tensor fix flush for apple rdma move graph_uids to rpc_dispatcher cont : fix conflict cont: stop spinning dispatcher thread remove meta backend change add T

b11451

opencl: fix OOB read in adreno xmem GEMM (#30041) Website: https://llama.app Attestations: https://github.com/ggml-org/llama.cpp/attestations/53310534 macOS/iOS: macOS Apple Silicon (arm64) macOS Appl

b11454

model : add K2 Horizon dense and MoVA support (#29535) model: K2 Horizon gguf conversion code model: loading hparams and tensors in k2-horizon.cpp model: K2 Horizon compute graph model: K2 Horizon com

b11455

vocab : implement PLaMo-3 tokenizer pre-segmentation (#30045) vocab : implement PLaMo-3 tokenizer pre-segmentation The PLaMo-3 tokenizer inserts hard boundaries before running the Unigram DP, around <

b11457

cuda : add BF16 support for XIELU (#29955) The XIELU CUDA kernel template is already generic over the element type; only the F32/F16 type assertion and the else-if dispatch were missing. Add the nv_bf

BabelFake: A Multilingual Audio-Visual DeepFake Benchmark

arXiv:2610.06339v1 Announce Type: new Abstract: Reliable and practical audio-visual DeepFake detection requires benchmarks that reflect diverse linguistic contexts and modern data synthesis pipelines

backup/allozaur-ui-shell-polish: ui : polish the shell

The secondary button gets its own look back and the chat add button its own light surface. Pressable elements get a pointer cursor again, the font rendering smooths on the app shell, the root layout r

BARQ: Balanced Codebook Refinement for Low-Bit LLM Quantization

arXiv:2610.04490v1 Announce Type: new Abstract: As large language models (LLMs) grow in parameter count, model storage and parameter memory traffic have become major bottlenecks to efficient deploymen

Bayes-Sufficient Compression Is Not Enough: How Does Communication Help Multi-Agent Systems?

arXiv:2610.03769v1 Announce Type: new Abstract: Multi-agent LLM systems pair a sender with broad context and an executor with a limited local view. We study when a short message improves the executor'

Bayesian Optimization in Sequence-to-Architecture Latent Space for Zero-Shot NAS

arXiv:2610.06167v1 Announce Type: new Abstract: Zero-shot Neural Architecture Search removes the prohibitive cost of traditional NAS, but its search process is typically based on the evolutionary algo

BazaarBench: Delegation Safety in Decentralized C2C Marketplaces Run by LLM Agents

arXiv:2610.06748v1 Announce Type: cross Abstract: In decentralized consumer-to-consumer (C2C) marketplaces, people list goods, negotiate with strangers, and rate one another, so trust rests on reputat

Bellman-Centric Learning: Near-Optimal Regret for Linear Bandits with Memory

arXiv:2610.05659v1 Announce Type: new Abstract: We study linear bandits with memory, where past actions induce endogenous nonstationarity through an arbitrary known, bounded matrix-valued memory map.

[Benchmark] Running Local LLMs on Orange Pi 5 Plus (RK3588, 16GB): Ollama Tok/s, NPU Offloading, Core Pinning & Thermals

model-releasesr-localllama

Disclosure: This unit was provided free of charge by Orange Pi for testing. No editorial review, no preconditions, no script. All data, bottlenecks, and thermal behavior are reported directly from har

Benchmarking Generative Trajectory Models for Active-Inference Control

model-releasesarxiv-cs-ro

arXiv:2610.05692v1 Announce Type: new Abstract: Learning from trajectory demonstrations offers a route to active-inference control of complex systems whose dynamics are difficult to model explicitly.