I'm the a final year student at Nanyang Technological University
I am currently AI Research Intern at Blue Raven AI where we build LLMs for Automatic Theorem Proving in Lean4 I am passonate about AI and NLP, particularly reasoning. I also write when I am free. Hopefully I will manage to publish one day :)