Machine learning engineer. Created a benchmark for evaluating language models on formal reasoning tasks. Developed a tool to extract financial data from websites, aiding finance professionals.
Browse student work on Vaultt · Jobs · Challenges