LLM powered math solver for the AIMO Kaggle Competition with DeepSeekMath and BERT.
- Accepts input text question with LaTex (e.g.
We roll a fair 6-sided die 5 times. What is the probability that we get a 6 in at most 2 of the rolls?) as prompt input, then classify problem type using a BERT-based LLM, then pass the question, type, and a random example from prm800k dataset (a series of steps for a random question of that question type) into an Autogen framework with DeepSeekMath and a coding LLM (DeepSeekCoder or OpenCodeInterpreter) - The two LLMs converse with each other to verify each other's solution, and outputs an integer value answer.
- DeepSeekMath focuses on chain-of-thought series of steps, while DeepSeekCoder or OpenCodeInterpreter focus on generating executable Python code for the calculations