Search: “models”

Extending SMT Solving with Non-Ground Clause Learning

arXiv:2609.11509v1 Announce Type: new Abstract: Quantifier instantiation is currently the main approach to non-ground SMT solving: solvers generate ground instances and solve the resulting ground SMT

researcharxiv-cs-ai

Natural Language Access to Domain-Specific Metadata: A Reusable Framework for LLM Query Generation

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

DGX agent

arXiv:2607.18029v2 Announce Type: replace-cross Abstract: Researchers need to answer ad-hoc questions about the contents of domain-specific archives but often lack the expertise to write structured qu

agentsarxiv-cs-ai

12 Sept 2026

Peak performance across hard benchmarks: • Best or joint-best on 5/8 benchmarks (DeepSWE, Chartography, Toolathon, GDP.pdf, SWEFish) • Chart…

Peak performance across hard benchmarks: • Best or joint-best on 5/8 benchmarks (DeepSWE, Chartography, Toolathon, GDP.pdf, SWEFish) • Chartography: 48.3 (outperforming Opus 5 & Fable 5) • DeepSWE: 74

agentsdavid-ha--x

Spectral Masking and Interpolation Attack (SMIA): A Black-box Adversarial Attack against Voice Authentication and Anti-Spoofing Systems

arXiv:2509.07677v5 Announce Type: replace-cross Abstract: Voice Authentication Systems (VAS) use unique vocal characteristics for verification. They are increasingly integrated into high-security sect

applicationsarxiv-cs-ai

“We can’t slow down because China will beat us.” We can slow down. Chinese AI is waterskiing behind the US. Their AI capabilities come at a …

“We can’t slow down because China will beat us.” We can slow down. Chinese AI is waterskiing behind the US. Their AI capabilities come at a delay since they mainly come from distilling US AIs. If we s

safetydan-hendrycks--x

A Comparative Evaluation of Pre-trained Convolutional Neural Networks for Melanoma Detection

arXiv:2609.11550v1 Announce Type: new Abstract: Early diagnosis of melanoma is critical for improving patient survival rates. However, accurately distinguishing melanoma from other skin lesions remain

A variational physics-informed graph neural network for heterogeneous solid mechanics

arXiv:2609.10983v1 Announce Type: cross Abstract: Stress localization in heterogeneous solids is governed by the bimaterial interface, where the displacement field remains C^0-continuous, while in-pla

AI’s existential crisis explodes but AI companies plunge ahead anyway

The resignation this week of Anthropic researcher Jacob Coxon over concerns that artificial intelligence labs are “gambling with our lives” lit up the long-smoldering argument about whether AI is head

safetysiliconangle

An Empirical Measurement of Jailbreaking Evaluators

arXiv:2609.10594v1 Announce Type: cross Abstract: Expert evaluation of jailbreak responses is costly and difficult to scale, so the community increasingly relies on automated evaluators to determine w

Black-Box Red Teaming of Agentic AI: A Taxonomy-Driven Framework for Automated Risk Discovery

arXiv:2609.09647v1 Announce Type: new Abstract: Agentic systems are rapidly moving to production, where they read untrusted inputs, call tools with real permissions, and act autonomously, expanding th

agentsarxiv-cs-ai

Can AI Agents Deliver Verifiable Network-Wide Outcomes Across Authority Boundaries?

arXiv:2609.10181v1 Announce Type: cross Abstract: AI agents are increasingly involved in network automation, where they can initiate configuration changes through mediated operational interfaces and a

agentsarxiv-cs-ai

CMoE: Contrastive Mixture of Experts for Motion Control and Terrain Adaptation of Humanoid Robots

arXiv:2603.03067v2 Announce Type: replace Abstract: For effective deployment in real-world environments, humanoid robots must autonomously navigate a diverse range of complex terrains with abrupt tran

applicationsarxiv-cs-ro

Complex-Text Robustness Evaluation and Failure Diagnosis for Low-Resource Multilingual Text-to-Speech

arXiv:2609.11545v1 Announce Type: new Abstract: Low-resource multilingual text-to-speech (TTS) systems have expanded language coverage, but their robustness under complex text inputs remains insuffici

researcharxiv-cs-cl

Conformal Calibration Transfer

arXiv:2609.10737v1 Announce Type: new Abstract: Conformal prediction converts point predictions into set-valued predictions with coverage guarantees under exchangeability between calibration and deplo

Cross-Lingual Clinical Annotation Projection as Constrained Text Generation: A Six-Language Study

arXiv:2609.11450v1 Announce Type: new Abstract: Background: To determine whether cross-lingual clinical annotation projection can be formulated as a text-preserving, document-level generative task tha

local-aiarxiv-cs-cl

Do Agents Know When They Succeed? Calibrating Agent Confidence from Internal Representations

arXiv:2609.09448v1 Announce Type: new Abstract: As agentic systems getting adopted rapidly in safety critical applications, it is vital to measure the confidence associated with the agentic actions. I

safetyarxiv-cs-ai

EGGROLL, Unrolled: Understanding and Improving Low-Rank Evolution Strategies at Scale

arXiv:2609.10980v1 Announce Type: new Abstract: EGGROLL makes evolution strategies (ES) practical for LLMs by replacing dense Gaussian weight perturbations with low-rank Gaussian products, often of ra

local-aiarxiv-cs-lg

Expressive Robotic Pianist: Mastering Complex Piano Repertoire with Graph-Mimic and Musical Dynamics

arXiv:2609.10844v1 Announce Type: new Abstract: Enabling robots to perform musical instruments with human-level expressivity represents a frontier in bridging the gap between mechanical precision and

applicationsarxiv-cs-ro

FreeFlow: A Bias-free Hierarchical Transformer for Optical Flow Estimation

arXiv:2609.11486v1 Announce Type: new Abstract: Optical flow methods typically rely on task-specific inductive biases, such as correlation volumes, feature warping, and iterative refinement, among oth

local-aiarxiv-cs-cv

From Repetition to Recognition: Inductive Discovery of Disinformation Narratives

arXiv:2609.11128v1 Announce Type: new Abstract: In disinformation datasets, narratives are often understood as recurring interpretive patterns that group texts under narrative labels. Recent work form

researcharxiv-cs-cl

@GaryMarcus @SethCronin Pynchon's 1984 warning from his pro-Luddite essay: 'If our world survives, the next great challenge to watch out for…

@GaryMarcus @SethCronin Pynchon's 1984 warning from his pro-Luddite essay: 'If our world survives, the next great challenge to watch out for will come – you heard it here first – when the curves of re

safetygary-marcus--x

Gradland: On Phenomenal Experience, Differentiated Across Many Dimensions

arXiv:2609.09306v1 Announce Type: new Abstract: This paper investigates the hypothesis that the first-order structure of physical interactions, i.e. gradients or Jacobians, characterizes the structure

researcharxiv-cs-ai

GRIPNet: Gaussian Radial Intensity Prior Guided Architecture for Pulmonary Nodule Detection in CT

arXiv:2609.11312v1 Announce Type: new Abstract: Lung cancer causes more deaths than any other malignancy, and low-dose CT screening is the main pathway to early diagnosis. That pathway hinges on the s

LoaDiff: Conditional Generation of Electricity Consumption Time Series for Energy Analytics

arXiv:2609.11639v1 Announce Type: new Abstract: The energy transition is reshaping residential electricity consumption through the increasing adoption of distributed generation, electrified appliances

LTLDiff: Finite Linear Temporal Logic-Guided Data Generation and Diffusion Policies for Multi-agent Robotic Manipulation

arXiv:2609.11043v1 Announce Type: new Abstract: Multi-agent robotic manipulation tasks require coordination among agents to satisfy task-level temporal, logical, and safety constraints. Recently, diff

safetyarxiv-cs-ro

MHE-Former: Multi-Hypothesis Transformers via Entropy Maximization for 3D Mesh Recovery

arXiv:2609.10743v1 Announce Type: new Abstract: Monocular 3D hand and body mesh recovery often suffers from severe occlusion and ambiguity. Traditional deterministic methods typically regress a single

Near-Optimal Reinforcement Learning with Multi-Step Transition Lookahead

arXiv:2609.11807v1 Announce Type: cross Abstract: We study reinforcement learning (RL) with transition look-ahead, where the agent may observe which states would be visited upon playing any sequence o

agentsarxiv-cs-lg

Industry

OpenAI targets Wall Street bankers with a new version of ChatGPT

OpenAI Group PBC is going after Wall Street with a new version of ChatGPT that’s tailor made for financial tasks such as analysis and calculations. Predictably called ChatGPT for Financial Services, i

industrysiliconangle

Processing and classifying bird songs using wavelet techniques and supervised learning

arXiv:2609.10826v1 Announce Type: new Abstract: This study proposes an integrated framework for the processing and classification of invasive bird species vocalizations within natural soundscapes, cha

Rapid Learning of Dexterous In-Hand Pen Writing through Real-Time Jacobian Estimation

arXiv:2609.11775v1 Announce Type: new Abstract: Dexterous in-hand manipulation of a grasped object with an anthropomorphic hand is an unsolved frontier for robot dexterity. The contact-richness and hi

researcharxiv-cs-ro

Researchers: OpenAI agents attacked Ruby package manager RubyGems in May; OpenAI says its agents used RubyGems to access the internet to do 'benign tasks' (Robert McMillan/Wall Street Journal)

Robert McMillan / Wall Street Journal: Researchers: OpenAI agents attacked Ruby package manager RubyGems in May; OpenAI says its agents used RubyGems to access the internet to do “benign tasks” — The

agentstechmeme

RIDE: Relocalization-Informed Depth Estimation with 3D Gaussian Splatting

arXiv:2609.11079v1 Announce Type: new Abstract: Render--match--PnP relocalization establishes correspondences between query image pixels and 3D map points for camera pose recovery, but their potential

researcharxiv-cs-ro

ROTATE: Regret-driven Open-ended Training for Ad Hoc Teamwork

arXiv:2505.23686v3 Announce Type: replace Abstract: Learning to collaborate with previously unseen partners is a fundamental generalization challenge, known as Ad Hoc Teamwork (AHT). Existing methods

agentsarxiv-cs-ai

Scale-Aware 3D Deep Learning for Robust Brain Metastasis Detection in Multimodal MRI

arXiv:2609.10825v1 Announce Type: cross Abstract: Detecting brain metastases in magnetic resonance imaging (MRI) remains challenging because lesions vary widely in size and appearance, with very small

scDEFT: A deep learning framework for drug-effect prediction and counterfactual reasoning

arXiv:2609.10831v1 Announce Type: cross Abstract: Longitudinal single cell atlases now capture matched pre treatment and post treatment states from responders and non responders, presenting an opportu

Sequence-Informed Geometric Evaluation of RNA 3D Structures

arXiv:2609.10644v1 Announce Type: cross Abstract: Computational RNA structure pipelines generate many candidate conformations for the same sequence. Reliable evaluation therefore requires more than re

Structural Process Supervision for Latent Chain-of-Thought Reasoning

arXiv:2609.09928v1 Announce Type: new Abstract: Latent reasoning approaches enhance token-level efficiency and robustness by replacing verbose, explicit chain-of-thought (CoT) tokens with compact cont

safetyarxiv-cs-ai

Industry

Thanks for the mention and the very very inspiring project for all @cdngdev! Open affordable robotics + frontier AI will change the world!

Thanks for the mention and the very very inspiring project for all @cdngdev! Open affordable robotics + frontier AI will change the world! OpenAI's @cdngdev predicts robotics will have its own version

industryclem-delangue--x

The Last AI Built by Humans: Toward Genuine Recursive Self-Improvement

arXiv:2609.11873v1 Announce Type: cross Abstract: Recursive self-improvement (RSI) enables AI systems to turn experience and feedback into persistent changes that improve both their capabilities and t

researcharxiv-cs-cl

Towards AI-Driven Policing: Interdisciplinary Knowledge Discovery from Police Body-Worn Camera Footage

arXiv:2504.20007v4 Announce Type: replace-cross Abstract: This paper proposes a novel interdisciplinary framework for analyzing police body-worn camera (BWC) footage from the Rochester Police Departme

applicationsarxiv-cs-cv

UBCL: A Reinforcement Learning Framework for Controllable and Diverse Player Behaviors

arXiv:2512.10835v2 Announce Type: replace Abstract: This paper introduces a reinforcement learning framework that enables controllable and diverse player behaviors without relying on human gameplay da

Visual-SLAM for the detection of hidden tomatoes in greenhouses by Hierarchical Localization and GLOMAPfor robotized harvesting

arXiv:2609.11766v1 Announce Type: new Abstract: Advanced crop monitoring inside greenhouses is becoming one of the primary objectives of research centers. High-performance sensors, such as LiDAR or st

local-aiarxiv-cs-ro

When Information is Worth the Risk: Behavioral Valuation for Hazardous Robotic Exploration

arXiv:2609.10726v1 Announce Type: new Abstract: Hazardous robotic exploration requires robots to map spatial risks, such as unsafe terrain, radiation, fire, mines, or structural damage, while operatin

researcharxiv-cs-ro

When More Is Not Better: Component Anti-Synergy in a P300 Speller

arXiv:2609.10961v1 Announce Type: new Abstract: P300 brain-computer interface (BCI) spellers can provide hands-free communication for people with severe motor impairments. Modern pipelines combine mul

Zero-shot rib design: merging training-free generative prior with topology optimization

arXiv:2609.10643v1 Announce Type: new Abstract: Natural load-bearing patterns such as leaf venation, trabecular bone, and spider webs achieve high stiffness per unit mass, yet classical topology optim

A Kernel-Based Modular Discriminant Analysis Framework for Small-Sample Learning

arXiv:2609.09910v1 Announce Type: new Abstract: The small-sample-size (SSS) problem remains a fundamental challenge in machine learning when labeled data are scarce due to cost, accessibility, or ethi

applicationsarxiv-cs-lg

10 Sept 2026

A Unified Policy Architecture (UPA): The Governance Kernel for Enterprise AI Operating Systems

arXiv:2609.06543v1 Announce Type: new Abstract: Enterprise AI is evolving into an Enterprise Operating System where autonomous AI agents can plan, reason, use memory, invoke tools, execute workflows,

safetyarxiv-cs-ai

10 Sept 2026

AAS-RAIL: Improving Information Extraction for Asset Administration Shells through Retrieval-Augmented In-Context Learning