模型与评测

Actions Automate any workflow

Code Quality Enforce quality at merge

Code Review Manage code changes

Codespaces Instant dev environments

Customer stories

Customer support

Documentation

GitHub Skills

Issues Plan and track work

Small and medium teams

View all features

View all solutions

Codex 打进 LibreOffice

Codex 捆绑 LibreOffice 做文档。

开发者代表不了更广的 AI 使用

软件开发者的用法严重有偏。

Repo-To-Skill：仓库蒸馏成技能

把 GitHub 仓库压成可复用的 AI4AI skill。

ATV 巡回用 ChatGPT 把 3 天活压成 3 小时

Towards Trustworthy Autonomous Robots: An Explainable AI-Based Decision Framework

Autonomous robots powered by deep learning face a fundamental auditability challenge: when incidents occur, investigators cannot reconstruct why the system made specific decisions.

AI Contextual Measurement for Recovering Individual and Group-Level Effects: Validation Against Survey Measures and an O

Researchers increasingly use artificial intelligence to construct measures of social, organizational, and occupational characteristics that are absent from conventional surveys. We

DiscoSign: Discourse-Aware Text to Sign Language Gloss Translation

Sign language processing systems have traditionally operated at the sentence level, ignoring critical discourse phenomena fundamental to sign language comprehension. We introduce D

Discriminative World Models for Web Agents

Recent web agents use world models for test-time action selection by sampling candidate actions, predicting the resulting web states, and ranking them with a ranker model or a Proc

Dutch Books for Language Models

People increasingly use language models to support life decisions. Many such decisions involve a probabilistic forecast: How likely is a major life event, a natural disaster, or an

Measurement-Driven Sub-Network Selection for On-Premise Retrieval-Augmented Factory Agents

On-premise assistants can give factory workers conversational access to machine documentation, but models capable of the task rarely fit shop-floor hardware. We show that after str

Post-Training Language Models for Gold-Medal Performance in Coding Competitions

Competitive programming has become a key test of large language model reasoning, with international competitions such as IOI and ICPC representing its most challenging settings. We

frb100-40 After Two Decades: An Optimality Certificate and a Preregistered Search Study

For more than 20 years, the Model-RB benchmark frb100-40 remained an open challenge; since 2014, its public record had stood at 99 of 100 variables. We give a directly checkable 10