utworzone przez Redakcja | kwi 27, 2026
Naukowcy z arXiv zaproponowali nowy benchmark oceniający zdolność modeli językowych do konstruowania pojęć matematycznych przez komunikację. Test bada, czy sztuczna inteligencja posiada autentyczne rozumowanie matematyczne, czy tylko dopasowuje wzorce...
utworzone przez Redakcja | kwi 24, 2026
Naukowcy odkryli zjawisko nadmiernego używania narzędzi przez duże modele językowe (LLM). Problem wynika z tego, że modele źle oceniają granice swojej wewnętrznej wiedzy i proponują rozwiązanie bazujące na wyrównaniu granic epistemicznych.
utworzone przez Redakcja | kwi 22, 2026
Naukowcy opracowali framework łączący duże modele językowe z systemami logicznego rozumowania, umożliwiający przekład problemów z języka naturalnego na formalny język Narsese. Projekt zawiera nowy benchmark testowy dla zadań wymagających precyzyjnego wnioskowania i...
utworzone przez Redakcja | kwi 20, 2026
Naukowcy opracowali symbolic reasoning scaffold, który uczy LLM-y prawidłowego rozumowania logicznego poprzez abdukcję, dedukcję i indukcję. System enforces consistency poprzez algebraiczne niezmienniki zapobiegające propagacji słabych wniosków.
