summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainRemove non-paper judge keyword checksAnonymous Authors6 weeks
xiangEnforce typed responses for pipeline stagesAnonymous Authors6 weeks
 
 
AgeCommit messageAuthor
2026-07-25Enforce typed responses for pipeline stagesxiangAnonymous Authors
2026-07-25Align five-stage pipeline with manuscriptAnonymous Authors
2026-07-24updated generation processOscar Wan
2026-07-24Validate path-structured proof-plan DAGAnonymous Authors
2026-07-24Restore original GAP prompts and lock prompt bytesAnonymous Authors
2026-07-24Add minimal GAP reproduction packageAnonymous Authors