Computer Science - Symbolic Computation

Cryptography and SecurityUsing AI to Strengthen Cryptographic Protocols

AI models can help find vulnerabilities in cryptographic systems for better security.

Cristian Curaba, Denis D'Ambrosi, Alessandro Minisini

2025-05-16T18:12:00+00:00 ― 7 min read

Symbolic ComputationUnderstanding Cylindrical Algebraic Decomposition

Learn how CAD simplifies complex shapes in math and its practical uses.

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

2025-05-16T03:25:20+00:00 ― 6 min read

Neurons and CognitionLearning from Nature: Inspiring AI Development

Exploring how nature's intelligence shapes future AI systems.

Nima Dehghani, Michael Levin

2025-05-11T20:00:32+00:00 ― 6 min read

Symbolic ComputationAdvancements in Multimodal Scientific Computing with Botfip-LLM

Botfip-LLM combines diverse data to enhance understanding in scientific computing.

Tianhao Chen, Pengbo Xu

2025-05-11T06:53:20+00:00 ― 6 min read

Symbolic ComputationDividing Polynomials: A Navigational Guide

Learn how to tackle polynomial division safely and effectively.

Christopher W. Brown

2025-04-28T09:28:15+00:00 ― 5 min read

Artificial IntelligenceCan AI Truly Reflect Our Moral Values?

Examining if large language models mirror cultural moral viewpoints.

Mijntje Meijer, Hadi Mohammadi, Ayoub Bagheri

2025-04-28T08:50:30+00:00 ― 8 min read

Artificial IntelligenceDo Language Models Reflect Our Morals?

Exploring if AI aligns with diverse cultural moral standards.

Evi Papadopoulou, Hadi Mohammadi, Ayoub Bagheri

2025-04-28T08:12:45+00:00 ― 5 min read

Artificial IntelligenceAI Showdown: Language Models vs. Neuro-Symbolic Reasoning

Researchers compare LLMs and neuro-symbolic systems in solving Raven's Progressive Matrices.

Michael Hersche, Giacomo Camposampiero, Roger Wattenhofer

2025-04-03T20:06:27+00:00 ― 5 min read

Symbolic ComputationThe Positivity Puzzle in Linear Recurrences

Discover the challenges and solutions to the positivity problem in number sequences.

Alaa Ibrahim, Bruno Salvy

2025-03-21T08:42:00+00:00 ― 7 min read

Programming LanguagesStrengthening Security Through B2Scala: A New Approach

B2Scala tools enhance security protocol analysis for safe communication.

Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet

2025-03-19T16:34:30+00:00 ― 7 min read

Artificial IntelligenceAccelerating AI with Answer Set Networks

Linking logic programming with neural networks for faster AI solutions.

Arseny Skryagin, Daniel Ochs, Phillip Deibert

2025-02-12T01:54:45+00:00 ― 6 min read

Logic in Computer ScienceClearing Up Cycles in Knowledge Graphs

Automated methods address cycles in knowledge graphs for clearer data relationships.

Shuai Wang, Peter Bloem, Joe Raad

2025-02-11T14:02:20+00:00 ― 7 min read

Algebraic GeometryThe Fascination of Weyl Groups in Mathematics

Explore the significance and applications of Weyl groups in understanding symmetry.

Sebastian Debus, Tobias Metzlaff

2025-02-07T16:48:10+00:00 ― 7 min read

DatabasesThe Rise of Graph Databases in Data Management

Discover how graph databases transform data storage and relationships.

Veronica Santos, Bruno Cuconato

2025-02-02T02:46:03+00:00 ― 5 min read

Machine LearningPersonalized Knowledge Graphs: APEX Unleashed

Discover how APEX personalizes knowledge for evolving user interests.

Zihao Li, Dongqi Fu, Mengting Ai

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

Logic in Computer ScienceAdvancements in Interactive Theorem Provers

Discover how HOLALA improves proof efficiency in interactive theorem proving.

Shuai Wang

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