😱 A #neurosymbolic# paper as a spotlight at #NeurIPS#!?! 😱
We must have done something right to please the #ML# gods, @GdiGiotto@lohithkonathala! 🙏
Stay tuned to find out how we get scalable and guaranteed constraint satisfaction 👀
Check out our latest paper: 🦩MAGENTA 🦩
An agentic pipeline that solves all 6 IMO 2026 problems!
Big congrats to @joshuaongg21 for leading another great project!