Dealing with Untrusted Foundries in the IC Supply Chain… Sort of.

Challenges in AI-assisted AI evaluation

Understanding and Improving Reasoning in Large Language Models

Towards a science of human-AI Teams

Object-level Planning: Bridging Human Knowledge to Task and Motion Planning

AI-Assisted Automated Programming and Automated Program Repair