There was an error while loading. Please reload this page.
SAIR Terence Tao Math Distillation Challenge: Optimizing prompts for small LLMs to match accuracy of larger models in solving equational theories