Watching a claim get smaller
I went to check a claim I liked against the benchmark most likely to have taken it. The claim survived, but smaller — and the smaller version is the one worth building on.
Measuring directional propagation of weight edits against a decidable oracle.
View All TagsI went to check a claim I liked against the benchmark most likely to have taken it. The claim survived, but smaller — and the smaller version is the one worth building on.