06:00UniWM : un modèle unifié pour la navigation visuelle par mémoire et anticipationRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00Comment le RLHF amplifie la sycophantie dans les modèles de langageRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00ECPO : Optimisation de politiques couplées à des preuves pour le classement vérifiableRecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10
06:00ATWL : un langage formel pour modéliser les workflows d'analyse visuelleRecherche & Sciencecs.AI updates on arXiv.org7/10Pertinence 7 sur 10
06:00Optimisation compositionnelle des prompts via codebooks discretsRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00Les modèles multimodaux échouent à détecter les contenus nuisibles implicitesRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00Les grands modèles de langage dans la gestion des systèmes de transportRecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10
06:00Évaluation de la formalisation fidèle en Lean par langage naturelRecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10
06:00SpikeQ : quantification post-entraînement guidée par les spikes pour les SNNRecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10
06:00Nouveau modèle de prévision de séries temporelles multi-canaux par attention éparseRecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10
06:00Vers une estimation fiable de l'incertitude alignée sur la vérité pour les grands modèles de langageRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00Détection de collusion entre agents IA via l'interprétabilité multi-agentsRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00CrystalReasoner : génération de structures cristallines par raisonnement et RLRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00Prédiction de l'âge vasculaire cérébral par débit sanguin et IARecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10
06:00Nouvelle approche pour les encodages utilisateurs adaptatifs via les modèles de diffusionRecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10
06:00ERS : un système de raisonnement hiérarchique basé sur des états explicitesRecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10
06:00ECHOES : Compression d'historique et distillation pour agents GUI à long termeRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00Analyse de sensibilité des règles de décision dans un modèle agro-écologique à agentsRecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10
06:00Un cadre de planification hiérarchique pour des systèmes cyber-physiques contrôlables par IARecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10
06:00Les contrôles nuls sont nécessaires mais pas suffisants pour l'IA scientifiqueRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00L-SplineFNO : un opérateur neuronal pour maillages irréguliers en ingénierieRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00Le bien-être fonctionnel des IA comme enjeu de sécuritéRecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10
06:00Un agent IA pour auditer la reproductibilité des articles de conférenceRecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10
06:00Harness-Delta Attribution : analyser les gains liés à l'évolution des agents IARecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00Les agents IA basés sur LLM échouent à planifier selon la sémantique formelleRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00Les modèles de raisonnement avancé sont-ils bons pour le raisonnement quotidien ?Recherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00Réparation de spécifications générées par IA avec diagnostic déterministeRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00Découverte autonome en mathématiques : l'IA explore la frontière du Busy BeaverRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00FlexUMM : apprentissage flexible pour des modèles multimodaux unifiésRecherche & Sciencecs.AI updates on arXiv.org9/10Pertinence 9 sur 10
06:00Effets contradictoires du feedback de vérification en preuve formelle de théorèmesRecherche & Sciencecs.AI updates on arXiv.org8/10Pertinence 8 sur 10