64 articoli
Il paper propone un vincolo di assertibilità ispirato a Brouwer per l'IA responsabile, che in contesti ad alto rischio obbliga i sistemi a restituire "Indeterminato" se non possono fornire un certificato pubblico e contestabile di legittimità, preservando così l'agenzia epistemica umana attraverso un'interfaccia a tre stati che separa l'entitlement interno dalla posizione pubblica.
Questo articolo dimostra che in P2 non è possibile derivare i principi di induzione e coinduzione per tipi di dati definiti, mostrando tramite modelli controesempio che l'estensione con l'assioma di estensionalità funzionale è essenziale per rendere provabili tali principi.
Il paper propone "Fluid Logic", un paradigma che trasforma il ragionamento modale da strutture discrete a varietà continue tramite Equazioni Differenziali Stocastiche Neurali, permettendo alle Reti Neurali Logiche Continue (CMLNNs) di garantire coerenza strutturale con proprietà logiche complesse in ambiti come la logica epistemica, temporale e deontica.
Il paper presenta SpotIt+, uno strumento open-source che valuta i sistemi Text-to-SQL verificando l'equivalenza tramite la generazione di istanze di database differenzianti, arricchite da vincoli pratici estratti e validati tramite un pipeline ibrido rule-based e LLM.