AI for Code boosts developer productivity in tasks like code generation and repair, but challenges in software quality remain. This talk explores neurosymbolic methods that blend ML and formal reasoning to build trustworthy, explainable coding tools.
Towards Code-Aware AI
- Time
-
Friday, October 03 2025 from 3:15pm to 4:15pm
- Location
1227 Hoover Hall
-
Free