Two papers accepted to NeurIPS 2025: SeCodePLT and OWL. See you in San Diego!