Xuehao Xu

Corpus Hub contributor since 2026-10-12

Xuehao Xu's work was selected for the XERJ Corpus Hub, the open reference memory AI coding agents search before they write code. When an agent meets the same problem, it gets this implementation back as a worked example, with the author and the repository attached.

1corpus

1selected commit

12files

597lines

★ 73GitHub stars on repo

Totals across every corpus @GodBlf appears in; a commit selected for two corpora counts once.

Selected work

GitHub ★ 73

The-Last-Math-Competition/The-Last-Math-Competition

127812a91b Disprove conjectures 1255 and 1457 with verified Lean projects

12 files · 597 lines · JSON, TOML · solutions

selected · in licence reviewcorpus the-last-math-competition--the-last-math-competitionAPIGPL-3.0 agreed 2026-10-12

[![XERJ Corpus Hub contributor](https://hub.xerj.org/contributors/GodBlf/badge.svg)](https://hub.xerj.org/contributors/GodBlf.html)

Included with the author's permission (email, 2026-10-12), under each repository's own licence, with attribution. Want it removed? Reply to the email or open an issue on xerj-org/xerj.