4 ms·
What is the model used for maths since it is not LLM? This model would have to be strap on a formal solver as a tool. Are those models training to use "scratch
by sylware 8mo ago
What is the model used for maths since it is not LLM? This model would have to be strap on a formal solver as a tool. Are those models training to use "scratch memory"? So many question about the models used for real maths.
- yorwba 8mo agoThe article is about an LLM being used for real maths.
- sylware 8mo agoExactly why I do ask for non LLM, since it is not specialized for maths.
- gus_massa 7mo agoI think now LLM are surprisinly good at high level math.
- sylware 7mo agoThen specialized models would be even better, more so if the ML/inference uses a formal solver and maybe some scratch memory.
- tr230powell4 7mo agoThat's exactly what you did not ask. You or your translation tool are not fully accurate on the English language.