RAG Automated Political Information Assistant An AI-powered tool to automate the processing of political information from the Dutch House of Representatives. Research Lean Reinforcement A work-in-progress research project applying Reinforcement Learning to automated theorem proving in the Lean mathematical language. Geometric Erwin Model A research project focused on developing a novel geometric deep learning model for 3D point cloud processing.
