docs: draft agent-oriented linting paper - #67

Merged

arnavsurve merged 27 commits into

mainfrom

paper/agent-oriented-linting

Aug 9, 2026

Commits on May 17, 2026

docs: draft agent-oriented linting paper
danielchen0
committed
b8b6e69
docs: format paper readme
danielchen0
committed
3111272
docs: include mobile app framing in paper
danielchen0
committed
da9695f
docs: describe prompt-to-code eval
danielchen0
committed
4624ac9
docs: add prompt grid eval harness
danielchen0
committed
286679d
docs: add preliminary eval numbers
danielchen0
committed
70afa7b
docs: frame laint as llm benchmark
danielchen0
committed
1be8c14
docs: clarify laint benchmark framing
danielchen0
committed
fba83fd
docs: describe benchmark behavioral signals
danielchen0
committed
d3146e5
docs: add Arnav Surve as paper author
danielchen0
committed
759ddfd
docs: rename paper validity section to limitations
danielchen0
committed
5be1551
docs: clarify local heuristic tradeoff
danielchen0
committed
c72b770
docs: clarify paper terminology
danielchen0
committed
2504637
docs: add recall to detector metrics
danielchen0
committed
22fed69
docs: add f-score detector metric
danielchen0
committed
e162974
docs: pin paper benchmark version
danielchen0
committed
c74d8f0
docs: clarify rule category source
danielchen0
committed
f9a403f
docs: make paper numbers reproducible
danielchen0
committed
fb7af44
docs: archive full prompt grid artifact
danielchen0
committed
182c08f
docs: highlight edit-time repair loop
danielchen0
committed
0c5d616
docs: add expanded grid data to paper
danielchen0
committed
afa6a41

Commits on May 27, 2026

Commits on May 29, 2026

docs: address paper review comments
danielchen0
committed
eda7f36
docs: tighten benchmark reproducibility claims
danielchen0
committed
bfc9ca5