news
| Jul 02, 2026 | Our paper at PAAR’26 is accepted and a camera-ready version available at ResearchGate. I will present this work at the PAAR workshop in Lisbon on July 25. |
|---|---|
| Apr 01, 2026 | Teaching Assistant for AISE-Auto – Automation of Logical Reasoning offered by Prof. Dr. Christoph Benzmüller during summer semester 2026. |