Nytt ramverk låter AI hitta rätt matematiska formler – inte bara ungefärliga svar

arXiv cs.AI

Forskare har byggt L2G-SR, ett system som använder stora språkmodeller (LLM) för att söka efter exakta matematiska ekvationer bakom observerad data – ett problem som kallas symbolisk regression. Tricket är att systemet inte bara optimerar för numerisk precision utan också lär sig bedöma om en kandidatekvation har rätt struktur, med hjälp av ett mått kallat trädeditsavstånd (hur många steg det tar att omvandla en formel till en annan). På riktmärket LLM-SRBench uppnår L2G-SR toppresultat i alla tre mätvärden: numerisk precision, ekvationsnoggrannhet och strukturlikhet.