Informática - Computação simbólica

RSS

Criptografia e segurança Usando IA pra Fortalecer Protocolos Criptográficos

Modelos de IA podem ajudar a encontrar vulnerabilidades em sistemas criptográficos pra uma segurança melhor.

Cristian Curaba, Denis D'Ambrosi, Alessandro Minisini

2025-05-16T18:12:00+00:00 ― 8 min ler

Artigos mais recentes

Computação simbólica Entendendo a Decomposição Algébrica Cilíndrica

Lucas Michel, Pierre Mathonet, Naïm Zénaïdi

2025-05-16T03:25:20+00:00 ― 7 min ler

Neurónios e Cognição Aprendendo com a Natureza: Inspirando o Desenvolvimento da IA

Nima Dehghani, Michael Levin

2025-05-11T20:00:32+00:00 ― 8 min ler

Computação simbólica Avanços na Computação Científica Multimodal com o Botfip-LLM

Tianhao Chen, Pengbo Xu

2025-05-11T06:53:20+00:00 ― 7 min ler

Computação simbólica Dividindo Polinômios: Um Guia de Navegação

Christopher W. Brown

2025-04-28T09:28:15+00:00 ― 6 min ler

Inteligência Artificial A IA consegue realmente refletir nossos valores morais?

Mijntje Meijer, Hadi Mohammadi, Ayoub Bagheri

2025-04-28T08:50:30+00:00 ― 9 min ler

Artigos mais recentes

Inteligência Artificial Os Modelos de Linguagem Refletem Nossa Moral?

Explorando se a IA tá alinhada com os diferentes padrões morais culturais.

Evi Papadopoulou, Hadi Mohammadi, Ayoub Bagheri

2025-04-28T08:12:45+00:00 ― 6 min ler

Inteligência Artificial Confronto de IA: Modelos de Linguagem vs. Raciocínio Neuro-Simbólico

Pesquisadores comparam LLMs e sistemas neuro-simbólicos na resolução das Matrizes Progressivas de Raven.

Michael Hersche, Giacomo Camposampiero, Roger Wattenhofer

2025-04-03T20:06:27+00:00 ― 6 min ler

Computação simbólica O Quebra-Cabeça da Positividade em Recorrências Lineares

Descubra os desafios e soluções para o problema da positividade em sequências numéricas.

Alaa Ibrahim, Bruno Salvy

2025-03-21T08:42:00+00:00 ― 8 min ler

Linguagens de programação Fortalecendo a Segurança Através do B2Scala: Uma Nova Abordagem

As ferramentas B2Scala melhoram a análise de protocolos de segurança para uma comunicação segura.

Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet

2025-03-19T16:34:30+00:00 ― 8 min ler

Inteligência Artificial Acelerando a IA com Redes de Conjunto de Respostas

Ligando programação lógica com redes neurais para soluções de IA mais rápidas.

Arseny Skryagin, Daniel Ochs, Phillip Deibert

2025-02-12T01:54:45+00:00 ― 7 min ler

Lógica na Informática Desembaraçando Ciclos em Grafos de Conhecimento

Métodos automatizados lidam com ciclos em grafos de conhecimento pra deixar as relações de dados mais claras.

Shuai Wang, Peter Bloem, Joe Raad

2025-02-11T14:02:20+00:00 ― 8 min ler

Geometria Algébrica A Fascinação dos Grupos de Weyl em Matemática

Explore a importância e aplicações dos grupos de Weyl na compreensão da simetria.

Sebastian Debus, Tobias Metzlaff

2025-02-07T16:48:10+00:00 ― 8 min ler

Bases de dados A Ascensão dos Bancos de Dados em Grafo na Gestão de Dados

Descubra como os bancos de dados em grafo transformam o armazenamento de dados e as relações.

Veronica Santos, Bruno Cuconato

2025-02-02T02:46:03+00:00 ― 6 min ler

Aprendizagem de máquinas Gráficos de Conhecimento Personalizados: APEX Liberado

Descubra como a APEX personaliza o conhecimento para os interesses em evolução dos usuários.

Zihao Li, Dongqi Fu, Mengting Ai

2025-01-29T13:42:09+00:00 ― 7 min ler

Lógica na Informática Avanços em Provedores de Teoremas Interativos

Descubra como o HOLALA melhora a eficiência das provas em demonstração interativa de teoremas.

Shuai Wang

2025-01-18T09:40:03+00:00 ― 6 min ler