2025 Build on Trainium Amazon Research Award
Leveraging AWS Trainium for Verifiable AI and ML-Assisted Mathematical Reasoning
Research topic
Build on Trainium
2022 Amazon Research Award
Scalable and precise DNN constraint solving with abstraction and conflict clause learning
