Speaker
Anne M. Tumlin
More Information:
Talks at this conference:
| Fri, 15:15 | Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features |
| Fri, 15:30 | A Self-Correcting Neuro-Symbolic AI Reasoning Framework |
Speaker
| Fri, 15:15 | Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features |
| Fri, 15:30 | A Self-Correcting Neuro-Symbolic AI Reasoning Framework |