Search: “model-releases”

Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs

arXiv:2607.04631v1 Announce Type: new Abstract: The cost of producing code is rapidly diminishing with increasingly capable AI agents, while quality assurance of generated programs has not kept pace.

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Model Releases

FormalRx: Rectify and eXamine Semantic Failures in Autoformalization

DGX agent

arXiv:2607.04655v1 Announce Type: new Abstract: The veracious semantic alignment in autoformalization is significant for formal mathematical reasoning. However, existing evaluations provide only opaqu

model-releasesarxiv-cs-cl

7 Jul 2026

Fortifying Fully Convolutional Generative Adversarial Networks for Image Super-Resolution Using Divergence Measures

arXiv:2404.06294v2 Announce Type: replace-cross Abstract: Super-Resolution (SR) is a time-hallowed image processing problem that aims to improve the quality of a Low-Resolution (LR) sample up to the s

Framework and Multi-modal Dataset for Roadwork Zone Detection and Geo-localization

arXiv:2607.04330v1 Announce Type: new Abstract: Autonomous vehicles often rely on high-definition (HD) maps for navigation; however, these maps are not frequently updated and often lack semi-static in

From Arithmetic to Logic: The Resilience of Logic and Lookup-Based Neural Networks Under Parameter Bit-Flips

arXiv:2603.22770v2 Announce Type: replace-cross Abstract: The deployment of deep neural networks (DNNs) in safety-critical edge environments necessitates robustness against hardware-induced bit-flip e

From General Actions to Domain-Specific Monitoring: Prior-Adaptive Transfer for Skeleton-Based Action Recognition

arXiv:2607.03327v1 Announce Type: new Abstract: Skeleton-based action recognition models have recently shown strong performance on large-scale benchmarks with general actions. However, directly transf

From Judgments to Issues: Structured Extraction of Legal Reasoning with Citation-Hallucination Control

arXiv:2607.03325v1 Announce Type: cross Abstract: We present an automated pipeline that decomposes Italian tax-court judgments into individual legal issues and extracts, for each issue, a structured X

From Raw Segmentations to Simulation-Ready Cardiac Meshes: An Automated Framework for Anatomical Reconstruction and Virtual Cohort Generation

arXiv:2607.02564v1 Announce Type: cross Abstract: Computational models of the human heart are widely used to study electromechanical and fluid-dynamical cardiac function and to support applications su

From Regulation to Requirements: An Automated Requirement Derivation and Explanation Pipeline

arXiv:2607.04448v1 Announce Type: cross Abstract: Ensuring software compliance with regulations such as the General Data Protection Regulation (GDPR) and the Artificial Intelligence Act (EU AI Act) po

Fully Rotation-Equivariant Spectral-Spatial Learning for Multispectral Object Detection

arXiv:2607.05148v1 Announce Type: new Abstract: Existing multispectral detectors are limited by discrete spectral processing, a scale-dependent shift in the relative reliability of spectral and spatia

Fun-TSG: A Function-Driven Multivariate Time Series Generator with Variable-Level Anomaly Labeling

arXiv:2604.14221v2 Announce Type: replace Abstract: Reliable evaluation of anomaly detection methods in multivariate time series remains an open challenge, largely due to the limitations of existing b

Functional Bilevel Optimization for Predictive Fairness

arXiv:2607.05098v1 Announce Type: new Abstract: When sensitive attributes are continuous and high-dimensional - demographic score vectors, posteriors over attributes, age or income profiles - enforcin

FUSE: FK-Steered Multi-Modal Flow Matching for Efficient Simulation-Based Posterior Estimation

arXiv:2607.05252v1 Announce Type: new Abstract: Simulation-Based Inference (SBI) is critical for scientific discovery, with generative models offering a promising path toward efficient inference. Howe

FuseMamba-VD: Dual Branch VideoMamba with Gated Class Token Fusion for Violence Detection

arXiv:2506.03162v3 Announce Type: replace-cross Abstract: The rapid proliferation of surveillance cameras has increased the demand for automated violence detection. While CNNs and Transformers have sh

G3Splat: Geometrically Consistent Generalizable Gaussian Splatting

arXiv:2512.17547v2 Announce Type: replace Abstract: 3D Gaussians have become a powerful scene representation for real-time splatting and high-quality novel-view synthesis. This has motivated generaliz

GALOSH: Blind, Training-Free Denoising of Raw Bayer and sRGB Images by Parallel-Friendly Local Shrinkage

arXiv:2607.03768v1 Announce Type: cross Abstract: Classical training-free denoisers such as BM3D and non-local means owe much of their strength to search: content-dependent block matching whose memory

GameEngineBench: Evaluating Coding Agents on Real C++ Runtime Environments

model-releasesarxiv-cs-cl

arXiv:2607.03525v1 Announce Type: cross Abstract: Game engines provide real-time simulation, rendering, physics, interaction, networking, and asset pipelines, making them valuable not only for games b

GaussianArt: Unified Modeling of Geometry and Motion for Articulated Objects

arXiv:2508.14891v3 Announce Type: replace Abstract: Reconstructing articulated objects is essential for building digital twins of interactive environments. However, prior methods typically decouple ge

GelNeuro: A Sensing-Computing Integrated Neuromorphic Tactile System for Texture Recognition

model-releasesarxiv-cs-ro

arXiv:2607.05241v1 Announce Type: new Abstract: Neuromorphic visuo-tactile sensing offers a promising paradigm for low-latency and low-power robotic perception. However, existing systems still rely he

Gemma 4 Technical Report

arXiv:2607.02770v1 Announce Type: cross Abstract: We introduce Gemma 4, a new generation of open-weight, natively multimodal language models in the Gemma model family. Designed to advance compute effi

Generative Inverse Design with Abstention via Diagonal Flow Matching

arXiv:2603.15925v2 Announce Type: replace Abstract: Inverse design aims to find design parameters x achieving target performance y^*. Generative approaches learn bidirectional mappings between designs

Generative Semantic Multi-Object Tracking: A Large-Scale Benchmark and an MLLM-Driven Reasoning Framework

arXiv:2601.06550v3 Announce Type: replace-cross Abstract: Semantic Multi-Object Tracking (SMOT) is evolving from purely geometric localization toward comprehensive video understanding. However, existi

GenShin: Guiding Rational Liposome Design by Ranking Liposomal Protein Corona through a Docking-Pose-Free GNN

arXiv:2504.13853v2 Announce Type: replace-cross Abstract: Rational design of lipid nanoparticles (LNPs) for tissue-specific delivery critically depends on predicting the composition of the protein cor

Geometric Observability Index: An Operator-Theoretic Framework for Per-Feature Sensitivity, Weak Observability, and Dynamic Effects in SE(3) Pose Estimation

arXiv:2602.05582v2 Announce Type: replace Abstract: We introduce the Geometric Observability Index (GOI), a per-feature sensitivity measure for pose estimation on SE(3). For a Gauss-Newton curvature m

Geometry-aware Depth-guided Representation Learning for Structure-preserving Low-light Image Enhancement

arXiv:2607.05005v1 Announce Type: new Abstract: Low-light degradation reduces image visibility and weakens structural cues that are important for visual representation and scene understanding. Existin

Geometry of Ordinal Representations in Language Models

arXiv:2607.04167v1 Announce Type: new Abstract: Recent work showed that language models represent character counts on curved 1D manifolds, with attention heads performing geometric transformations to

GeoSelect: Spatial-Program Execution for Training-Free Referring Remote Sensing Image Segmentation

arXiv:2607.03869v1 Announce Type: cross Abstract: Referring remote sensing image segmentation isolates the object named by a natural-language expression in an aerial image. Existing training-free meth

Ghosts Beneath Textures: Texture-Relation Cues for Cross-Paradigm AI-Generated Image Detection

arXiv:2607.03862v1 Announce Type: new Abstract: AI-generated images have proliferated rapidly, motivating extensive research. Most existing AI-generated image detectors are developed and evaluated und

GigaWorld-1: A Roadmap to Build World Models for Robot Policy Evaluation

model-releasesarxiv-cs-ro

arXiv:2607.02642v1 Announce Type: new Abstract: Evaluating embodied robot foundation models remains a critical bottleneck; unlike large language models efficiently assessed via digital benchmarks, rob

github-code Web Component

model-releasessimon-willison

Tool: github-code Web Component An experimental Web Component built using GPT-5.5 and the following prompt: let's build a Web Component for embedding code from GitHub <github-code href='https://github

GLM-5 Serving Parameter Tuning for OpenClaw: Single-Deployment MaaS Inference Optimization for Long-Context Agent Workloads

arXiv:2607.02518v1 Announce Type: cross Abstract: OpenClaw requests are dominated by long, tool-augmented prefixes, including system prompts, conversation history, and tool outputs fed back into the c

GLOW-FDG: Generalized cancer LesiOn Whole-body segmentation model for ^{18}F-FDG-PET/CT

arXiv:2607.03931v1 Announce Type: cross Abstract: Whole-body fluorodeoxyglucose positron emission tomography combined with computed tomography is widely used in cancer care, but manual lesion delineat

Google Cloud Labs: Accelerate AI with Cloud Run

model-releasesgoogle-cloud-ai

Moving Beyond the Prototype The AI landscape has shifted. While 'vibe coding' with tools like Antigravity and AI Studio lets you build and deploy complex agents in minutes, the real work begins on 'Da

Google launches 'platform properties' in the Google Search Console, letting creators and website owners see which search terms lead to their social platforms (Jay Peters/The Verge)

Jay Peters / The Verge: Google launches “platform properties” in the Google Search Console, letting creators and website owners see which search terms lead to their social platforms — A new feature wi

model-releasestechmeme

Governed Individuation: Cryptographically Decoupling an Agent's Learning from Its Authority

arXiv:2607.04613v1 Announce Type: new Abstract: Autonomous agents are moving from sandboxed text generators to operators of code, data, and physical infrastructure, and they increasingly learn while d

Governed MCP: Kernel-Level Tool Governance for AI Agents via Logit-Based Safety Primitives

arXiv:2604.16870v2 Announce Type: replace-cross Abstract: AI agents increasingly call external tools (file system, network, APIs) through the Model Context Protocol (MCP). These tool calls are the age

GRAFT: Grafted Reference Audio for Fine-grained Pronunciation in Zero-shot Text-to-Speech

model-releasesarxiv-cs-cl

arXiv:2607.02633v1 Announce Type: cross Abstract: We present GRAFT, a per-word pronunciation conditioning mechanism for text-to-speech neural codec language modeling. Existing systems reach high intel

Graph Classification via Network Usable Information: From Representation Evaluation to Structure Selection

arXiv:2607.03587v1 Announce Type: new Abstract: We propose NetinfoGC, a framework for graph classification that extends the Network Usable Information (NUI) paradigm to graph-level learning. Unlike co

Graph Neural Networks for the Graphical Bootstrap

arXiv:2607.03109v1 Announce Type: cross Abstract: We study a graph classification problem involving over 20 million graphs, arising from high-order perturbative computations of correlators in planar N

Graph Representation Learning of Longitudinal Medical Imaging Trajectories for Treatment Response Prediction

arXiv:2607.04912v1 Announce Type: cross Abstract: In patients with breast cancer, pathological complete response (pCR) has been established as a clinically meaningful surrogate marker for long-term ou

Grok Voice just got a major upgrade SpaceXAI released 21 new flagship voices for Grok, joining the original five All of them are multilingua…

model-releaseselon-musk--x

Grok Voice just got a major upgrade SpaceXAI released 21 new flagship voices for Grok, joining the original five All of them are multilingual and available now through: • Realtime Voice Agent API • Te

Grokking Is Conditional and Fragile: A Fully-Tractable, Multi-Seed Study at 12K Parameters

arXiv:2607.05104v1 Announce Type: cross Abstract: Grokking -- the delayed onset of generalization long after a network has fit its training set - -is usually studied in models too large to read comple

GuideMe: Multi-Domain Task Guidance and Intervention in Streaming Video

arXiv:2607.02991v1 Announce Type: new Abstract: While multimodal Large Language Models (MLLMs) excel at offline video understanding, an interesting question of how far they are from serving as a real-

HamQASBench: A Hamiltonian-Informed Diagnostic Benchmark for Evaluating Quantum Architecture Search

arXiv:2607.04845v1 Announce Type: cross Abstract: Quantum Architecture Search (QAS) automates the design of parameterized quantum circuits for variational quantum algorithms, yet existing benchmarks o

Harness-Aware Self-Evolving: Co-Evolving Model Weights, Harness, and Task Solutions

arXiv:2607.03935v1 Announce Type: new Abstract: Self-evolving frameworks usually optimize task solutions while treating the surrounding harness as fixed. We introduce Harness-Aware Self-Evolving (HASE

HAS-Bench: Evaluating LLM-Based Human-Agent Systems under Configurable Human Participation

arXiv:2607.04329v1 Announce Type: new Abstract: Large language models increasingly operate in settings where humans are active collaborators rather than passive task providers. We introduce HAS-Framew

HCSU: A Dataset and Benchmark for Fine-Grained Historical Calligraphy Style Understanding

arXiv:2607.04147v1 Announce Type: cross Abstract: Automated fine-grained perception of calligraphy styles--a task vital to cultural heritage preservation--remains a critical challenge for Large Vision

Hierarchical Bayesian Crowdsourcing with Item Difficulty

arXiv:2405.19521v3 Announce Type: replace Abstract: In applied statistics and machine learning, the gold standards used for training are often biased and almost always noisy. Dawid and Skene's justifi