Feel free to contact me, I'm friendly :).
I am interested in how AI systems can reason more reliably (one of the main issues with LLMs).
I have some notes on the more classical side of AI/automated reasoning.