Search: “tools”

Automating Formal Verification with Reinforcement Learning and Recursive Inference

arXiv:2605.30914v1 Announce Type: new Abstract: Automated formal verification remains challenging for large language models because data for proof assistants and verification-aware languages is scarce

b9453

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

llama.cpp release b9453 added support for EXAONE 4.5 model implementations with vision capabilities, including markers, projector paths, and routing through a Qwen2.5-VL-style encode path with window

local-aillama-cpp-releases

1 Jun 2026

Industry

Back in 2002 I was crazy about yu gi oh but my mother didn't had the money to buy the cards, me and my brothers decided to make our own deck, here are some of the cards that I used in chat gpt to make it look like real published cards

A Reddit user shares a nostalgic story about creating homemade Yu-Gi-Oh cards with their brothers in 2002 when they couldn't afford official cards, then used ChatGPT to generate designs making them re

industryr-chatgpt

Bifurcated Remaining Useful Life Prediction: A Hybrid Approach for Realistic Uncertainty Characterization

arXiv:2605.31241v1 Announce Type: new Abstract: This study presents a novel hybrid prognostic framework for uncertainty-aware Remaining Useful Life (RUL) estimation in turbofan engines using the NASA

Bundesrecht: An Open Library and Corpus for German Statutory Reference Processing

arXiv:2605.31338v1 Announce Type: new Abstract: Statutory references are central to legal language understanding, but are difficult to process automatically, as they appear in compact and variable sur

applicationsarxiv-cs-cl

CoFiDA-M: Concept-Aware Feature Modulation for Cross-Domain Adaptation with Image-Only Inference

arXiv:2605.31591v1 Announce Type: new Abstract: Models for AI-based skin cancer screening suffer a severe performance drop when shifting from expert dermoscopic (source) images to consumer-grade clini

Cognitive Fatigue in Autoregressive Transformers: Formalization and Measurement

arXiv:2605.30981v1 Announce Type: new Abstract: Autoregressive language models frequently degrade during long-horizon generation, producing repetitive text, losing instruction adherence, and exhibitin

applicationsarxiv-cs-cl

Combinatorial Synthesis: Scaling Code RLVR via Atomic Decomposition and Recombination

arXiv:2605.31058v1 Announce Type: new Abstract: Reinforcement Learning with Verifiable Rewards (RLVR) has recently emerged as the cornerstone for shaping the remarkable coding abilities of Large Langu

researcharxiv-cs-cl

Conformal C2ST: Turning weak classifiers into strong two-sample tests

arXiv:2507.17026v2 Announce Type: replace-cross Abstract: The two-sample testing problem, a fundamental task in statistics and machine learning, seeks to determine whether two sets of samples, drawn f

Cross-Modal Clinical Knowledge Integration for Mammography Report Generation

arXiv:2605.31093v1 Announce Type: new Abstract: Breast cancer is a major global health concern, and mammography screening plays a central role in early detection. The large volume of screening examina

applicationsarxiv-cs-cv

dashi: A Python library for Dataset Shift Characterization to Support Trustworthy AI Development and Deployment

arXiv:2605.31360v1 Announce Type: cross Abstract: The Artificial Intelligence (AI) life cycle requires a thorough understanding of the underlying data dynamics for robust, safe and cost-effective AI d

DeepImageSearch: Benchmarking Multimodal Agents for Context-Aware Image Retrieval in Visual Histories

arXiv:2602.10809v2 Announce Type: replace Abstract: Existing multimodal retrieval systems excel at semantic matching but implicitly assume that query-image relevance can be measured in isolation. This

Hardware

Develop Physical AI Reasoning, World, and Action Models with NVIDIA Cosmos 3

NVIDIA Cosmos 3 is a frontier foundation model for physical AI that combines physical reasoning, world generation, and action generation within a single open model. The model uses a Mixture-of-Transfo

hardwarenvidia-developer

DISCO: Mitigating Bias in Deep Learning with Conditional Distance Correlation

arXiv:2506.11653v3 Announce Type: replace-cross Abstract: Dataset bias often leads deep learning models to exploit spurious correlations instead of task-relevant signals. We introduce the Standard Ant

Discovering a Zeta Map Algorithm on Dyck Paths via Mechanistic Interpretability

arXiv:2605.30482v1 Announce Type: new Abstract: Machine learning is increasingly used in mathematical discovery, but in mathematics the desired output is often not a prediction itself, but an explicit

Discovering Differences in Strategic Behavior Between Humans and LLMs

arXiv:2602.10324v2 Announce Type: replace Abstract: As Large Language Models (LLMs) are increasingly deployed in social and strategic scenarios, it becomes critical to understand where and why their b

Do covariates explain why these groups differ? The choice of reference group can reverse conclusions in the Oaxaca-Blinder decomposition

arXiv:2603.29972v2 Announce Type: replace-cross Abstract: Scientists often want to explain why an outcome is different in two groups. For instance, differences in patient mortality rates across two ho

EGOSTREAM: A Diagnostic Benchmark for Streaming Episodic Memory in Egocentric Vision

arXiv:2605.31557v1 Announce Type: new Abstract: Continuous episodic memory is a core capability for autonomous agents operating in dynamic, real-world environments, yet current streaming video benchma

From Evidence to Design: Developing an AI-Augmented UX Research Point of View for Digital Wellbeing in Emergency and Public Safety Contexts

arXiv:2605.31146v1 Announce Type: cross Abstract: This paper investigates how User Experience Research (UXR) methods can be combined with AI-supported analysis to develop clearer design direction for

Tutorials

Function2Scene: 3D Indoor Scene Layout from Functional Specifications

arXiv:2605.30819v1 Announce Type: new Abstract: Most text-driven 3D indoor scene synthesis methods generate rooms from object-centric prompts, asking what furniture should be placed rather than how th

tutorialsarxiv-cs-cv

GGT-100K: Generative Ground Truth for Generalizable Real-World Image Restoration

arXiv:2605.31039v1 Announce Type: new Abstract: Real-world image restoration (IR) is bottlenecked by the scarcity of high-quality paired training data. Synthetic datasets are abundant but often fail t

applicationsarxiv-cs-cv

Hardware

🆕Grok Imagine’s Video Agent Moment: Cosmos, xAI, World Models, Generative UI, & the Codex Phase for Video! https://www.latent.space/p/video…

🆕Grok Imagine’s Video Agent Moment: Cosmos, xAI, World Models, Generative UI, & the Codex Phase for Video! https://www.latent.space/p/video-agents @EthanHe_42, former @xai world model lead and @nvidia

hardwareswyx--x

GUI-C^2: Coarse-to-Fine GUI Grounding via Difficulty-Aware Reinforcement Learning

arXiv:2605.30884v1 Announce Type: new Abstract: Existing agentic reinforcement learning methods for GUI grounding have limitations at two levels. At the data level, current approaches typically treat

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs

model-releasesarxiv-cs-ai

arXiv:2511.18760v2 Announce Type: replace Abstract: Informal mathematics has been central to modern large language model (LLM) reasoning, offering flexibility and efficient construction of arguments.

How Trustpilot built a real-time architecture for data enrichment using Gemma

model-releasesgoogle-cloud-ai

Processing millions of user reviews in real-time, under strict latency and cost constraints, is no easy task. Trustpilot has been doing exactly that with custom machine learning since long before larg

How well does Classification Accuracy capture Concept Drift Detection Quality? An overview of Concept Drift Detection evaluation

arXiv:2605.31186v1 Announce Type: new Abstract: Data streams are nowadays among the most frequently analyzed data structures, with the concept drift posing a major challenge encountered by processing

I built a fully-local app that themes an entire 100-card Magic deck and generates custom card art with FLUX + ComfyUI — same deck, any theme

local-air-stablediffusion

A developer created a local application that automatically themes an entire 100-card Magic: The Gathering deck and generates custom card artwork using FLUX and ComfyUI, enabling users to apply consist

In @latentspacepod podcast, I shared my view on video generation, world models, LLMs, agents, continual learning and where the next frontier…

In @latentspacepod podcast, I shared my view on video generation, world models, LLMs, agents, continual learning and where the next frontier is. 1. Video models get most of their intelligence from lan

agentsswyx--x

Introducing the GKE standby buffer: Improve node startup times without blowing your budget

model-releasesgoogle-cloud-ai

Application owners and platform engineers have long faced a difficult choice: spend excessively by over-provisioning to guarantee quick startups, or minimize costs but endure slow cold starts. We are

Is the Last Layer Sufficient for Uncertainty Quantification?

arXiv:2605.30741v1 Announce Type: cross Abstract: Epistemic uncertainty quantification (UQ) for deep neural networks (DNNs) is a requirement for safe adoption of AI in mission-critical settings. Sever

iVGR: Internalizing Visually Grounded Reasoning for MLLMs with Reinforcement Learning

arXiv:2605.31096v1 Announce Type: new Abstract: While visually grounded Chain-of-Thought (CoT) has emerged as a promising paradigm to enhance fine-grained perception in multimodal large language model

local-aiarxiv-cs-cv

Kalimati Vegetable Price Index Forecasting with a Momentum Corrected Online Stacking Ensemble

arXiv:2605.30720v1 Announce Type: cross Abstract: Forecasting agricultural commodity prices in emerging economies is difficult due to high volatility, frequent supply disruptions, and strong cultural

Learning to Solve and Optimize by Evolving Code

arXiv:2605.31049v1 Announce Type: cross Abstract: Combinatorial and optimization problems are fundamental to many industrial AI applications. Solving large-scale real-world instances of such problems

applicationsarxiv-cs-ai

LH-Bench: Skill-Grounded Evaluation of Long-Horizon Agents on Subjective Enterprise Tasks

arXiv:2603.22744v2 Announce Type: replace Abstract: Large language models excel on objectively verifiable tasks such as math and programming, where evaluation reduces to unit tests or a single correct

agentsarxiv-cs-ai

LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability

arXiv:2605.31167v1 Announce Type: new Abstract: Assessing whether Large Language Models outputs are factually grounded, epistemically calibrated, and methodologically reproducible is a prerequisite fo

local-aiarxiv-cs-ai

LVSA: Training-Free Sparse Attention for Long Video Diffusion

arXiv:2605.31057v1 Announce Type: new Abstract: Dense self-attention is the compute and quality bottleneck of long-video diffusion inference: cost grows quadratically with the sequence length, and bey

safetyarxiv-cs-cv

MiniMax M3 launched!

MiniMax M3 launched on June 1, 2026 as the first open-weights model to combine frontier coding, a 1-million-token context window, and native multimodality. The model achieves top-tier performance on c

local-air-ollama

MLIPilot: LLM-Driven Auto-Research for Machine-Learned Interatomic Potentials

arXiv:2605.30889v1 Announce Type: cross Abstract: Constructing production-quality machine-learned interatomic potentials (MLIPs) requires balancing accuracy, dynamical stability, and computational thr

PASTA: A Scalable Framework for Multi-Policy AI Compliance Evaluation

arXiv:2601.11702v3 Announce Type: replace-cross Abstract: AI compliance is becoming increasingly critical as AI systems grow more powerful and pervasive. Yet the rapid expansion of AI policies creates

PictSure: Pretraining Embeddings Matters for In-Context Learning Image Classifiers

arXiv:2506.14842v2 Announce Type: replace-cross Abstract: Building image classification models remains cumbersome in data-scarce domains, where collecting large labeled datasets is impractical. In-con

agentsarxiv-cs-ai

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving

arXiv:2502.04671v3 Announce Type: replace Abstract: Neural approaches to theorem proving require robust infrastructure for interfacing with interactive theorem provers (ITPs), extracting structured pr

Re-examining Low Rank adaptation for private LLM fine-tuning

arXiv:2510.01137v3 Announce Type: replace Abstract: Privacy is a central concern when fine-tuning large language models (LLMs) on sensitive data, and differentially private stochastic gradient descent

Separating Secrets from Placeholders: A Hybrid CNN-CodeBERT Framework for Three-Class Credential Leakage Detection

arXiv:2605.31520v1 Announce Type: cross Abstract: Credential leakage in public source code repositories poses a critical security threat, with over 23.8 million secrets exposed in 2024 alone. Existing

Industry

Sources: Anthropic plans to let the EU's cyber agency ENISA join Project Glasswing, giving it access to Mythos; EU officials went to the US to ask for access (Gian Volpicelli/Bloomberg)

Gian Volpicelli / Bloomberg: Sources: Anthropic plans to let the EU's cyber agency ENISA join Project Glasswing, giving it access to Mythos; EU officials went to the US to ask for access — Anthropic P

industrytechmeme

SPECTRA: Synthetic IR Test Collections with Relevance Oracles and Controlled Distractor Diagnostics

arXiv:2605.31575v1 Announce Type: cross Abstract: Scalable information retrieval testing needs corpora that are large enough to stress index construction, ranking latency, query routing, and evaluatio

Tutorials

Spectral Reach: Understanding Neural Scaling as Progress into the Spectral Tail

arXiv:2605.31244v1 Announce Type: new Abstract: Neural scaling laws describe predictable power-law relationships between model size, dataset size, compute, and performance. While these laws guide the

tutorialsarxiv-cs-lg

This is great @hwchase17 @bryonkuchML Seeing this update, I’m building a tutorial repo around LangChain + Groq + GEPA. The idea is simple: •…

This is great @hwchase17 @bryonkuchML Seeing this update, I’m building a tutorial repo around LangChain + Groq + GEPA. The idea is simple: •LangChain builds the RAG/agent workflow •Groq gives fast inf

agentsharrison-chase--x

Hardware

Unbox one of NVIDIA's first co-packaged optics samples with us. See why we bet on CPO early.

When we design large GPU clusters, the network is no longer a background system. It's part of the compute envelope. At the 800G and NVIDIA GB300 NVL72 scale, the back-end fabric accounts for 86% of ne

hardwarelambda-labs