Δομική διακυβέρνηση: Πέντε αποτελέσματα σε γνωστικά συστήματα
Πέντε νέα αποτελέσματα παρουσιάζονται στη θεωρία της δομικής διακυβέρνησης για συστήματα γνωστικής ροής εργασιών. Τρία εξ αυτών μηχανοποιήθηκαν στο Coq 8.19, αξιοποιώντας τη βιβλιοθήκη…
GUI-SD: Βελτίωση ακρίβειας και αποδοτικότητας στο GUI grounding.
Η θεμελίωση γραφικής διεπαφής χρήστη (GUI grounding) αντιστοιχίζει οδηγίες φυσικής γλώσσας στις οπτικές συντεταγμένες…
AI chatbot overit μειώνει σημαντικά τη δυσφορία από ρομαντικούς χωρισμούς
Η ψυχολογική δυσφορία που προκαλείται από τους ρομαντικούς χωρισμούς συγκαταλέγεται στις πλέον κοινές και…
Πλαίσιο αλγεβρικής σημασιολογίας για αξιωματικοποιημένη ελεγχόμενη εκτέλεση
Παρουσιάζεται μια αλγεβρική σημασιολογία για ελεγχόμενη εκτέλεση, στην οποία η διακυβέρνηση είναι αξιωματικοποιημένη, συνθετική…
POSCMs: Νέα Μοντέλα Αιτιώδους Δομής με Λανθάνοντα Πλαίσια
Παρουσιάζονται τα Μερικώς Παρατηρούμενα Δομικά Αιτιώδη Μοντέλα (POSCMs), τα οποία τυποποιούν αιτιώδη συστήματα στα…
Μικρά γλωσσικά μοντέλα: Μη επιβλεπόμενη εκτίμηση ορθότητας ξεπερνά επίβλεψη.
arXiv:2605.02241v2 Τύπος Ανακοίνωσης: αντικατάσταση Η αξιοπιστία εκτίμησης της ορθότητας από ένα μικρό γλωσσικό μοντέλο…
RLDX-1: Προηγμένη ρομποτική πολιτική για σύνθετη επιδέξια χειραγώγηση.
Παρόλο που τα μοντέλα Όρασης-Γλώσσας-Δράσης (VLAs) έχουν επιδείξει αξιοσημείωτη πρόοδο προς γενικευμένες ρομποτικές πολιτικές…
Η Υπηρεσία Εμπορίου των ΗΠΑ επεκτείνει τις δοκιμές ασφάλειας AI
Η Υπηρεσία Εμπορίου των ΗΠΑ επεκτείνει τις δοκιμές ασφάλειας AI (Source: the-decoder.com) Το Υπουργείο…
OpenAI σχεδιάζει έξυπνο κινητό με τσιπ της MediaTek και Qualcomm
Η OpenAI φέρεται να σχεδιάζει το δικό της έξυπνο κινητό τηλέφωνο, χρησιμοποιώντας τσιπ από…
Προβληματισμός για το μέλλον της Τεχνητής Νοημοσύνης και την ανάγκη ρύθμισης.
Η ιστορία αυτή πρωτοεμφανίστηκε στο The Algorithm, το εβδομαδιαίο ενημερωτικό δελτίο για την τεχνητή…
OpenAI: Νέο μοντέλο GPT-5.5 Instant στο ChatGPT με λιγότερες ψευδείς απαντήσεις.
OpenAI: Νέο μοντέλο GPT-5.5 Instant στο ChatGPT με λιγότερες ψευδείς απαντήσεις. (Source: the-decoder.com) Η…
Ανακοίνωση CorrSteer: Αυτοματοποιημένη Διόρθωση SAE σε Μεγάλα Γλωσσικά Μοντέλα
Οι Αραιοί Αυτοκωδικοποιητές (SAEs) μπορούν να εξάγουν κατανοητά χαρακτηριστικά από μεγάλα γλωσσικά μοντέλα (LLMs)…
Εισαγωγή του InfiniteDiffusion για τη Δημιουργία Άπειρων Εικονικών Κόσμων
Η ανακοίνωση arXiv:2512.08309v4 αφορά την ανάπτυξη του InfiniteDiffusion, ενός αλγορίθμου που συνδυάζει την πιστότητα…