Alexander Bonholber
Type: Person
As of November 2026, Alexander Bonholber has been mentioned in one podcast episode on AAAI (Aug 2025). Provides a perspective emphasizing formal reasoning, guarantees, and the role of SAT/SMT in hardware verification; argues against equating LLM plausibility with sound reasoning.
| Mentioned in | 1 episode on 1 podcast (as of November 2026) |
|---|---|
| First heard | Aug 2025 on AAAI |
| Role | Professor for AI (as stated in transcript); President of EurAI (as stated) |
| Affiliation | RWTH Aachen University; Leiden University |
Which podcasts has Alexander Bonholber appeared on?
Alexander Bonholber came up; the most recent mention was Aug 2025 on AAAI.
- AAAI Presidential Panel on AI Reasoning on AAAI (Aug 2025)
What is Alexander Bonholber mentioned alongside?
Worked with: Franchesc Rosi