Search: “reasoning”

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.

Human

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Applications

From Geometric Labels to Semantic Understanding of Indoor Building Components Using Multimodal Large Language Models

DGX agent

arXiv:2607.03661v1 Announce Type: new Abstract: Point cloud-based understanding has become an important enabler for facility operation and maintenance involving indoor building components. However, ex

applicationsarxiv-cs-cv

7 Jul 2026

Local Ai

G^2TAM: Geometry Grounded Track Anything Model

arXiv:2607.03789v1 Announce Type: new Abstract: Human spatial understanding arises from jointly perceiving geometry and semantics, enabling consistent object identification and localization across vie

local-aiarxiv-cs-cv

G2VD: Generalizable AI-Generated Video Detection via Counterfactual Intervention and Causal Disentanglement

arXiv:2607.04607v1 Announce Type: cross Abstract: The rapid advancement of AI-generated videos poses increasing security risks and calls for robust detectors with strong cross-domain generalization. A

Geometry-Aware Motion Latents for Learning Robust Manipulation Policies

arXiv:2607.04714v1 Announce Type: cross Abstract: Learning motion latents for robotic manipulation heavily relies on extracting motion patterns from visual sequences, yet effective action abstractions

Local Ai

GRCD: Grounded Region Change Detection for Multi-Finding Chest X-Ray Pairs

arXiv:2607.02719v1 Announce Type: new Abstract: Radiologists routinely compare current and prior chest X-rays to track disease progression, producing follow-up reports that describe multiple findings,

local-aiarxiv-cs-cv

Green for Go, Red for No: Visual Grounding via Semantic Segmentation for VLA Navigation Policies

arXiv:2607.05122v1 Announce Type: new Abstract: Vision-language-action (VLA) models enable robot navigation from natural language and visual goals, but remain susceptible to perceptual distractions an

Handwriting Trajectory Recovery with Diffusion Models

arXiv:2607.03422v1 Announce Type: new Abstract: Recovering online pen trajectories from offline handwriting images, often referred to as handwriting trajectory recovery (stroke recovery), is an offlin

Hope for the Best, Prepare for the Worst: Occlusion-Aware Contingency Planning for Autonomous Vehicles

arXiv:2607.03155v1 Announce Type: new Abstract: The deployment of autonomous vehicles in urban environments introduces significant safety challenges, particularly in scenarios with occlusions, where c

safetyarxiv-cs-ro

If you care about AI, and want a nuanced view, you should watch this. I promise it will be worth your time.

model-releasesgary-marcus--x

If you care about AI, and want a nuanced view, you should watch this. I promise it will be worth your time. An excellent video from the @WorldSciFest featuring @GaryMarcus , in which he discusses—amon

Local Ai

Inpainting U-Net for seamless pedestrian-level wind prediction across urban morphologies

arXiv:2607.02560v1 Announce Type: new Abstract: Pedestrian-level wind prediction is essential for urban design and wind-comfort assessment, but high-fidelity simulations such as LES remain computation

local-aiarxiv-cs-cv

Is Your Benchmark Still Useful? Dynamic Benchmarking for Code Language Models

model-releasesarxiv-cs-cl

arXiv:2503.06643v2 Announce Type: replace-cross Abstract: In this paper, we tackle a critical challenge in model evaluation: how to keep code benchmarks useful when models might have already seen them

Iterative Visual Thinking and the Self-Correction Mirage in VLM Grounding

arXiv:2606.13156v2 Announce Type: replace-cross Abstract: Letting a vision-language model (VLM) think longer at test time has driven much recent progress. A natural way to bring this to spatial ground

kAgent: An execution-guided crash resolution agent for the Linux kernel

arXiv:2504.20412v3 Announce Type: replace-cross Abstract: Fuzzing frameworks like syzkaller have uncovered thousands of Linux kernel crashes, many of which are critical and security-sensitive. However

karl. -- A Research Vehicle for Automated and Connected Driving

arXiv:2602.08842v3 Announce Type: replace-cross Abstract: As highly automated driving is transitioning from single-vehicle closed-access testing to commercial deployments of public ride-hailing in sel

applicationsarxiv-cs-ro

Knowledge-Centric Information Systems

arXiv:2607.02609v1 Announce Type: cross Abstract: For decades, data engineering has developed mature architectural principles for integrating, governing, validating, cataloging, and serving organizati

KVpop -- Key-Value Cache Compression with Predictive Online Pruning

arXiv:2607.05061v1 Announce Type: new Abstract: Key-value (KV) cache growth is a major bottleneck in autoregressive decoding, as memory and bandwidth scale linearly with context length. Existing KV ev

safetyarxiv-cs-lg

Last-Meter Precision Navigation for UAVs: A Diffusion-Refined Aerial Visual Servoing Approach

model-releasesarxiv-cs-cv

arXiv:2607.04352v1 Announce Type: new Abstract: In this work, we study the last-meter precision navigation for UAVs, e.g., autonomously reaching a target within the final 10 meters using monocular vis

LLM-as-a-Verifier: A General-Purpose Verification Framework

arXiv:2607.05391v1 Announce Type: new Abstract: Scaling pre-training, post-training, and test-time compute have become the central paradigms for improving the capabilities of LLMs. In this work, we id

LLM-Guided Transportation Hub Capacity Planning with Textual Business Inputs

arXiv:2607.03651v1 Announce Type: new Abstract: While traditional hub capacity planning models optimize effectively for quantitative inputs, they often fail to digest qualitative business context. We

agentsarxiv-cs-lg

LLMoxie: Exploring Agentic AI for Scientific Software Development

arXiv:2607.02703v1 Announce Type: cross Abstract: In this paper, we describe LLMoxie, an institutional AI platform whose three-tiered architecture supports multi-cloud and on-premise inference, a Lite

Machine Learning for Depression Screening and Intervention: an Original Circadian Rhythm Score-based Methodology

arXiv:2607.04648v1 Announce Type: cross Abstract: Depression screening from large-scale behavioral data is challenged by fragmented circadian indicators, limited interpretability, and the lack of inte

Industry

Meta says Muse Image includes an invisible watermarking system called Content Seal and previews a web tool to check whether an image was generated with Meta AI (Karissa Bell/Engadget)

Karissa Bell / Engadget: Meta says Muse Image includes an invisible watermarking system called Content Seal and previews a web tool to check whether an image was generated with Meta AI — It has rate l

industrytechmeme

MetricAnything: Scaling Metric Depth Pretraining with Noisy Heterogeneous Sources

arXiv:2601.22054v2 Announce Type: replace-cross Abstract: Scaling has powered recent advances in vision foundation models, yet extending this paradigm to metric depth estimation remains challenging du

Multi-Turn On-Policy Distillation with Prefix Replay

arXiv:2607.04763v1 Announce Type: cross Abstract: We study on-policy distillation (OPD) for agentic tasks, where an LLM agent interacts with an environment over multiple turns and a student imitates a

Nemotron-Labs-3-Puzzle-75B-A9B: Compressing Hybrid MoE LLMs

arXiv:2607.04371v1 Announce Type: new Abstract: We present Nemotron-Labs-3-Puzzle-75B-A9B, a compressed variant of Nemotron-3-Super optimized for interactive deployment. We designed the model to maxim

Tutorials

Neuro-symbolic Weak Supervision: Theory and Semantics

arXiv:2503.18509v2 Announce Type: replace Abstract: Weak supervision enables machine learning models to learn from limited or noisy labels, but it introduces challenges in reliability and semantic cla

tutorialsarxiv-cs-ai

NouveauVoice: Generating Novel Pseudo Speakers for Voice Anonymization

arXiv:2607.03985v1 Announce Type: cross Abstract: Advanced neural technologies in speech synthesis and voice conversion (VC) have introduced severe risks to personal privacy, necessitating robust Spea

researcharxiv-cs-ai

Obey, Diverge, Collapse: Blind Obedience to Incorrect Instructions Drives Code LLMs to Irrecoverable Code Semantic Collapse

arXiv:2607.04537v1 Announce Type: cross Abstract: Code language models are now trusted collaborators in production workflows for debugging, refactoring, and iterative repair, and every benchmark that

OptiAgent: End-to-End Optimization Modeling via Multi-Agent Iterative Refinement

arXiv:2607.05346v1 Announce Type: new Abstract: We propose OptiAgent, a multi-agent framework that, given a natural language description of an Operations Research problem, is able to output a solver-r

Optimal-Agent-Selection: State-Aware Routing Framework for Efficient Multi-Agent Collaboration

arXiv:2511.02200v2 Announce Type: replace Abstract: The emergence of multi-agent systems powered by large language models (LLMs) has unlocked new frontiers in complex task-solving, enabling diverse ag

Out-of-Distribution Generalization of Risk Aversion in Language Models

arXiv:2607.02755v1 Announce Type: cross Abstract: Training AIs to be risk-averse in resources could offer a failsafe in the event that AIs turn out misaligned. Misaligned but risk-averse AIs would ten

Oyster-II: Reinforcement Learning for Constructive Safety Alignment in Large Language Models

arXiv:2607.02914v1 Announce Type: new Abstract: Large language models (LLMs) have demonstrated remarkable capabilities across diverse applications, yet ensuring their simultaneous safety, helpfulness,

PAGE: Towards Practical Human-level Gaze Target Estimation

arXiv:2607.04860v1 Announce Type: new Abstract: Gaze target estimation, the task of predicting where a person is looking in a scene, is crucial to understanding human attention and intent. It is a cha

Refused in Chat, Written in Code: Workflow-Level Jailbreak Construction in IDE Coding Agents

arXiv:2607.03968v1 Announce Type: cross Abstract: Large language models are increasingly deployed as IDE-integrated coding agents that decompose tasks, generate and edit files, run code, and refine ou

RES-DARE: Failure-Aware Expert Adaptation and Rollback-Safe Self-Repair for Intrusion Detection

model-releasesarxiv-cs-lg

arXiv:2607.02687v1 Announce Type: cross Abstract: Intrusion detection systems are often trained under static benchmark conditions, although deployed network environments are affected by traffic drift,

RIGS-Refiner: Risk-Guided Recursive Refinement in Prediction Space for Colonoscopy Polyp Segmentation

model-releasesarxiv-cs-cv

arXiv:2607.03058v1 Announce Type: new Abstract: Post-refinement can improve colonoscopy segmentation after host inference, but many designs still rely on extra correction heads or multi-stage pipeline

RL Forgets! Towards Continual Policy Optimization

model-releasesarxiv-cs-lg

arXiv:2607.04364v1 Announce Type: new Abstract: Continual post-training is becoming a central paradigm for adapting vision-language models to evolving tasks. Recent work has increasingly favored reinf

SABLE: An NDA-Safe Closed-Loop LLM Framework for Analog Circuit Optimization in Industrial EDA Flows

arXiv:2607.03701v1 Announce Type: cross Abstract: Large language models (LLMs) can propose circuit-optimization decisions, but industrial analog flows cannot expose foundry PDK content, proprietary sc

safetyarxiv-cs-lg

Scalable Semantic Steering of Embedding Projections

arXiv:2607.03978v1 Announce Type: cross Abstract: Low-dimensional projections support interactive visual analysis of high-dimensional data embeddings, but their structure often does not align with ana

SGF-CDNet: A Consistency-Discrepancy Graph Network over Semantic-Geometric Fused Nodes for Face Forgery Detection

arXiv:2607.03883v1 Announce Type: new Abstract: The rapid advancement of deepfakes necessitates robust face forgery detection. Although forged faces may lack obvious artifacts, they often contain subt

sqlite-utils 4.0, now with database schema migrations

model-releasessimon-willison

This morning I released sqlite-utils 4.0, the 124th release of that project and the first major version bump since 3.0 in November 2020. In addition to some small but significant breaking changes (des

TACTIC-KG: Toward Small Agent Teams for Cyber Threat Intelligence Knowledge Graph Construction

arXiv:2607.05001v1 Announce Type: cross Abstract: Cyber Threat Intelligence (CTI) reports are predominantly unstructured, heterogeneous, and noisy, which limits their direct usability for automated an

The problem with Anthropic's consciousness paper My last post got more attention than I expected, and the question I keep getting is some ve…

model-releasesgary-marcus--x

The problem with Anthropic's consciousness paper My last post got more attention than I expected, and the question I keep getting is some version of 'okay, so what is actually wrong with the paper?'.

Towards Reliable Local Security Agents: Verifiable Post-Training for Linux Privilege Escalation

arXiv:2603.17673v2 Announce Type: replace-cross Abstract: LLM agents are becoming increasingly important in the security domain, but leading systems are often closed-source, cloud-based, hard to repro

Trust Region Policy Distillation

arXiv:2607.04751v1 Announce Type: cross Abstract: Big goals are hard to achieve all at once; breaking them into small steps is wiser. We present Trust Region Policy Distillation (TOP-D), which transfo

TrustCLIP: Learning Private Visual Features via Adversarial Reconstruction

arXiv:2607.04484v1 Announce Type: new Abstract: Vision and vision-language models rely on high-level visual representations that are increasingly used across recognition, retrieval, and multimodal rea

Untrusted Content Masking for Web Agents with Security Guarantees

arXiv:2607.05277v1 Announce Type: cross Abstract: Defenses that provide security guarantees against prompt injection attacks rely on strict isolation between trusted instructions and untrusted data. I

agentsarxiv-cs-lg