修改task1的策略形式化 - #2

Open

xuHaob1 wants to merge 37 commits into

CrazyJassBread:mainfrom

Commits on Jul 3, 2026

Add project docs, report template, and baseline agent
lzx-nju
committed
54fb116

Commits on Jul 4, 2026

Update gitignore for LaTeX and local caches
lzx-nju
committed
d3ca184
Add task 4 baseline state machine and update docs
lzx-nju
committed
76cc340

Commits on Jul 5, 2026

实现了task1,2的形式化，为task3,4,5形式化提供框架
 praline0831
committed
fa942bf
Improve pixel-based baseline for tasks 3 and 4
cooperr3165
committed
ed85a23
Complete task 5 baseline and update project notes
cooperr3165
committed
dae296a

Commits on Jul 6, 2026

task1-5环境形式化全部完成
 praline0831
committed
3daf13a
Update report with final evaluation results
cooperr3165
committed
bd2e5ee
Generate report PDF
cooperr3165
committed
bba76b2
Add task 5 symbolic policy proof
cooperr3165
committed
700debd
task1-5策略形式化全部完成
 praline0831
committed
9f32b24

Commits on Jul 7, 2026

更新形式化文件命名
 praline0831
committed
cfb0cf9
Fix report consistency and rebuild PDF
cooperr3165
committed
7802a81
Add strategy framework completeness proof
cooperr3165
committed
f448805
Fill final team member names
cooperr3165
committed
c405968

Commits on Jul 8, 2026

Add lean-toolchain and update report with 10-seed evaluation
lzx-nju
committed
7510c52

Commits on Jul 10, 2026

Commits on Jul 11, 2026

修复task4的spatial a,b，未改c
praline0831
committed
2f7c08b
修复task4的spatial_c：abyss tile 上 final_chest 探测
 lzx-nju
committed
3597e32
修复task1-3 spatial变体，更新robustness suite评测结果
 lzx-nju
committed
9255f9a

Commits on Jul 12, 2026

task2-4策略形式化也改为BFS模式
 praline0831
committed
4110106

Commits on Jul 13, 2026

适配可逆颜色变体，color部分通过3/5
praline0831
committed
2e2cb0e
修复task_5导航执行层7个bug，task_1-4无回归
 lzx-nju
committed
834afca

Commits on Jul 14, 2026

优化task_5 original至success_rate=1.000并更新报告
 praline0831
committed
5e25912

Commits on Jul 15, 2026

task5: fix start room detection + update report with color/spatial variant results
praline0831
committed
91324b0

Commits on Jul 16, 2026

task5: fix spatial_a/b variants with no_attack_tiles and diagonal_block
praline0831
committed
5fb193f

Commits on Jul 17, 2026

Complete Task 5 formalization and robustness support
cooperr3165
committed
1ba1f94
Add provisional 500-episode robustness log for review
cooperr3165
committed
702fbfb

Commits on Jul 18, 2026

Sync report/JSON/progress consistency and add run-evidence appendix
lzx-nju
committed
d1d9579
Add milestone/progress tables and student IDs
lzx-nju
committed
db7db21