April 23, 2026
2026
Several L3 Lab papers presented at ICLR 2026, including an oral presentation for Lean Hammer.