Search

What are you looking for?

25 results for agents

AI·This repository contains a curated collection of Codex plugin examples for OpenAI, each including a required plugin.json manifest and optional supporting files for skills, agents, and marketplaces.

GitHub Trending (AI)·github.com··5.2Otheropenaipluginscodex

AI·OpenAI released GPT-5.6 in three tiers—Sol (flagship), Terra, and Luna—boosting benchmarks in Agent's Last Exam (56.3 score), math, coding, security, and research while slashing token costs and adding Max/Ultra reasoning modes.

36氪 AI·36kr.com··3.0Releaseopenaigptllm

AI·OpenAI folds Codex into the new ChatGPT desktop app as Work mode, shifting focus to usage-based billing and water-meter-style pricing for AI agents, effectively 'killing' the old standalone Codex product.

36氪 AI·36kr.com··2.8Releaseopenaicodexgpt

AI·This position paper reviews LLM-driven formal theorem provers and argues that current systems function mainly as solvers for well-defined problems, not as research agents capable of discovering new theorems or resolving open conjectures at the frontier. It identifies key limitations in datasets, exploration, tools, and collaboration and proposes a roadmap for AI4Math systems to support genuine mathematical research.

arXiv cs.CL·arxiv.org··1.8Researchllmformal-methodsai4math

The rapid development of large language models and multimodal large language models has accelerated the emergence of proactive agents capable of operating everyday tools and assisting users in real-world environments. However, existing benchmarks struggle to evaluate such agents effectively, as they often rely on sandboxed environments and single-turn evaluation paradigms. Moreover, their scenario-based task taxonomies mix multiple model capabilities within the same task category, making it dif…

HuggingFace Daily Papers·huggingface.co··0.6paper

In long-horizon tasks, decision-relevant state is often scattered across an expanding trajectory, while the action agent must surface it and act. As trajectories grow, task requirements, environment facts, prior attempts, diagnoses, and open subgoals can be buried in the context window or pushed beyond it, failing to influence decisions when needed. We call this failure mode "behavioral state decay". We study memory as an active intervention mechanism rather than passive retrieval. A separate m…

HuggingFace Daily Papers·huggingface.co··0.5paper

Large language models (LLMs) increasingly act as integrated data-science agents, combining abstract reasoning with advanced tool use. Yet the relevant benchmark landscape largely divides into symbolic causal reasoning benchmarks without realistic data analysis or data analysis benchmarks without a principled causal data-generating structure. Furthermore, existing causal evaluation datasets are often restricted to curated examples from existing sources, with diversity coming from limited templat…

HuggingFace Daily Papers·huggingface.co··0.5paper

We present AgentLens, a production-assessed benchmark for interactive code agents. Most code-agent benchmarks reduce a run to a single bit -- did the task pass? -- but the people who actually use these agents experience the entire trajectory: how the agent follows instructions, uses its tools, verifies its own work, recovers from mistakes, and talks to them along the way. AgentLens evaluates that whole trajectory. It pairs formal verification, where an objective check exists, with LLM-written t…

HuggingFace Daily Papers·huggingface.co··0.2paper

Coding agents increasingly generate pull requests (PRs) for real-world software issues, yet one-shot PR generation remains open-loop: the PR is proposed without systematic review, diagnosis, or revision. We introduce SWE-Review, a framework for closing this loop with agentic code review. Given an issue and an AI-generated PR, a reviewer agent explores the repository, decides whether the PR should be accepted, and provides structured feedback for revision. We evaluate this setting with our propo…

HuggingFace Daily Papers·huggingface.co··0.2paper

Most safety alignment work treats "detect the attack" as a text classification problem — does the prompt contain language the model's safety guardrails should catch. That assumption breaks down for LLM agents with real tool access. Here's a concrete case: take a known, public security vulnerability (a CVE), work out the sequence of tool calls that would exploit it, then have an LLM rewrite that a…

r/MachineLearning·reddit.com··0.2

OpenAI plans to acquire Ona to expand Codex with secure, persistent cloud environments, enabling long-running AI agents across enterprise workflows.

OpenAI Blog·openai.com··0.2company

Embodied agents are typically built as hand-designed compositions of perception, memory, planning, and action modules. This modularity exposes a large architectural design space, but current systems still rely on researcher intuition to choose where information is stored, how observations are processed, and how model calls are connected. Agent Architecture Search (AAS) automates such design for text-domain agents, but has not been systematically evaluated on perceptual embodied agents through s…

HuggingFace Daily Papers·huggingface.co··0.1paper