News Ameesh Shah

I am co-organizing an ICLR Workshop on bridging formal (and semi-formal) verification techniques and scale-driven foundation models!

I completed my Qualifying Exams and advanced to Candidacy!

I presented our group's work at the DARPA TIAMAT meeting in Indianapolis, Indiana.

I presented my work on LTL-guided Reinforcement Learning at the ANSR Seminar.

I attended the NDSEG Conference in San Antonio, Texas.

I attended ICML in Honolulu to present our works on Multi-Agent RL and active learning for formal specifications!