If you’re at #ICLR2025 consider stopping by our poster being presented by @danielrbramblett.bsky.social this Friday! We present new methods for objective evaluation of truth maintenance in LLM and LRM translation tasks using formal verifiers, overcoming the need for labeled datasets.
🚀 Join us for the #GenPlan workshop on March 4th in Philadelphia at #AAAI2025! Learn about generalization in sequential decision-making in AI from an incredible lineup of invited speakers. Don’t miss out — Check out the full program schedule here: aair-lab.github.io/genplan25/in...
#AAAI2025 is almost here!
I’ll co-organize a tutorial with @sidsrivast.bsky.social on User-Driven Capability Assessment of Taskable AI Systems. The schedule is now live, so mark your calendars!
📅 26 February 2025
📍Room 115A, Pennsylvania Convention Center
🔗 bit.ly/aia25-tutorial
Excited to organize a half-day tutorial at #AAAI2025 on User-Driven Capability Assessment of Taskable AI Systems with @sidsrivast.bsky.social.
📅 26 February 2025
⏱️ 8:30 AM - 12:30 PM EST
📍 AAAI 2025, Philadelphia, USA
🔗 bit.ly/aia25-tutorial
(1/3)
Looking fwd to meetups at #NeurIPS ‘24!
@danielrbramblett.bsky.social will be presenting some of our work on user-aligned AI systems that operate reliably under partial observability. Consider stopping by during the Wednesday afternoon poster session (poster 6505)!
@louiseadennis.bsky.social and I are program chairs for #AAMAS2026. I'm looking to try some new ideas for the reviewing process. Any ideas about some of your favorite (or least favorite) things other conferences have tried?
