Search: “concepts”

ADVENT: LLM-Driven Automatic Predicate Invention for ILP

arXiv:2607.01585v1 Announce Type: cross Abstract: Predicate invention (PI), the creation of new predicates to extend the hypothesis space, remains a critical bottleneck in Inductive Logic Programming

tutorialsarxiv-cs-ai

AI Assistance for Human Review of Default Judgments

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

DGX agent

arXiv:2607.01256v1 Announce Type: cross Abstract: Overwhelmed courts in the United States review millions of default judgments each year. Unfortunately, such manual reviews are time-consuming and pron

applicationsarxiv-cs-ai

3 Jul 2026

AnyGroundBench: A Specialized-Domain Benchmark for Video Grounding in Vision-Language Models

arXiv:2607.02269v1 Announce Type: cross Abstract: Vision-Language Models (VLMs) have demonstrated immense promise in Spatio-Temporal Video Grounding (STVG). However, current evaluation protocols are l

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph

arXiv:2510.04520v2 Announce Type: replace Abstract: Accurate auto-formalization of theorem statements is essential for advancing automated discovery and verification of research-level mathematics, yet

AthDGC: An Open Diachronic Greek Treebank with Indo-European Parallels

arXiv:2606.15510v2 Announce Type: replace Abstract: AthDGC ('Athens-PROIEL') is an open, end-to-end workflow and dataset. It is, to the best of our knowledge, the first openly licensed dependency-pars

safetyarxiv-cs-cl

Gaming Consensus: Coordinated Manipulation in Crowdsourced Fact-Checking

arXiv:2607.01824v1 Announce Type: new Abstract: Crowdsourced fact-checking systems have been adopted by major social media companies such as X, Meta, TikTok and Google with the aim of combating mislea

applicationsarxiv-cs-lg

How Should Transformers Encode Numeric Values in Electronic Health Records?

arXiv:2607.01391v1 Announce Type: cross Abstract: How do we encode numeric values in transformer-based sequence processing, particularly in electronic health record (EHR) data? We systematically compa

applicationsarxiv-cs-ai

Language Models as Measurement Apparatus for Culture

arXiv:2607.02459v1 Announce Type: new Abstract: Language models are increasingly used to quantify cultural phenomena, but what makes such measurement distinctively cultural? This paper argues that NLP

agentsarxiv-cs-cl

Multi-modal Rail Crossing Safety Analysis

arXiv:2607.01365v1 Announce Type: cross Abstract: Given one or more images of a railway crossing, can we leverage visual cues that allow us to robustly estimate how safe it is? Can we improve our abil

One way to live 400 years is to do (and experience) 5x more things per day

researchfrancois-chollet--x

This post explores a philosophical perspective on subjective time perception, suggesting that by engaging in more diverse activities and novel experiences daily, one can psychologically expand their l

Sim2Real-AD: A Modular Sim-to-Real Framework for Deploying VLM-Guided Reinforcement Learning in Real-World Autonomous Driving

arXiv:2604.03497v2 Announce Type: replace-cross Abstract: Vision-language-model (VLM)-guided reinforcement learning (RL) has recently attracted significant attention for it, replacing brittle hand-cra

Something about this year’s @aiDotEngineer World’s Fair just hit different. Last year was the year of “let the agents rip.” This year was th…

model-releasesyohei-nakajima--x

Something about this year’s @aiDotEngineer World’s Fair just hit different. Last year was the year of “let the agents rip.” This year was the year of realizing that autonomy without structure creates

Structuring the Space of Sociotechnical Alignment

arXiv:2607.01250v1 Announce Type: cross Abstract: Sociotechnical alignment concerns the social desirability of AI behavior and is thus inherently normative, not merely technical. While NLP research in

The Dual Nature of LLM Persona: Aggregated Tendencies and Frame-Dependent Geometry

arXiv:2607.02368v1 Announce Type: cross Abstract: Evaluations of LLM personas via psychometric questionnaires typically rely on aggregate scores, discarding within-instance correlation structure. We t

researcharxiv-cs-ai

The Eticas AI Risk Taxonomy: Open Infrastructure for Operationalizing AI Audits

arXiv:2607.02201v1 Announce Type: cross Abstract: The rapid deployment of AI systems across high-stakes domains has created urgent demand for standardized evaluation, yet the field remains fragmented

A General Approach to Visualizing Uncertainty in Statistical Graphics

arXiv:2508.00937v4 Announce Type: replace-cross Abstract: We present a general approach to visualizing uncertainty in static 2-D statistical graphics. If we treat a visualization as a function of its

tutorialsarxiv-cs-lg

Deep Learning-Driven Black-Box Doherty Power Amplifier with Pixelated Output Combiner and Extended Efficiency Range

arXiv:2603.16565v2 Announce Type: replace-cross Abstract: This article presents a deep learning-driven inverse design methodology for Doherty power amplifiers (PA) with multi-port pixelated output com

researcharxiv-cs-ai

'Don't Say It!': Constraints, Compliance, and Communication when Language Models Play Taboo

arXiv:2607.00601v1 Announce Type: new Abstract: The game of Taboo requires describing a target word without using a set of forbidden words, so that other players can guess it. This deceptively simple

researcharxiv-cs-cl

Group-Equivariant Poincare Convolutional Networks

arXiv:2607.00556v1 Announce Type: cross Abstract: While recent advancements like the Poincare ResNet have demonstrated the potential of learning visual representations directly in hyperbolic space, th

Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization

arXiv:2603.26270v2 Announce Type: replace-cross Abstract: Smart contracts govern billions of dollars in decentralized finance (DeFi), yet automated vulnerability detection remains challenging because

Planning over MAPF Agent Dependencies via Multi-Dependency PIBT

arXiv:2603.23405v2 Announce Type: replace-cross Abstract: Modern Multi-Agent Path Finding (MAPF) algorithms must plan for hundreds to thousands of agents in congested environments within a second, req

Retrieved Images as Visual Thought: Training-Free Multimodal In-Context Learning for the Open-vs-Closed Gap

model-releasesarxiv-cs-cv

arXiv:2607.00606v1 Announce Type: new Abstract: Recent work on Thinking with Images makes vision a dynamic part of reasoning, but does so through generation: the model invokes external tools, synthesi

Task-Relevant Representation Decoupling for Visual Reinforcement Learning Generalization

arXiv:2607.00796v1 Announce Type: new Abstract: Visual Reinforcement Learning (VRL) has achieved considerable success in solving control tasks. However, generalizing learned policies to new environmen

researcharxiv-cs-lg

Topological Void Analysis A Mathematical Framework for Systematic Technical Innovation Discovery in Knowledge Spaces

arXiv:2607.00005v1 Announce Type: cross Abstract: Identifying where to innovate in a dense technical domain - such as operating systems or hardware/software co-design - is fundamentally a search probl

researcharxiv-cs-ai

Understand to participate

I saw Geoffrey Litt speak at AIE yesterday, and one framing he used particularly resonated with me: Understand to participate Geoffrey was talking about the challenge of collaborating with coding agen

agentssimon-willison

Autoresearch: The feedback loop behind self-improving agents

Autoresearch describes a feedback mechanism where AI agents can evaluate their own outputs and use that introspection to iteratively improve their reasoning and decision-making capabilities. This conc

agentslatent-space

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics

arXiv:2606.31134v1 Announce Type: new Abstract: While Large Language Models (LLMs) have demonstrated exceptional capabilities in mathematical reasoning, they frequently produce subtle errors that evad

Collaborative Knowledge Distillation via a Learning-by-Education Node Community

arXiv:2410.00074v2 Announce Type: replace Abstract: A novel Learning-by-Education Node Community framework (LENC) for Collaborative Knowledge Distillation (CKD) is presented, which facilitates continu

agentsarxiv-cs-lg

Elon Musk explains one of the most optimistic futures imaginable: Neuralink and Optimus restoring lost human abilities through real-world cy…

Elon Musk explains one of the most optimistic futures imaginable: Neuralink and Optimus restoring lost human abilities through real-world cyborg technology And the first people this could help are the

applicationselon-musk--x

Enhancing Graph Representations with Neighborhood-Contextualized Message-Passing

arXiv:2511.11046v3 Announce Type: replace-cross Abstract: Graph neural networks (GNNs) have become an indispensable tool for analyzing relational data. Classical GNNs are broadly classified into three

Improved Immiscible Diffusion: Accelerate Diffusion Training by Reducing Its Miscibility

arXiv:2505.18521v2 Announce Type: replace Abstract: The substantial training cost of diffusion models hinders their deployment. Immiscible Diffusion recently showed that reducing diffusion trajectory

tutorialsarxiv-cs-cv

Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4

arXiv:2602.18767v3 Announce Type: replace-cross Abstract: In Machine-Assisted Theorem Proving, a theorem proving agent searches for a sequence of expressions and tactics that can prove a statement in

agentsarxiv-cs-lg

OpenLife: Toward Open-World Artificial Life with Autonomous LLM Agents

arXiv:2606.31046v1 Announce Type: new Abstract: Artificial life has explored life-like behavior on many computational substrates, but mostly in researcher-designed closed worlds. We argue that large l

Resolving superposition in AI for interpretability and cross-modal alignment in patient-neuronal images

arXiv:2606.31394v1 Announce Type: cross Abstract: Artificial intelligence is transforming our capability to solve biological challenges. In dimensionality bottleneck regimes exacerbated by high-dimens

Robustness of neural networks to random noise perturbations of their inputs

arXiv:2606.31581v1 Announce Type: new Abstract: We investigate the problem of the robustness of a trained neural network to the perturbation of its input values. More specifically, we examine the inte

applicationsarxiv-cs-lg

Robustness of Robotic Manipulation: Foundations and Frontiers

arXiv:2606.31494v1 Announce Type: cross Abstract: Humans and animals exhibit remarkable robustness in physical manipulation, yet robots remain far behind. Progress toward human-level manipulation robu

Size Doesn't Matter: Cosine-Scored Sparse Autoencoders

arXiv:2606.15054v2 Announce Type: replace Abstract: Sparse autoencoders (SAEs) detect features via inner product, so a feature's activation scales with both its directional alignment and the input's n

safetyarxiv-cs-lg

The Quadruped Soft Tail: Compliant Grasping and Swabbing for Contamination Surveys in Harsh Environments

arXiv:2606.30900v1 Announce Type: new Abstract: Beryllium contamination surveys in radioactive areas are challenging for robots in environments cluttered with cables and electronics. To address this p

researcharxiv-cs-ro

TotalFM: An Organ-Separated 3D-CT Foundation Model Leveraging Large-Scale Routine Clinical Radiology Data

arXiv:2601.00260v2 Announce Type: replace Abstract: While foundation models in radiology are expected to be applied to various clinical tasks, computational cost constraints remain a major challenge w

researcharxiv-cs-cv

A causal modeling perspective on decision theory

arXiv:2606.29911v1 Announce Type: new Abstract: Decision theory provides a formal framework for how agents should make choices under uncertainty, drawing on ideas from philosophy, probability, and cau

A Knowledge Theory of Capital:The Value of Natural and Artificial Intelligence, Volume 1

arXiv:2606.18288v2 Announce Type: replace-cross Abstract: This volume develops a knowledge theory of capital for economies in which productive capacity increasingly resides in software, data, models,

applicationsarxiv-cs-ai

Analyzing Defensive Misdirection Against Model-Guided Automated Attacks on Agentic AI Systems

arXiv:2606.20470v2 Announce Type: replace-cross Abstract: Agentic AI systems increasingly rely on language-model components to interpret instructions, process external data, invoke tools, and coordina

Attribution Graphs and Causal Probing for Mechanistic Discovery and Bias Repair in Multimodal Generative Learning

arXiv:2510.12957v4 Announce Type: replace-cross Abstract: We treat the internals of generative models as mechanistic objects rather than black boxes. We introduce extbf{Attribution Graphs} (AGs), whic

Bringing speed and strong cost performance to the market with Gemini Omni Flash and Nano Banana 2 Lite

model-releasesgoogle-cloud-ai

Great creative happens when your tools move at the speed of your ideas. To help you create rich, reliable experiences while reducing regeneration time and costs, we’re adding two new models to Gemini

Building artificial intelligence virtual tissue (AIVT) for tissue state representation, feature prediction, and dynamic simulation

arXiv:2606.29883v1 Announce Type: new Abstract: Modeling tissue states and their transitions is essential for understanding tissue homeostasis in health and pathological remodeling in disease. However

tutorialsarxiv-cs-cv

Local Ai

Can Machines Really See Objects in Images? A Study Based on Syntactic Distance and Visual Self-Referential Instances

arXiv:2606.29416v1 Announce Type: cross Abstract: Can a vision model truly see an object, or does it only fit surface-level visual cues? Following Wittgenstein's view that the limits of language are t

local-aiarxiv-cs-ai

Tools

Cute illustrations made by @bclavie giving a talk at @aiDotEngineer @mixedbreadai “Code is knowledge but knowledge is not code”

This post references a talk given by @bclavie at an AI engineer event hosted by Mixed Bread AI, featuring cute illustrations and exploring the distinction between code as a form of knowledge represent

toolsswyx--x

Defeat Devices in AI Systems

arXiv:2606.28863v1 Announce Type: cross Abstract: AI systems increasingly exhibit behavior that differs systematically between evaluation and deployment contexts. Alignment faking, sandbagging, benchm