Beyond Spatio-Temporal Priors: A Generalizable Approach for Dense Correspondence Matching Paper • 2610.12421 • Published Oct 8 • 11
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers? Paper • 2610.07557 • Published Oct 6 • 11