Search: “papers”

Automatic Ordinary Differential Equations Discovery For Biological Systems Using Large Language Model Powered Agentic System

arXiv:2607.13608v1 Announce Type: new Abstract: Automatic scientific discovery has long been a goal of computational scholars - a machine that can discover nature's secrets on its own, moving computat

Human

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Model Releases

CAVA: Canonical Action Verification and Attestation for Runtime Governance of Agentic AI Systems

DGX agent

arXiv:2607.13716v1 Announce Type: new Abstract: Agentic AI systems increasingly act through heterogeneous runtimes: local coding hooks, SDK tools, browser automation, managed-agent traces, API gateway

model-releasesarxiv-cs-ai

16 Jul 2026

EZSMT Version 3, Matured

arXiv:2607.13344v1 Announce Type: new Abstract: Constraint Answer Set Programming (CASP) is a hybrid reasoning paradigm that combines Answer Set Programming (ASP) with Constraint Processing and Satisf

From Pixels to States: Rethinking Interactive World Models as Game Engines

arXiv:2607.14076v1 Announce Type: new Abstract: Building interactive worlds that respond coherently to player actions has long been a shared goal of computer graphics, games, and artificial intelligen

researcharxiv-cs-cv

Structured Reinforcement Learning for Bayesian Persuasion : Application to Intelligent Interactive Driving

arXiv:2607.13576v1 Announce Type: new Abstract: Interactive driving, wherein an intelligent lead vehicle equipped with real-time traffic data coordinates route choices of connected vehicles, offers a

safetyarxiv-cs-lg

Belief-reality separation lives in routing over a shared value slot in language models

model-releasesarxiv-cs-cl

arXiv:2607.11945v1 Announce Type: new Abstract: Capable language models hold what a character believes apart from what is true: told 'Anna believes the cup is blue; in reality it is red,' they answer

Growing a Tail: Increasing Output Diversity in Large Language Models

arXiv:2411.02989v2 Announce Type: replace Abstract: How diverse are the outputs of large language models when diversity is desired? We examine the diversity of responses of several language models to

safetyarxiv-cs-cl

How to Realize Recursively Self-Improving Agents and Personal Singularity: A Goal-, Scope-, Tool-, and Benchmark-Driven Multi-Agent Architecture

model-releasesarxiv-cs-cv

arXiv:2607.12254v1 Announce Type: new Abstract: Large language model (LLM) agents can increasingly plan, use tools, maintain memory, and execute long-horizon tasks. These advances motivate two linked

Language Identification with Succinct Machine-Independent Traces

arXiv:2607.12443v1 Announce Type: new Abstract: Motivated by the power of large language models, there has been renewed interest in the Gold-Angluin model of language identification in the limit, with

tutorialsarxiv-cs-cl

LP Mining with LP2Graph: A Use Case for Railway Rescheduling

arXiv:2607.11980v1 Announce Type: new Abstract: Like many optimization-driven domains, railway rescheduling relies on Mixed-Integer Linear Programming (MILP), yet the field's modeling knowledge is sca

Local Ai

On-Device Deep Research at 4B: Exposure Bounds Faithfulness, Retrieval Bounds Coverage

arXiv:2607.12257v1 Announce Type: new Abstract: On-device research agents search a corpus, read sources, and write a cited brief on a personal laptop. Whether their citations are faithful, and at what

local-aiarxiv-cs-ai

Ontology-Amplified Distillation and Contextuality Auditing for Sovereign Enterprise Language Models: A Combined Proof-of-Mechanism and Negative-Results Method Study

model-releasesarxiv-cs-ai

arXiv:2607.11948v1 Announce Type: new Abstract: Regulated financial institutions operating under data-residency rules need tenant-owned language models that can run inside the institution's perimeter.

Overview of Cross-Component In-loop Filters in Video Coding Standards

arXiv:2607.12186v1 Announce Type: new Abstract: In-loop filters have been comprehensively explored during the development of video coding standards due to their remarkable noise-reduction capability.

researcharxiv-cs-cv

Point Tracking in Surgery--The 2025 Surgical Tattoos in Infrared Challenge (STIRC2025)

arXiv:2607.12939v1 Announce Type: new Abstract: Point tracking in surgery is crucial to enable applications in downstream tasks such as segmentation, 3D reconstruction, virtual tissue landmarking, aut

agentsarxiv-cs-cv

Industry

Today, we are introducing Inkling. Inkling reasons efficiently across text, image, and audio modalities. We are making the full weights avai…

Today, we are introducing Inkling. Inkling reasons efficiently across text, image, and audio modalities. We are making the full weights available. https://thinkingmachines.ai/news/introducing-inkling/

industryclem-delangue--x

VanillaBench: The Hidden Accuracy Cost of Adversarial Robustness

model-releasesarxiv-cs-cv

arXiv:2607.12545v1 Announce Type: cross Abstract: Adversarial robustness research has produced hundreds of defended models over the past decade, yet the literature almost universally reports robustnes

Fable, turn my tweet into a thinkpiece (this was pretty funny): There has never been a better time to have opinions about artificial intelli…

model-releasesethan-mollick--x

Fable, turn my tweet into a thinkpiece (this was pretty funny): There has never been a better time to have opinions about artificial intelligence. I say this with some authority, because I am currentl

14 Jul 2026

Everyone keeps asking me how to build a second brain or an LLM wiki. Here is the easiest setup I have found. I took my Wiki Builder skill, i…

Everyone keeps asking me how to build a second brain or an LLM wiki. Here is the easiest setup I have found. I took my Wiki Builder skill, installed it into HyperAgent (@hyperagentapp) as a reusable s

tutorialsdair-ai--x

13 Jul 2026

A New Human-Likeness and Comfort Index for Robot Movements Along Prescribed Paths

arXiv:2607.08620v1 Announce Type: new Abstract: As human-robot interaction rapidly spreads in numerous fields, the subject of robot acceptance gains increasing importance. Visual similarity to the hum

researcharxiv-cs-ro

DKDNet: Dual Knowledge and Data-Driven Network for Cross-Domain Automatic Modulation Classification

arXiv:2607.08031v1 Announce Type: cross Abstract: The dynamics of communication environments induce significant distribution shifts across domains, challenging the generalization of deep learning-base

Idiobionics: The Unification of Privacy and Intelligent Robotic Prostheses

arXiv:2607.07775v1 Announce Type: new Abstract: The human body is at the center of a growing family of technologies designed to tightly and persistently couple biological and digital systems. Robotic

Knowledge Graph and Accurate Portrait Construction of Scientific and Technological Academic Conferences

arXiv:2204.04888v2 Announce Type: replace-cross Abstract: In recent years, with the continuous progress of science and technology, the number of scientific research achievements has increased rapidly.

Applications

Monocular Vision Based Control Framework for Grasping

arXiv:2607.07897v1 Announce Type: new Abstract: Grasping in unstructured environments requires handling objects with widely different mechanical properties, from soft and deformable items to rigid eve

applicationsarxiv-cs-ro

Out of Sight: Compression-Aware Content Protection against Agentic Crawlers

arXiv:2607.08180v1 Announce Type: cross Abstract: The rise of LLM-based agents with reasoning, summarization, and memory capabilities has created a new threat surface for online content that conventio

Adversarial Rademacher Complexity of Deep Neural Networks

arXiv:2211.14966v2 Announce Type: replace Abstract: Deep neural networks (DNNs) are highly vulnerable to adversarial attacks. Ideally, a robust model should perform well on both perturbed training dat

tutorialsarxiv-cs-lg

Creativity from Friction: Human-AI Interaction for Exploratory Structural Design

arXiv:2607.07521v1 Announce Type: cross Abstract: AI agents that generate final answers based on user input often do not meet the needs of creative fields. Fields such as structural design and archite

FourierQK: Spectral Preprocessing of Query-Key Projections Improves Transformer Attention

arXiv:2607.07478v1 Announce Type: cross Abstract: FFT-based spectral preprocessing of learned query-key (Q/K) projections substantially improves transformer attention on character-level language model

researcharxiv-cs-cl

Information Allocation Dynamics in Neural Network Optimization

model-releasesarxiv-cs-lg

arXiv:2607.07156v1 Announce Type: new Abstract: Different optimizers have different update biases, but these biases are usually implicit. Existing studies mainly analyze or control such biases from th

Large Language Models (LLMs) and Generative AI in Cybersecurity and Privacy: A Survey of Dual-Use Risks, AI-Generated Malware, Explainability, and Defensive Strategies

model-releasesarxiv-cs-ai

arXiv:2607.06963v1 Announce Type: cross Abstract: Large Language Models (LLMs) and generative AI (GenAI) systems, such as ChatGPT, Claude, Gemini, LLaMA, Copilot, Stable Diffusion by OpenAI, Anthropic

Mechanistic Interpretability for Neural Networks: Circuits, Sparse Features and Symbolic Reasoning

arXiv:2607.07316v1 Announce Type: new Abstract: This article offers a comprehensive overview of mechanistic interpretability, an emerging field that seeks to reverse-engineer the internal algorithms o

safetyarxiv-cs-lg

Progressive Crystallization: Turning Agent Exploration into Deterministic, Lower-Cost Workflows in Production

arXiv:2607.07052v1 Announce Type: cross Abstract: AI agents deployed for IT operations are typically permanent cost centers because every execution requires full LLM inference, even for previously sol

Reinforcement Federated Learning Method Based on Adaptive OPTICS Clustering

model-releasesarxiv-cs-lg

arXiv:2306.12859v3 Announce Type: replace Abstract: Federated learning is a distributed machine learning technology, which realizes the balance between data privacy protection and data sharing computi

A Three-Layer Framework for AI in Scientific Discovery

arXiv:2606.13566v2 Announce Type: replace Abstract: Current discussions of AI in scientific discovery are often dominated by two visible capabilities: search over existing knowledge and execution thro

Beyond the Leaderboard: A Synthesis of Tool-Use, Planning, and Reasoning Failures in Large Language Model Agents

model-releasesarxiv-cs-ai

arXiv:2607.05775v1 Announce Type: new Abstract: Large language model (LLM) agents are increasingly evaluated on their ability to use tools, plan multi-step tasks, coordinate with other agents, and ope

Hardware

DBNN: Neural Spike Classification Using a Deep Binarized Neural Network

arXiv:2607.05590v1 Announce Type: cross Abstract: Implantable brain-computer interfaces require on-node spike sorting to reduce telemetry bandwidth and power while maintaining reliable neural decoding

hardwarearxiv-cs-lg

Estimation of instrument and noise parameters for inverse problem based on prior diffusion model

arXiv:2602.11711v2 Announce Type: replace-cross Abstract: This article addresses the issue of estimating observation parameters (response and error parameters) in inverse problems. The focus is on cas

researcharxiv-cs-lg

From Textural Counterpoint to Feature Encoding: A Multi-Dimensional Machine Representation Study of Haydn's 'The Lark' Integrating Electroacoustic Analysis

arXiv:2607.05902v1 Announce Type: cross Abstract: Chamber music, as a highly precise multi-part interactive system, contains a logic of 'role assignment and dynamic interaction' that provides an extre

Great writeup from the University of Oxford. It's a taxonomy of LLM-based agent limitations. Good read for anyone shipping with agents. Benc…

Great writeup from the University of Oxford. It's a taxonomy of LLM-based agent limitations. Good read for anyone shipping with agents. Benchmark scores keep climbing, yet the same agent failures resu

model-releasesdair-ai--x

MASCA: LLM based-Multi Agents System for Credit Assessment

arXiv:2507.22758v2 Announce Type: replace Abstract: Recent advancements in financial problem-solving have leveraged LLMs and agent-based systems, with a primary focus on trading and financial modeling

safetyarxiv-cs-cl

Multi-Agent Deep Reinforcement Learning for Multi Objective Battery Management in Dairy Farms

arXiv:2607.06489v1 Announce Type: new Abstract: The dairy industry in Ireland has a large potential for the integration of renewable energy and the reduction of carbon emissions. However, researchers

Position: EU AI Act's Research Exemptions Can Break the Publication Norms of Major AI Conferences

arXiv:2506.03218v2 Announce Type: replace-cross Abstract: The EU has become one of the vanguards in regulating the digital age. A particularly important regulation in the Artificial Intelligence (AI)

Agentic IoT: Architectures, Applications, and Challenges Toward the Internet of Agents

arXiv:2607.04219v1 Announce Type: new Abstract: The integration of AI into Internet of Things (AIoT) systems has gradually transformed them from passive data collection infrastructures into intelligen

Asymptotic Behavior of Multi--Task Learning: Implicit Regularization and Double Descent Effects

arXiv:2603.05060v2 Announce Type: replace Abstract: Multi--task learning seeks to improve the generalization error by leveraging the common information shared by multiple related tasks. One challenge

researcharxiv-cs-lg

Empirical Computation: Prompting versus Programming

arXiv:2503.10954v2 Announce Type: replace-cross Abstract: Large Language Model (LLM) agents can solve *any* computational problem *without* an algorithm in a runtime *independent* of the computational

tutorialsarxiv-cs-ai

EvoOtter: Evolutionary Reproduction Test Generator

arXiv:2607.02854v1 Announce Type: cross Abstract: Before fixing an issue, it is useful to first reproduce it by generating a bug reproduction test (BRT). However, generating a BRT is itself a challeng

tutorialsarxiv-cs-lg

Applications

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

Piercing Gilbreath's Conjecture: From Deep Number Theory Insights to Fintech and Cybersecurity

arXiv:2607.04166v1 Announce Type: cross Abstract: I propose a new methodology to attack the fascinating Gilbreath's conjecture about prime numbers, first posted in 1878 and unsolved to this day. The p

Saving GPU Hours in LLM Inference System Development and Online Workloads with Simulation and DBMS-Inspired Cache Replacement Policies

arXiv:2411.07447v5 Announce Type: replace-cross Abstract: LLMs are increasingly used world-wide from daily tasks to agentic systems and data analytics, requiring significant GPU resources. While LLM i