utworzone przez Redakcja | maj 25, 2026
Naukowcy opracowali nowy system łączący sztuczną inteligencję z formalną weryfikacją, który automatycznie tłumaczy naturalny język na Linear Temporal Logic. Podejście neurosymboliczne gwarantuje poprawność generowanych specyfikacji, co ma zastosowanie w systemach...
utworzone przez Redakcja | maj 19, 2026
HuggingFace zaprezentował nową rodzinę modeli Ettin Reranker przeznaczonych do reranking'u wyników wyszukiwania i poprawy precyzji systemów retrieval-augmented generation (RAG).
utworzone przez Redakcja | maj 19, 2026
Badacze opracowali DRS-GUI, framework oparty na dużych modelach multimodalnych, który udoskonala zdolność agentów GUI do identyfikacji istotnych elementów interfejsu na złożonych ekranach. System wykorzystuje trzy działania percepcyjne inspirowane ludzkim widzeniem,...
utworzone przez Redakcja | maj 18, 2026
Nowa wersja PaddleOCR 3.5 umożliwia wykonywanie zadań optycznego rozpoznawania znaków i parsowania dokumentów przy użyciu nowoczesnego backendu opartego na modelach Transformers, zwiększając dokładność i funkcjonalność.
utworzone przez Redakcja | maj 18, 2026
Naukowcy opracowali nową metodę ICRL, która pozwala modelom językowym uczyć się internalizować krytykę i poprawiać swoją zdolność do samodzielnego rozwiązywania problemów bez zewnętrznych wskazówek. System jednocześnie trenuje solver i krytyka, aby przekształcić...
