Repository navigation

Merge the HOA olympiad repositories into hoa-qed - #1

Merged

futrime merged 139 commits into

mainfrom

monorepo

Oct 5, 2026

Merged

Merge the HOA olympiad repositories into hoa-qed#1
futrime merged 139 commits into
mainfrom
monorepo

Commits on Jul 18, 2026
- initial commit
  
  Zhengyang Zhang
  authored and
  system
  committed
  71e25ff
- Add verified IMO 2026 Lean solutions
  
  Zhengyang Zhang
  authored and
  system
  committed
  4b57d37
Commits on Jul 21, 2026
- Add Kimi Lean solutions for IMO 2026
  
  Zhengyang Zhang
  authored and
  system
  committed
  25beeb8
- Move GPT-5.6 Lean solutions into dedicated directory
  
  Zhengyang Zhang
  authored and
  system
  committed
  bc9102d
- Add reproducibility code for IMO 2026 solution experiments
  
  Zhengyang Zhang
  authored and
  system
  committed
  6a3f662
Commits on Jul 22, 2026
- Add project README
  Lyken17
  committed
  3bc18eb
- Revise README to highlight HumanFIA's achievements and project contributions for IMO 2026
  Lyken17
  committed
  5d510be
- Fix formatting in README to improve clarity of team description
  Lyken17
  committed
  dfb2039
- Update README results and verification docs
  Lyken17
  committed
  8e68048
- Emphasize README achievement summary
  Lyken17
  committed
  b641cc9
- Add GPT runtime comparison ratio
  Lyken17
  committed
  a41638c
- update readme
  ZhengyangZhang06
  committed
  ad6d5a6
- update kimi shell
  ZhengyangZhang06
  committed
  c5e82ab
- add readme
  ZhengyangZhang06
  committed
  350d1e6
Commits on Jul 23, 2026
- update readme
  ZhengyangZhang06
  committed
  d27a7a7
- update readme
  ZhengyangZhang06
  committed
  2e352f6
- Make problem list optional for explicit runs
  Lyken17
  committed
  cc014a1
- Add compact GPT-5.6 question runner
  Lyken17
  committed
  8caba59
- Add compact Kimi runner and experiment plans
  Lyken17
  committed
  ba548e9
- Remove IMO problem input list
  Lyken17
  committed
  8976a3d
- Remove unused Comparator smoke project
  Lyken17
  committed
  f5b6034
- Move reviewer template to repository root
  Lyken17
  committed
  03ac4ff
- Update reproduction documentation
  Lyken17
  committed
  e4737af
- Remove unused Kimi core runner
  Lyken17
  committed
  6c11898
- Document worker network isolation sources
  Lyken17
  committed
  c3b8fab
Commits on Jul 26, 2026
- Update README.md
  Lyken17
  authored
  9cc56e0
- Update README.md
  Lyken17
  authored
  88bdbe1
- Update README.md
  Lyken17
  authored
  8bde3b8
Commits on Aug 9, 2026
- Update README.md
  Lyken17
  authored
  7c65898
Commits on Aug 13, 2026
- Add IOI 2026 Day 1 solutions
  ZhengyangZhang06
  committed
  378fdf4
- Add IOI 2026 Day 2 solutions
  ZhengyangZhang06
  committed
  457eacf
Commits on Aug 14, 2026
- Add token cost report
  ZhengyangZhang06
  committed
  1eb24a3
Commits on Aug 15, 2026
- Add clean six-worker solutions bundle
  ZhengyangZhang06
  committed
  e37526b
- Reorganize solutions and reproduction bundle
  ZhengyangZhang06
  committed
  92f56de
Commits on Aug 16, 2026
- Add completed IPhO 2026 Lean solutions
  codex
  committed
  ed1d522
Commits on Aug 19, 2026
- Initialize IBO 2024 theory solutions RLCR plan
  Codex
  committed
  7faa9d8
- Add one-worker solutions for all 100 theory tasks
  Codex
  committed
  977242b
- Ignore Humanize runtime cache
  Codex
  committed
  6a6a4f1
- Repair B4 and enforce task identity
  Codex
  committed
  5a15566
- Build and verify complete theory collection
  Codex
  committed
  3856077
- Close final validation bypasses
  Codex
  committed
  0a26d36
- Enforce exact solution and README inventories
  Codex
  committed
  2ad45ce
- Generalize solution and navigation validation
  Codex
  committed
  d3bd5c0
- Close solution and document boundaries
  Codex
  committed
  c7ed7de
- Enforce rendered worker and README identity
  Codex
  committed
  3b73aba
- Lock rendered README contract
  Codex
  committed
  83e46d5
- Hash canonical README raw bytes
  Codex
  committed
  4f73e40
Commits on Aug 20, 2026
- Add official answer-key grading report
  Codex
  committed
  1347059
Commits on Aug 21, 2026
- Add Kimi IPhO 2026 answers and grading report
  codex
  committed
  040ffff
- Add Kimi natural-language theory answers and grading
  codex
  committed
  9c379e1
Commits on Aug 24, 2026
- Publish IChO 2026 Humanize solutions and grading
  IChO Humanize Runner
  committed
  30849ee
- Regrade Kimi K3 solutions independently
  IChO Humanize Runner
  committed
  6b82660
- Add Kimi first-turn ablation report
  IChO Humanize Runner
  committed
  60580ec
Commits on Aug 26, 2026
- Publish reproducible ChemistryLib and AFPS2017 formalization
  menik1126
  committed
  2690982
- Add GPT natural-language theory answers and grading
  codex
  committed
  3f49e24
Commits on Aug 27, 2026
- Add QAlg and QIT proof datasets with Lean build environments
  menik1126
  committed
  886f97a
- Make repository documentation English-only
  menik1126
  committed
  9ecf0fc
- Highlight benchmark accuracy in README
  menik1126
  committed
  3179bb3
- Rename ChemistryLib to Chemlib
  menik1126
  committed
  c163fcc
- Rename chemistrylib directory to chemlib
  menik1126
  committed
  4a45b40
Commits on Sep 1, 2026
- Publish GPT and Kimi answer-blind Lean runs
  IChO Humanize Runner
  committed
  287f252
- Merge pull request #1 from humanfia/publish-gpt-kimi-answer-blind
  menik1126
  authored
  e145e60
Commits on Sep 3, 2026
- Update README.md
  Lyken17
  authored
  9e0e665
- Update README.md
  Lyken17
  authored
  bd011a1
- Update README.md
  Lyken17
  authored
  a22b750
- Update README.md
  Lyken17
  authored
  d550629
- Update README to improve formatting and clarity
  Lyken17
  authored
  0d9aa00
- Update README.md
  Lyken17
  authored
  acc2605
- Update README.md
  Lyken17
  authored
  fd69f53
- Update README.md
  Lyken17
  authored
  030b0e2
- Update README.md
  Lyken17
  authored
  fdc4cfe
- Update README.md
  Lyken17
  authored
  0773c28
- Restructure README around results and reproduction
  Codex
  committed
  1f90bd6
- Restructure README around results and reproduction
  Codex
  committed
  a0b7491
- Document Kimi experiment launch
  Codex
  committed
  be2acf2
- Document Kimi experiment launch
  Codex
  committed
  6ce9ebf
- Update README.md
  Lyken17
  authored
  a04fc3a
- Update README.md
  Lyken17
  authored
  5d0735a
Commits on Sep 4, 2026
- Revise README to enhance project clarity
  ZhengyangZhang06
  authored
  89cb96a
- Update README with IOI 2026 results and team success
  ZhengyangZhang06
  authored
  a2df531
- Update README for clarity and formatting
  ZhengyangZhang06
  authored
  4e58551
- README: add open-source release list to intro
  
  ZhengyangZhang06
  and
  claude
  committed
  b8793ef
- README: state Kimi-K3 support in the IMO 2026 style
  
  ZhengyangZhang06
  and
  claude
  committed
  c7a9324
- README: move Kimi reproduction after main workflow
  ZhengyangZhang06
  committed
  d4d9dd0
- README: reproduce Kimi through the Codex harness
  ZhengyangZhang06
  committed
  f2e4e46
- README: align Kimi reproduction with Codex harness
  ZhengyangZhang06
  committed
  3fb91f4
- README: align intro and simplify Kimi section
  ZhengyangZhang06
  committed
  cb1a6a2
- README: restore canonical project intro
  ZhengyangZhang06
  committed
  e38f753
- README: remove source and license section
  ZhengyangZhang06
  committed
  9fe1fcd
- README: lead with public reproduction
  ZhengyangZhang06
  committed
  ed3b033
- README: present results in IMO style
  ZhengyangZhang06
  committed
  82a0975
- README: add IMO-style quick start
  ZhengyangZhang06
  committed
  385e8af
- Add Codex launcher for the reproduction prompt
  ZhengyangZhang06
  committed
  689a588
- Refresh README results and reproduction guide
  menik1126
  committed
  2c647ca
- Clarify IChO rounding deduction
  menik1126
  committed
  de49ed0
- Document IChO grading deductions
  menik1126
  committed
  68cb8f9
- Remove detailed grading deductions
  menik1126
  committed
  6200a64
- Update README.md
  Lyken17
  authored
  e58f9d1
- Update README.md
  Lyken17
  authored
  073e6a5
- Update README.md
  Lyken17
  authored
  ce9b97b
- Update README.md
  Lyken17
  authored
  9f9b5d9
- Match IChO README introduction style
  
  mac
  authored and
  mac
  committed
  285038d
- Update README presentation and results
  codex
  committed
  27b4733
- Focus README results on natural-language solutions
  codex
  committed
  02b57b4
Commits on Sep 5, 2026
- Standardize README opening note
  Lyken17
  committed
  8c3cd9e
- Document natural-language experiment startup
  Lyken17
  committed
  d327edb
- Remove undocumented experiment command
  Lyken17
  committed
  63a3143
- Explain existing verification shell commands
  Lyken17
  committed
  583ca69
- Add Humanize natural-language experiment launcher
  Lyken17
  committed
  5f665df
- Rephrase open model and Kimi results
  Lyken17
  committed
  de7d392
- Align README opening with IMO format
  menik1126
  committed
  5d4788c
- Move results before experiment instructions
  Lyken17
  committed
  3e17d6f
- Highlight Kimi-K3 full IPhO score
  Lyken17
  committed
  e6f7a48
Commits on Sep 10, 2026
- docs: publish GPT selected-set 168/168 validation report
  codex
  committed
  6a7c368
- docs: show GPT 168/168 score in results table
  codex
  committed
  c3b03f3
Commits on Sep 13, 2026
- Publish complete 68-question GPT formalization and generous grading
  menik1126
  committed
  cc9e8e5
Commits on Sep 14, 2026
- Publish Kimi-K3 remaining 36 formalizations for 68/68 theory coverage.
  
  menik1126
  and
  cursoragent
  committed
  536a308
- Rename Kimi 36-target release to drop the gpt36 label.
  
  menik1126
  and
  cursoragent
  committed
  b2fdc58
- Add Kimi-K3 417.5/437 to the full-theory answer score table.
  
  menik1126
  and
  cursoragent
  committed
  8aedc9d
- Report Kimi-K3 selected-set expected raw score as 168/168.
  
  menik1126
  and
  cursoragent
  committed
  212c4ed
- Publish the GPT-5.6 Sol native /goal 68-target baseline.
  
  menik1126
  and
  cursoragent
  committed
  a7cd76b
- Complete the native /goal official-answer score at 415/437.
  
  menik1126
  and
  cursoragent
  committed
  20e6ba5
- Show native /goal selected-set Lean pass rates beside the Humanize 32/32 runs.
  
  menik1126
  and
  cursoragent
  committed
  4cece90
- Expand the Lean results table from the 32-target subset to all 68 theory items.
  
  menik1126
  and
  cursoragent
  committed
  5cc0988
- Publish fresh Kimi-K3 native goal68 results and audit
  menik1126
  committed
  b06b9c0
- Complete the Kimi-K3 native /goal official-answer score at 340.2/437.
  
  menik1126
  and
  cursoragent
  committed
  bcd6770
Commits on Oct 2, 2026
- Update README.md
  Lyken17
  authored
  9f91e31
Commits on Oct 5, 2026
- Move PutnamBench release into putnambench/
  
  futrime
  and
  claude
  committed
  d6276a4
- Add imo2026 with full history from humanfia/imo2026
  
  futrime
  and
  claude
  committed
  99871ff
- Add ioi2026 with full history from humanfia/ioi2026
  
  futrime
  and
  claude
  committed
  83702d3
- Add ipho2026 with full history from humanfia/ipho2026
  
  futrime
  and
  claude
  committed
  822d3a2
- Add ibo2024 with full history from humanfia/ibo2024
  
  futrime
  and
  claude
  committed
  7805730
- Add chemlib with full history from humanfia/chemlib
  
  futrime
  and
  claude
  committed
  53aa116
- Add lean-qit-qlg with full history from humanfia/lean-qit-qlg
  
  futrime
  and
  claude
  committed
  8e0fd77
- Add icho2026 with full history from humanfia/icho2026
  
  futrime
  and
  claude
  committed
  ae244d0
- Point subproject docs at their hoa-qed paths
  
  futrime
  and
  claude
  committed
  63db9c5
- Add HOA README, licenses, NOTICE, citation, owners and CI
  
  futrime
  and
  claude
  committed
  a443e25
- Resolve ipho2026/Kimi dependencies before building it
  
  futrime
  and
  claude
  committed
  2e432b1
- Build imo2026's cache-warming module rather than the missing root
  
  futrime
  and
  claude
  committed
  9c306dc

Commits

Commits on Jul 18, 2026

Commits on Jul 21, 2026

Commits on Jul 22, 2026

Commits on Jul 23, 2026

Commits on Jul 26, 2026

Commits on Aug 9, 2026

Commits on Aug 13, 2026

Commits on Aug 14, 2026

Commits on Aug 15, 2026

Commits on Aug 16, 2026

Commits on Aug 19, 2026

Commits on Aug 20, 2026

Commits on Aug 21, 2026

Commits on Aug 24, 2026

Commits on Aug 26, 2026

Commits on Aug 27, 2026

Commits on Sep 1, 2026

Commits on Sep 3, 2026

Commits on Sep 4, 2026

Commits on Sep 5, 2026

Commits on Sep 10, 2026

Commits on Sep 13, 2026

Commits on Sep 14, 2026