Search

What are you looking for?

38 results for agent

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.1Otheropenaipluginscodex

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··2.9Releaseopenaigptllm

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.7Releaseopenaicodexgpt

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.7Researchllmformal-methodsai4math

Modern LLMs are increasingly deployed in long-context applications such as retrieval-augmented generation, repository-level coding, and agentic workflows whose accumulated reasoning and tool traces routinely push the input an order of magnitude past the pretraining window, making zero-shot context extension the dominant deployment path for open-weight checkpoints. Most existing zero-shot methods fix a single rescaling factor up front, so an aggressive factor sacrifices short-context fidelity wh…

HuggingFace Daily Papers·huggingface.co··0.4paper

Reinforcement learning (RL) is becoming increasingly important for post-training large language models (LLMs). Previous RL pipelines for LLMs were mostly synchronous and batch-interleaved, which is inefficient for long-horizon agentic tasks. Recently, asynchronous RL has emerged as a more efficient alternative by updating the model as rollouts arrive. However, existing asynchronous RL systems often emphasize throughput, while leaving training stability and task effectiveness largely underexplor…

HuggingFace Daily Papers·huggingface.co··0.4paper

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