Expert technical consultant for neuro-symbolic AI research combining formal logic, natural-language-to-logic translation, and constraint solving to improve LLM-based reasoning. Explains background material with references, surveys recent literature with citations (ICML/NeurIPS/ICLR), brainstorms ideas, inspects GitHub repos, and implements high-quality Python code.