model releases

Beyond Correctness: Toward Automated Novelty Verification with Lean 4

arXiv:2608.14669v1 Announce Type: new Abstract: Artificial intelligence systems applied to mathematics verify correctness but not novelty: an automatically generated theorem can compile in Lean withou

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Model Releases

Beyond Field Accuracy: Two-Axis Diagnosis of Inverse-PINN Parameter Error

DGX agent

arXiv:2608.15373v1 Announce Type: new Abstract: Inverse physics-informed neural networks (PINNs) can reconstruct a field accurately while returning an incorrect physical parameter. We introduce a two-

model-releasesarxiv-cs-lg

18 Aug 2026

Beyond Pass@k: Measuring Reliability and Security of Agentic Code Generation

arXiv:2608.14711v1 Announce Type: new Abstract: AI coding agent benchmarks rank agents with the Chen et al. (2021) pass@k estimator, but current implementations misapply it: they set n to the number o

Beyond Thresholds: A Quality-Aware Decision Intelligence Framework for Cold Chain IoT Systems

arXiv:2608.15082v1 Announce Type: new Abstract: Cold chain logistics has advanced technologically, yet most deployed systems remain reactive monitors, not decision-making agents: thresholds trigger al

Bitstream Action Recognition is Byte Modeling

arXiv:2608.15695v1 Announce Type: new Abstract: Conventional action recognition typically relies on successful pixel decoding of the bitstream. However, bitstream corruption during storage or transmis

Bounded Semantic Planning and Deterministic Compilation for Reliable Enterprise Text-to-SQL

arXiv:2608.16663v1 Announce Type: cross Abstract: Direct text-to-SQL asks a language model to do two jobs: interpret the business question and construct the complete relational query. In enterprise sc

BRAID: Learning Equilibrium Maps in Interdependent Security Games via Weight-Tied Iterative Graph Neural Networks

arXiv:2608.14856v1 Announce Type: cross Abstract: Computing Nash equilibria in interdependent security (IDS) games on networks is computationally expensive: best-response dynamics may need hundreds of

Breaking and Defending LLM-Powered Social Media Bot Detection Systems

arXiv:2608.15893v1 Announce Type: new Abstract: The rise of social media bots poses a persistent threat, enabling misinformation, opinion manipulation, and the erosion of trust in online platforms. To

Breaking the Compression Barrier: Cross-Architecture Compression Boundary Learning via Reverse Regrowth

arXiv:2608.16010v1 Announce Type: cross Abstract: Model compression is critical for deploying networks on resource-constrained edge devices. While pruning-based methods can significantly reduce model

Brex’s summer benchmark shows how quickly the infrastructure behind the agent economy is growing. 14 of the 25 fastest-growing software vend…

model-releasestogether-ai--x

Brex’s summer benchmark shows how quickly the infrastructure behind the agent economy is growing. 14 of the 25 fastest-growing software vendors serve teams building AI products, and Together AI ranks

Bridging the Gap between Labeled and Unlabeled Data via Unified Flow with Feature Memory Bank

arXiv:2608.16681v1 Announce Type: cross Abstract: Although semi-supervised semantic segmentation (ext{S}^4) utilizes abundant unlabeled data to reduce manual labeling burdens, independent training of

Building cost-effective, high-throughput gen AI workflows in Google Dataflow

model-releasesgoogle-cloud-ai

Real-time streaming pipelines are the operational backbone of modern enterprises, continuously processing everything from customer support interactions to transaction logs. Traditionally, streaming DA

Building operational resilience with agentic AI in financial services

model-releasesgoogle-cloud-ai

For financial institutions, operational resilience has long been embedded in regulatory and supervisory expectations — to say nothing of the high expectations of consumers. With the implementation of

Bye-bye, Bluebook? Automating Legal Drudgery With AI-Augmented Rule Following

arXiv:2505.02763v2 Announce Type: replace-cross Abstract: One of the central promises of legal AI is to automate drudgery -- the formal, repetitive tasks of lawyers' work that consume time without cal

CACSurv: Concordance-Aligned Comparative Learning with Large Language Models for Cancer Survival Prediction

arXiv:2608.16594v1 Announce Type: new Abstract: Cancer survival prediction supports treatment planning, risk stratification, and follow-up management. Existing methods use structured clinical variable

Calibrated Trust, Not Sharper Prediction: An Empirical Test of Uncertainty Fusion

arXiv:2608.14617v1 Announce Type: cross Abstract: A recurring proposal in legal AI is to improve case-outcome prediction by fusing uncertainty tools (evidence graphs with belief propagation, sequentia

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought

arXiv:2603.18334v2 Announce Type: replace-cross Abstract: As Large Language Models (LLMs) increasingly assist secure software development, their ability to meet the rigorous demands of Rust program ve

CBX-Bench: A Human-Aligned MLLM Council for Benchmarking Concept Bottleneck Model Explanations

arXiv:2608.15404v1 Announce Type: new Abstract: Concept Bottleneck Models (CBMs) are designed to make visual classification interpretable by expressing predictions through human-understandable concept

CEDAR-GRPO: Process-Aware Reinforcement Learning for General Abductive Reasoning in LLMs

arXiv:2608.14791v1 Announce Type: new Abstract: Abductive reasoning, often characterized as inference to the best explanation, is central to explanation under uncertainty, from everyday sense-making a

Certifying Compressed Language Models: An Audit and a Statistical Toolkit

arXiv:2608.15046v1 Announce Type: new Abstract: A fraction of a point of benchmark accuracy is the usual evidence that a compressed model is equivalent to its original. That quantity is least informat

CFR without Unbiasedness: Deterministic Guarantees for Persistent Public-Chance Schedules

arXiv:2608.14761v1 Announce Type: cross Abstract: At a finite public-chance cut, counterfactual regret minimization (CFR) must choose how many outcomes to evaluate before each regret update. Exact eva

ChainSpace: A Chained-Reasoning Paradigm for Spatial Intelligence

arXiv:2608.15788v1 Announce Type: new Abstract: Spatial intelligence requires foundation models to maintain coherent spatial state across interactions with the physical world. However, existing data-c

Chameleon: An Adaptive AI-Driven Honeypot Architecture Using Threat-Calibrated Particle Swarm Optimization and Semantic Deception Rapidly-Exploring Random Trees

arXiv:2608.15407v1 Announce Type: cross Abstract: An invariant behavioral profile is the defining vulnerability of traditional honeypot installations: a skilled adversary can confirm the presence of a

Characterization of Thermal Systems from Noisy and Low-resolution Measurements Using Dynamic Mode Decomposition

arXiv:2608.14581v1 Announce Type: cross Abstract: Thermal monitoring in practical applications is often constrained by sparse sensing, measurement noise, and limited spatial resolution, which hinder t

Chronocooked: A Benchmark for Implicit Interval Timing in Reinforcement Learning Agents

arXiv:2608.16666v1 Announce Type: new Abstract: This paper presents Chronocooked, a reinforcement learning (RL) benchmark suite for studying implicit interval timing in RL agents. Inspired by Overcook

CLARA: Clip-Level Multimodal Alignment with VLM-Derived Rationales for Hateful Video Detection

arXiv:2608.15905v1 Announce Type: new Abstract: Hateful video detection has become increasingly important with the rapid growth of video-centric social media platforms, given the serious risks that ha

ClawGym II: Exploring Black-Box RL on Agent Harness

arXiv:2608.16798v1 Announce Type: cross Abstract: Agent harnesses have substantially improved performance on long-horizon tasks by coordinating agent interactions with the environment. However, reinfo

CompoSkill: Compositional Skill Chain Attacks from Individually Scanner-Passing LLM Agent Skills

arXiv:2608.16246v1 Announce Type: cross Abstract: Autonomous AI agents tackling Long Horizon Tasks depend on marketplace skills that are certified one at a time: a scanner returns a safety verdict for

Comprehensive Benchmarking of Deep Learning Architectures for Lung Cancer Histopathology

arXiv:2608.15915v1 Announce Type: cross Abstract: Lung cancer remains the leading cause of cancer-related mortality worldwide, while histopathological diagnosis is often affected by inter-observer var

Conditional Evaluation of Language Models with Cheap Auxiliary Signals

arXiv:2608.16210v1 Announce Type: new Abstract: Aggregate accuracy hides where models succeed and fail. Estimating conditional performance profiles from gold labels alone is expensive, while cheap aux

Continuous Quantum Feedback Control via Kraus-Parameterized Belief Reinforcement Learning

arXiv:2608.15715v1 Announce Type: cross Abstract: Quantum feedback control requires acting on noisy continuous measurement records without direct access to the underlying quantum state. We propose Kra

Convolution-Free Holistic Multivariance Decomposition Layer for Efficient Hyperspectral Image Classification Tensor Networks

arXiv:2608.16241v1 Announce Type: new Abstract: Feature extraction for hyperspectral image classification is conventionally addressed using rigid tensor decompositions that fail to capture complex spa

Convolution Smoothed Quantile Regression for XGBoost

arXiv:2608.15290v1 Announce Type: cross Abstract: The increasing availability of large and complex datasets across many scientific disciplines has led to widespread adoption of machine learning (ML) f

CrevasseSeg: A Label-Efficient UAV Crevasse Segmentation Framework

arXiv:2608.15790v1 Announce Type: new Abstract: Crevasse mapping from uncrewed aerial vehicle (UAV) imagery matters for glaciological research and for field safety in glaciated terrain. Yet, pixel-lev

Cross-Entropy Risk Estimation for Language Models: Inconsistency Must Be Dense, and the Holdout Method Is No Exception

arXiv:2608.15798v1 Announce Type: new Abstract: Language models are compared by their held-out per-token cross-entropy risk---the quantity scaling laws are fitted to. We show that it cannot be consist

CrossView: Can Vision-Language Models Reason Across Cameras?

arXiv:2608.15539v1 Announce Type: new Abstract: Video understanding benchmarks have long centered on single-camera settings, where modern multi-modal language models achieve strong performance across

Crystal-structure design by agentic AI in a language of motifs

arXiv:2608.15900v1 Announce Type: cross Abstract: Data-driven materials discovery interpolates more reliably than it extrapolates and seldom reaches new structure types. We present MatEvolve, an agent

Data-knowledge dual-driven intelligent framework for full-chain, experiment-efficient synthesis of 2D dendrites

arXiv:2603.16959v2 Announce Type: replace-cross Abstract: Exemplified by the chemical vapor deposition growth of two-dimensional dendrites, which has potential applications in catalysis and presents a

Decentralized Federated Learning for Heterogeneous Multi-Task Semantic Communication

arXiv:2608.15256v1 Announce Type: new Abstract: Collaborative training in distributed semantic communication (DSC) networks typically relies on decentralized federated learning (DFL). However, pushing

Decoupled Temporal Encoding for Generative Recommendation

arXiv:2608.16274v1 Announce Type: cross Abstract: Positional encoding is a fundamental component of Transformer-based generative recommendation models, where user histories are modeled as autoregressi

Decoupling Parcellation from Classification: Systematic Benchmark of Fast Brain Segmentation Methods for Alzheimer's Disease Detection

arXiv:2608.16039v1 Announce Type: cross Abstract: Brain parcellation and classification are typically evaluated in isolation, yet downstream AD detection performance depends on their interaction. We d

Deep Learning for BioImaging: What Are We Really Learning?

arXiv:2603.13377v2 Announce Type: replace Abstract: Representation learning has driven major advances in natural image analysis by enabling models to acquire high-level semantic features. In microscop

DeepInsight II: One Trace from Benchmark to Robot

arXiv:2608.16556v1 Announce Type: new Abstract: Across a Physical AI stack, evaluation maturity is inversely aligned with deployment risk: foundation models enjoy mature, standardized harnesses, while

DeepOHeat-v2: Self-Improving Operator Learning for Fast and Trustworthy Thermal Optimization in 3D-IC Design

arXiv:2608.16080v1 Announce Type: new Abstract: Thermal-aware optimization of multi-die 3D integrated circuits evaluates many designs, each a costly heat-equation solve. Operator-learning surrogates r

DeepSeek V4 Flash 0731 on Strix Halo: draft model, n_max sweep, and a launch line that actually helps

model-releasesr-localllama

I know the front page is completely dominated by the Qwen3.8 27B. I know it's a fantastic model and everyone is rightfully discussing it, but I wanted to shift gears and talk about another model I’ve

DeepSeek V4 Pro 0813 vs GPT-5.6 Sol on DeepSWE: Cost, Coding, and Routing

model-releasestogether-ai-blog

In the DeepSWE benchmark a two‑stage approach of running DeepSeek V4 Pro 0813 first and falling back to GPT‑5.6 Sol when the tests fail achieves 83 % success at an average cost of 3.35 per task, compa

Defake-o3: From Speculative Rationales to Verifiable Evidence for Explainable AIGI Detection

arXiv:2608.16259v1 Announce Type: cross Abstract: The rapid progress of image generation models calls for AI-generated image (AIGI) detectors that are not only accurate but also explainable and reliab

Deploying Frontier Agentic Technology in MOOSEnger, a Multiphysics-Capable AI Assistant

arXiv:2608.15881v1 Announce Type: new Abstract: The Multiphysics Object-Oriented Simulation Environment (MOOSE) is an open-source finite-element framework for building multiphysics simulation applicat