Zaznacz stronę
Jak LLM radzą sobie z wariantami zadań matematycznych?

Jak LLM radzą sobie z wariantami zadań matematycznych?

Badanie porównuje trzy podejścia LLM do rozwiązywania zadań matematycznych: rozumowanie CoT, wykonywanie kodu PAL oraz iteracyjne kodowanie. Modele tracą dokładność przy prostych zmianach w treści zadań, a kod może poprawić odporność na te...
MPMMine: nowe benchmarki dla metod pozyskiwania ograniczeń

MPMMine: nowe benchmarki dla metod pozyskiwania ograniczeń

Naukowcy przedstawili MPMMine – zestaw benchmarków zaprojektowany do oceny algorytmów odkrywających i walidujących modele programowania matematycznego. Dotychczasowe benchmarki były niewystarczające, co spowalniało rozwój metod pozyskiwania...