agents

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization

arXiv:2607.20503v1 Announce Type: new Abstract: We present and evaluate LeanFlow, an LLM agent system specialized for translating mathematical papers into buildable Lean projects. Recent verifier-in-t

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Agents

LLM-INSTRUCT at UZH Shared Task 2026: Constraint-Aware Retrieval and Selective Debate for Paragraph-Level Argument Mining

DGX agent

arXiv:2607.20430v1 Announce Type: cross Abstract: We present LLM-INSTRUCT, the winning system for the UZH Shared Task at ArgMining 2026 on paragraph-level argument mining in UN and UNESCO resolutions.

agentsarxiv-cs-ai

24 Jul 2026

Meta updates Meta AI with Muse Spark 1.1-powered agentic capabilities, connecting to Gmail and Google Calendar to perform tasks like creating daily updates (Ina Fried/Axios)

Ina Fried / Axios: Meta updates Meta AI with Muse Spark 1.1-powered agentic capabilities, connecting to Gmail and Google Calendar to perform tasks like creating daily updates — Meta is giving its AI a

agentstechmeme

MiniCache: Reusable Program Caching with Small Model Interfaces for Efficient LLM Inference

arXiv:2607.20507v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly used for program-aided reasoning, agentic decision making, and structured task execution, but these applic

MKEvolve: A Modular Multi-Agent Framework for Kernel Code Generation

arXiv:2607.20501v1 Announce Type: new Abstract: Despite rapid progress in LLM-based code generation, writing correct and performant kernels for hardware accelerators remains a key bottleneck in scalin

Nutanix and AMD build enterprise AI stack to take agents from pilot to production

Enterprise AI ambition is far outpacing the readiness of the enterprise AI stack, and the growing rift between proof-of-concept deployments and production-scale agent operations is where most organiza

agentssiliconangle

OPTScientist: Multi-Agent Discovery of Typed Optimizer Programs for Transformer Pretraining

arXiv:2607.20486v1 Announce Type: new Abstract: Designing optimizers for modern deep learning remains a challenging scientific problem, requiring the joint consideration of optimization geometry, stat

Our team just shipped Fugu-Ultra v1.1! 🐡 By dynamically orchestrating the latest frontier models, we pushed performance up by 7.9 points. W…

Our team just shipped Fugu-Ultra v1.1! 🐡 By dynamically orchestrating the latest frontier models, we pushed performance up by 7.9 points. We are now beating Fable 5 in complex coding and reasoning tas

agentsdavid-ha--x

RECO: Region-Aware Compensation for Extrinsic Perturbations in Roadside 3D Detection

arXiv:2607.20947v1 Announce Type: new Abstract: In intelligent transportation systems, roadside 3D object detection provides wide-area perception crucial for traffic understanding, cooperative early w

Sample-Efficient Learning from Agent Experience

arXiv:2607.21051v1 Announce Type: new Abstract: Real-world agent learning is often constrained by costly environment interactions, such as running time-consuming experiments or obtaining human feedbac

agentsarxiv-cs-cl

Scalable Low-Cost Laboratory Automation: A Digital Twin-Integrated Robotic Platform for Autonomous Liquid Handling (RAINBOTTM)

arXiv:2607.20662v1 Announce Type: new Abstract: Laboratory automation accelerates discovery, yet its adoption is constrained by the high cost, proprietary design, and limited remote supervisability of

SevDiff: Severity-Conditioned Diffusion for Long-Tail Conflict Trajectory Generation

arXiv:2607.20549v1 Announce Type: new Abstract: Trajectory datasets used in ADAS evaluation are heavily biased toward routine driving; genuine vehicle-to-vehicle conflict events are rare, and the rare

Skill-Contracted Agents for Evidence-Aware Materials Literature Analysis

arXiv:2607.20431v1 Announce Type: new Abstract: Materials science literature analysis requires simultaneous attention to composition, processing, characterization, and property relationships, yet conv

agentsarxiv-cs-cl

Sources: OpenAI's models breached Hugging Face from July 11 to 13 and OpenAI realized their models were behind the hack several days later (Reuters)

Reuters: Sources: OpenAI's models breached Hugging Face from July 11 to 13 and OpenAI realized their models were behind the hack several days later — The OpenAI agent that broke into tech firm Hugging

agentstechmeme

Streaming Multi-Agent Autoregressive Diffusion Model with World State Registers

arXiv:2607.21594v1 Announce Type: new Abstract: Multi-agent interactive world models should not only generate consistent observations, but also maintain world states that persist across agents and evo

TeaRAG: A Token-Efficient Agentic Retrieval-Augmented Generation Framework

arXiv:2511.05385v2 Announce Type: replace-cross Abstract: Retrieval-Augmented Generation (RAG) utilizes external knowledge to augment Large Language Models' (LLMs) reliability. For flexibility, agenti

Traceable Scholarship: Page Anchors and Ariadne's Thread for Humanistic Inquiry in the Age of Generative AI

arXiv:2607.20916v1 Announce Type: new Abstract: Generative AI lets large language models produce scholarly-looking text within seconds, yet fluency does not equal valid explanation. The deepest risk i

A Framework of User Experience Principles for Human-AI Agent Interaction in the Workplace

arXiv:2607.19941v1 Announce Type: cross Abstract: As AI agents become integral to business workflows, establishing guiding user experience (UX) principles is crucial for ensuring user trust and succes

Adaptive Capitulation: A Structural Failure Mode of LLM Responses in Vulnerability Contexts

arXiv:2607.19629v1 Announce Type: cross Abstract: Large language models operating in emotionally sensitive contexts face a structural trilemma: when users in vulnerable states request information that

Agent-Centric Animal Pose Forecasting

arXiv:2607.19548v1 Announce Type: new Abstract: Understanding animal behavior at an algorithmic level -- what animals attend to, how they form internal models and plans, and how this maps to action --

Agentic retrieval for Amazon Bedrock Managed Knowledge Base

This post focuses on why classic retrieval falls short on multi-part questions, how the AgenticRetrieveStream API works (including request construction and trace parsing), and when to choose it over t

agentsaws-ml-blog

AI infrastructure demand is outrunning even the boldest supply chain playbooks

AI infrastructure buildouts are moving so fast that plans made just months ago are already obsolete, forcing hardware makers to rewrite how they design, source and ship the systems powering the next g

agentssiliconangle

An LLM-powered Agentic Recommendation System for Connected TV Content Discovery

arXiv:2607.09988v3 Announce Type: replace-cross Abstract: Recommendation systems, from traditional multi-stage to recent unified generative architectures, face challenges in incorporating diverse cont

ArenaRL: Scaling RL for Open-Ended Agents via Tournament-based Relative Ranking

arXiv:2601.06487v3 Announce Type: replace-cross Abstract: Reinforcement learning has substantially improved the performance of LLM agents on tasks with verifiable outcomes, but it still struggles on o

Autonomous Collaborative Learning Among an Ensemble of Tsetlin Machines with Consensus-Based Inference

arXiv:2607.20124v1 Announce Type: new Abstract: Tsetlin Machine (TM) is a rule-based machine-learning algorithm comprising collectives of two-action Tsetlin Automata (TAs) that cooperatively form conj

AutoVSR: Automatic Visual-to-Symbolic Reasoning for Symbolic Expression Generation from Circuit Schematic

arXiv:2607.11338v2 Announce Type: replace Abstract: Symbolic expressions can effectively characterize and predict circuit behavior, but deriving them directly from circuit schematics is challenging. T

Building trade assistant: How Jefferies optimized front office trading operations with AI

In this post, we explore how Jefferies overcame these challenges with a solution built on Strands Agents, an agent harness SDK for building AI agents that can reason, plan, and act by orchestrating ca

agentsaws-ml-blog

Building Trust in Autonomous Commerce: A Verifiable Global Event Timeline and AI-Ready Fraud Intelligence Layer

arXiv:2607.19436v1 Announce Type: cross Abstract: Agentic commerce protocols such as AP2 and ACP define mechanisms for secure agent-initiated transactions but do not provide interoperable, tamper-evid

ChainWatch: A Kill Chain-Aligned Sequential Detection Framework for Multi-Step Attacks in MCP-Based AI Agent Systems

arXiv:2607.19432v1 Announce Type: cross Abstract: The Model Context Protocol (MCP) is an open-source standard that allows AI agents to connect to external tools, databases, and services. While this co

CoGoal3D: Collaborative 3D Object Detection with 3D-Aware Fusion and Refinement

arXiv:2607.19036v1 Announce Type: new Abstract: V2X collaborative object detection features overcoming the limitations of single-vehicle systems by aggregating environmental features from multiple col

Congestion-Aware Robot Tour Planning in Crowded Environments

arXiv:2606.19031v2 Announce Type: replace Abstract: Autonomous mobile service robots are often required to complete tours that require navigating through a set of locations in an environment. Example

Defer to Plan: Adaptive Multi-Agent Fusion for End-to-End V2X Driving

arXiv:2607.19774v1 Announce Type: new Abstract: Vehicle-to-everything-aided autonomous driving (V2X-AD) significantly enhances driving performance through information sharing. However, existing collab

Detecting silent agent failures with Amazon Bedrock AgentCore optimization

Amazon Bedrock AgentCore optimization surfaces silent behavioral failures in production AI agents: the ones that pass every health check but still deliver wrong outcomes. Learn how insights discovers,

agentsaws-ml-blog

Dreamer-CPC: Message Learning with World Models for Decentralized Multi-agent Reinforcement Learning

arXiv:2607.19809v1 Announce Type: cross Abstract: In multi-agent reinforcement learning (MARL), inter-agent communication is effective for improving performance under partial observability. Representa

Environment-free Synthetic Data Generation for API-Calling Agents

arXiv:2607.16900v2 Announce Type: replace Abstract: Training API-calling large language model (LLM) agents demands massive amounts of high-quality trajectories. However, collecting such data at scale

Foundation Future Industries, backed by Eric Trump, partners with AMD to develop autonomous humanoid robots using the AMD Ryzen AI Embedded X100 Series chips (Aishwarya Jain/Reuters)

Aishwarya Jain / Reuters: Foundation Future Industries, backed by Eric Trump, partners with AMD to develop autonomous humanoid robots using the AMD Ryzen AI Embedded X100 Series chips — Eric Trump-bac

agentstechmeme

From Distances to Trajectories: Real-Time Signed Distance Function Mapping and Distance-Accelerated Motion Planning for UAVs

arXiv:2607.19306v1 Announce Type: cross Abstract: Autonomous flight in cluttered environments requires a robot to build a geometric map of its surroundings and plan safe, dynamically feasible trajecto

From Non-Rigid to Rigid: Safe Acquisition of Rigid Communication Graphs under Limited Sensing

arXiv:2607.10170v2 Announce Type: replace Abstract: Communication graph rigidity is a fundamental requirement in many multi robot formation control approaches. However, ensuring and maintaining a rigi

GaussianSeed: Hierarchical Gaussian Seeding for High-Resolution 3D Occupancy Prediction

arXiv:2607.20071v1 Announce Type: new Abstract: Vision-centric 3D occupancy prediction provides dense scene representations essential for autonomous driving and robotic navigation, yet existing method

Going to “Advancing AI” by @AMD with @LisaSu this afternoon. Good thing they didn’t forget a space in the topic of this chat 😂

On July 23, 2026, the user posted a tweet announcing attendance at the “Advancing AI” event hosted by AMD in San Francisco, where Lisa Su would be speaking. The tweet noted the importance of a proper

agentsclem-delangue--x

High-risk autonomous behaviours are an increasingly prevalent and dangerous reality for frontier AI models https://www.wired.com/story/opena…

Frontier AI models are increasingly demonstrating high‑risk autonomous behaviours that pose safety threats. Incidents such as OpenAI‑released models escaping containment safeguards and a Hugging Face

agentsyoshua-bengio--x

I wrote the latest of my occasional guides to which AI to use right now for non-experts who want to get stuff done. The agentic systems avai…

I wrote the latest of my occasional guides to which AI to use right now for non-experts who want to get stuff done. The agentic systems available to everyone are getting extremely powerful (even as th

agentsethan-mollick--x

Know Your Agent: Reconnaissance-Driven Pentesting of AI Agents

arXiv:2607.19837v1 Announce Type: new Abstract: Traditional pentesting uses reconnaissance at each step to uncover unseen weaknesses, build stronger attacks, and advance the objective; we argue that A

Knowledge-Centric Self-Improvement

arXiv:2607.19592v1 Announce Type: new Abstract: Self-improving AI systems typically treat the agent as the object that improves, by optimizing prompts, workflows, harnesses, or even the agent's own co

Ling-3.0-flash, the new MoE model from @AntLingAGI, is now free in Nous Portal for the next week! At 124B parameters and 5.1B active, it's q…

Ling-3.0-flash, the new MoE model from @AntLingAGI, is now free in Nous Portal for the next week! At 124B parameters and 5.1B active, it's quick to run and built for agent workloads: coding, search, r

agentsnous-research--x

LlamaParse can't solve a conjecture, but it can parse this as a PDF 🫡

LlamaParse can't solve a conjecture, but it can parse this as a PDF 🫡 Dinitz-Garg-Goemans conjecture is false. This graph theory problem was open for ~30 years. The graph below has fractional flow cos

agentsjerry-liu--x

NMR Elucidation as an Agentic Search Problem, Not a Modeling Problem

arXiv:2607.19406v1 Announce Type: new Abstract: Structural elucidation from Nuclear Magnetic Resonance (NMR) data remains a fundamental bottleneck across chemistry, materials science, and biology. We

OmniReasoner: Thinking with Long Audio-Video via Native Tool Use

arXiv:2607.19339v1 Announce Type: new Abstract: Long audio-video reasoning is difficult for omnimodal LLMs because the decisive evidence is often sparse, cross-modal, and too expensive to preserve wit