Search: “model-releases”

Harnessing Code Agents for Automatic Software Verification

arXiv:2607.06341v1 Announce Type: cross Abstract: Formal verification offers the strongest guarantee of software correctness, but it does not scale: the proofs demanded by interactive theorem provers

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Model Releases

Harnessing Generative Image Models for Training-Free Primitive Shape Abstraction

DGX agent

arXiv:2607.05568v1 Announce Type: cross Abstract: Representing 3D shapes as compact sets of geometric primitives is fundamental to robotics, simulation, and scene understanding. Generative image model

model-releasesarxiv-cs-ai

8 Jul 2026

Hierarchical Acoustic-Semantic Modeling: Modality Separation and Semantic Coherence for Full-Duplex SLMs

model-releasesarxiv-cs-cl

arXiv:2607.06540v1 Announce Type: new Abstract: Developing seamless, high-performance, native intelligent full-duplex Spoken Language Models (SLMs) remains a critical challenge and long-standing goal

Hilti-Trimble-Oxford Dataset: 360 Visual-Inertial Benchmark with Floor Plan Priors for SLAM and Localization

model-releasesarxiv-cs-ro

arXiv:2607.06464v1 Announce Type: new Abstract: Automated progress monitoring on construction sites is an active area of research and development. Robot and human-carried mapping systems have been dev

HoloCount: A Holistic Visual Counting Benchmark for MLLMs

arXiv:2607.06420v1 Announce Type: new Abstract: Visual counting is a fundamental pillar of multimodal intelligence, requiring a seamless integration of fine-grained grounding and spatial reasoning. Wh

I am more excited to try this pattern instead. Same Executor-Advisor setup but with GPT-5.6 as the executor and Fable 5 as the advisor. It a…

I am more excited to try this pattern instead. Same Executor-Advisor setup but with GPT-5.6 as the executor and Fable 5 as the advisor. It already works wonderfully using GPT-5.5, so I think 5.6 shoul

model-releasesdair-ai--x

I cannot put into words how stoked I am on this It's not an understatement to say that this blueprint could represent the future of enterpri…

model-releasesharrison-chase--x

I cannot put into words how stoked I am on this It's not an understatement to say that this blueprint could represent the future of enterprise inference Introducing the NemoClaw Deep Agents Blueprint,

I often use Pinokio to download and work with local open source AI tools/models, and one neat thing is that it exposes them seamlessly to Co…

model-releasesethan-mollick--x

I often use Pinokio to download and work with local open source AI tools/models, and one neat thing is that it exposes them seamlessly to Code and Codex. GPT-5.6 actually found my local video models a

I was an early tester of GPT-5.6 Sol. I was asked to not share demos until after launch but it is a very good model. It is of similar abilit…

model-releasesethan-mollick--x

I was an early tester of GPT-5.6 Sol. I was asked to not share demos until after launch but it is a very good model. It is of similar ability, but quite different feel, than Fable. Fable wants to go o

Imagined Rollouts are Kinematic, Not Dynamic: A Diagnosis of Long-Horizon World-Model Failure

model-releasesarxiv-cs-ro

arXiv:2607.05966v1 Announce Type: new Abstract: Long-horizon failure in world models is conventionally attributed to compounding error, a generic framing that does not distinguish what kind of error c

Improving LLM-Generated Process Model Quality Through Reinforcement Learning: The Role of Reward Function Design

arXiv:2607.06175v1 Announce Type: cross Abstract: Large language models (LLMs) can generate BPMN process models from natural-language descriptions, yet supervised fine-tuning (SFT) limits their output

Improving TabPFN's Synthetic Data Generation by Integrating Causal Structure

arXiv:2603.10254v2 Announce Type: replace Abstract: Synthetic tabular data generation addresses data scarcity and privacy constraints in a variety of domains. Tabular Prior-Data Fitted Network (TabPFN

IMR: Iterative Mode-World Weighted Regression for Multi-Agent Trajectory Prediction

arXiv:2607.05705v1 Announce Type: cross Abstract: Multi-agent motion prediction is essential for automated vehicles to understand the intentions of surrounding vehicles. However, previous prediction-b

In this video, VFX artist @heydoughogan walks through a ComfyUI workflow for generating clean plates and removing objects from footage - aut…

In this video, VFX artist @heydoughogan walks through a ComfyUI workflow for generating clean plates and removing objects from footage - automatically. No manual rotoscoping required. What's covered:

model-releasescomfyui--x

IndoorR2X: Indoor Robot-to-Everything Coordination with LLM-Driven Planning

model-releasesarxiv-cs-ro

arXiv:2603.20182v4 Announce Type: replace Abstract: Although robot-to-robot (R2R) communication improves indoor scene understanding beyond what a single robot can achieve, R2R alone cannot overcome pa

Industry Classification of GitHub Repositories Using the North American Industry Classification System (NAICS)

arXiv:2607.06505v1 Announce Type: cross Abstract: GitHub hosts hundreds of millions of public repositories, but the platform exposes no native mapping from repositories to standardized industry sector

Information Limits and Attractor Dynamics in Economies of Frontier LLM Agents: A Pre-Registered Test

arXiv:2607.06001v1 Announce Type: new Abstract: We report a pre-registered, two-part experiment on small economies of frontier language-model agents (Claude Opus 4.8), testing two quantitative predict

Inject or Navigate? Token-Efficient Retrieval for LLM Analysis of Transactional Legal Documents

model-releasesarxiv-cs-cl

arXiv:2607.05764v1 Announce Type: new Abstract: Answering questions over a set of transactional legal documents is most simply done by injecting the whole corpus into the LLM's context window on every

Introducing Claude apps gateway for AWS

model-releasesaws-ml-blog

Today, we're announcing the Claude apps gateway for AWS, a self-hosted control plane that gives organizations a single point of control over access, cost, and policy for Claude Code and Claude Desktop

Introducing GPT-Live, a new generation of voice models for natural human-AI interaction. Rolling out in ChatGPT starting today. You’ll want …

GPT-Live is a new generation of voice model developed by OpenAI designed to enable more natural human-AI voice interactions. The model began rolling out to ChatGPT users starting on the date of this a

model-releasesopenai--x

Introducing GPT‑Live

model-releasessimon-willison

Introducing GPT‑Live OpenAI finally upgraded the model used by ChatGPT voice mode! I've had preview access for a few weeks in the iPhone app, and the new model is very impressive. It also has the abil

Introducing the NemoClaw Deep Agents Blueprint, a reference architecture for building open agent systems developed with @NVIDIA ✅ A fully op…

model-releasesharrison-chase--x

Introducing the NemoClaw Deep Agents Blueprint, a reference architecture for building open agent systems developed with @NVIDIA ✅ A fully open stack enterprises can own and customize ✅ Benchmark-leadi

Intuitionistic Fuzzy Graph Embedded Random Vector Functional Link with Multiview Learning

arXiv:2607.05635v1 Announce Type: new Abstract: Random Vector Functional Link (RVFL) networks are popular due to their fast training and universal approximation capabilities. However, RVFL models face

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs

arXiv:2607.05478v1 Announce Type: new Abstract: Loop invariant inference is a fundamental yet challenging problem in program verification. Recent LLM-aided guess-and-check techniques have shown strong

Is Your NPU Ready for LLMs? Dissecting the Hidden Efficiency Bottlenecks in Mobile LLM Inference

arXiv:2607.05475v1 Announce Type: cross Abstract: Deploying Large Language Models (LLMs) on mobile devices enhances privacy and reduces latency, but is severely bottlenecked by hardware inefficiency.

It runs on wheeled, legged, and flying robots and generalizes across sizes, unlocking delivery, logistics, manufacturing, and hospitality. R…

model-releasesmistral-ai--x

Mistral AI has developed a unified robotic control system or framework that operates across multiple robot morphologies—including wheeled, legged, and flying variants—while generalizing across differe

I've been letting Claude and GLT-5.5 write almost all of my commit messages recently, but I don't feel great about it 'omitting the higher-l…

model-releasessimon-willison--x

I've been letting Claude and GLT-5.5 write almost all of my commit messages recently, but I don't feel great about it 'omitting the higher-level framing needed to understand broadly what the code is d

Label Hierarchy Transition: Delving into Class Hierarchies to Enhance Deep Classifiers

arXiv:2112.02353v3 Announce Type: replace Abstract: Hierarchical classification aims to sort the object into a hierarchical structure of categories. For example, a bird can be categorized according to

Latency-Constrained Hardware-Aware Quantum Error Correction Co-Design with Adaptive Confidence-Gated Neural Decoding for the Rotated Surface Code

arXiv:2607.05814v1 Announce Type: cross Abstract: Real-time decoding is a major bottleneck in scaling quantum error correction (QEC) from noisy intermediate-scale quantum (NISQ) devices to fault-toler

Learning to Control LLM Agent Harnesses with Offline Reinforcement Learning

arXiv:2607.05458v1 Announce Type: cross Abstract: Large language model (LLM) agents are usually improved by changing prompts, models, or hand-written workflows, while the execution harness around the

Level-Crossing Density as a Mesh-Free High-Frequency Auxiliary Loss for Implicit Neural Representations

arXiv:2607.05815v1 Announce Type: new Abstract: The Minkowski functionals of a field's excursion sets -- area, boundary measure, and Euler characteristic -- describe its level-set morphology; the Eule

Leveraging Extragradient for Effective Sharpness-Aware Minimization in Deep Learning

arXiv:2607.06151v1 Announce Type: new Abstract: Generalization remains a pivotal challenge in deep learning, where traditional optimizers like Stochastic Gradient Descent (SGD) often converge to sharp

LingDT-VL-OCR: Structure-Aware Document-Level Parsing with Fine-Grained Visual Reference

arXiv:2603.11044v2 Announce Type: replace Abstract: In this paper, we propose LingDT-VL-OCR, a document parsing system tailored to financial-domain documents, transforming ultra-long financial PDFs in

Linking Hadith Narrator Identities Across Heterogeneous Arabic Biographical Databases: A Multi-Signal Entity Resolution Pipeline

model-releasesarxiv-cs-cl

arXiv:2607.05424v1 Announce Type: cross Abstract: The transmission chains (sanad) of Islamic Hadith literature encode relationships among tens of thousands of historical narrators whose biographical r

llama.cpp recently added DFlash support to its speculative decoding arsenal. Along with MTP, Eagle3 and various ngram-based techniques, the …

model-releasesgeorgi-gerganov--x

llama.cpp recently added DFlash support to its speculative decoding arsenal. Along with MTP, Eagle3 and various ngram-based techniques, the local model performance takes another step up. Special thank

LLM Agents for Deliberative Collaboration: A Study on Joint Decision Making Under Partial Observability

arXiv:2607.06157v1 Announce Type: cross Abstract: Deliberation plays a crucial role in collaboration; when humans work together, they naturally engage in communication to align information and reach a

LLM-Driven Neural Network Generation with Same-Family Architecture Guidance: Disentangling Transfer and Adaptation

arXiv:2607.05704v1 Announce Type: cross Abstract: Large language models (LLMs) can generate neural-network modifications, but unrestricted generation is often invalid or harmful. This paper studies a

Local AI just got faster. ⚡️ We worked with @ggerganov to add DFlash support in llama.cpp delivering ~2x faster inference.

model-releasesclem-delangue--x

Local AI just got faster. ⚡️ We worked with @ggerganov to add DFlash support in llama.cpp delivering ~2x faster inference. llama.cpp recently added DFlash support to its speculative decoding arsenal.

LongCrafter: Towards Diverse Long-Context Understanding via Evidence-Graph-Guided Instruction Synthesis

arXiv:2607.06160v1 Announce Type: cross Abstract: Synthesizing long-context supervised fine-tuning (SFT) data is a scalable way to enhance the long-context understanding of large language models (LLMs

Meet the 33 cybersecurity startups joining the Gemini Startup Forum

model-releasesgoogle-cloud-ai

Startups are at the forefront of tackling some of the world’s most complex challenges, especially in cybersecurity, where new ideas and adaptability are always needed. These companies are embracing AI

Memory in the Loop: In-Process Retrieval as ExtendedWorking Memory for Language Agents

arXiv:2607.05690v1 Announce Type: new Abstract: Language agents run a loop - observe, reason, act - but the memory they reason over sits outside it: a store queried at most once per turn. We study the

Meta launches image generation model with coding, search capabilities

model-releasessiliconangle

Meta Platforms Inc. today debuted an image generation model that can write code and search the web. Muse Image is the second algorithm released to date by Meta Superintelligence Labs, the company’s ar

Mistral launches Robostral Navigate, a hardware-agnostic robotics navigation model trained via simulation that uses a single camera and basic language prompts (Benoit Berthelot/Bloomberg)

Benoit Berthelot / Bloomberg: Mistral launches Robostral Navigate, a hardware-agnostic robotics navigation model trained via simulation that uses a single camera and basic language prompts — Mistral A

model-releasestechmeme

MobileWan: Closing the Quality Gap for Mobile Video Diffusion

arXiv:2607.06173v1 Announce Type: new Abstract: Recent advances in video diffusion have been driven by scaling transformer-based architectures to billions of parameters, substantially improving visual

MonoIR-RS: Infrared Remote Sensing Vision-Language Learning with CLIP and VLM Adaptation

arXiv:2607.06552v1 Announce Type: new Abstract: Infrared remote-sensing imagery captures intensity structure, object-background contrast, and illumination-invariant cues often invisible in RGB imagery

More Convincing, Not More Correct: Self-Play Reward Hacking of Reference-Free LLM Judges

arXiv:2607.05904v1 Announce Type: new Abstract: Training a language model against its own reference-free judgments (the premise of self-rewarding, self-play, and LLM-as-a-judge pipelines) assumes a mo

More info about speculative decoding with llama.cpp: https://github.com/ggml-org/llama.cpp/blob/master/docs/speculative.md

model-releasesgeorgi-gerganov--x

Speculative decoding is a technique implemented in llama.cpp that speeds up inference by using a smaller, faster model to predict multiple tokens ahead, which a larger model then verifies in parallel,

Multi-Channel Spread-Spectrum Code Watermarking

arXiv:2607.06009v1 Announce Type: cross Abstract: Attributing code to the large language model that produced it is essential for provenance, licensing, and misuse accountability, yet no deployed water