コンピューターサイエンス - 記号計算

人工知能説明可能なAIで詐欺検出を強化する

ファジィロジックとシンボリック回帰を組み合わせて、もっと分かりやすい詐欺検出を目指す。

Wout Gerdes, Erman Acar

2025-06-01T16:02:42+00:00 ― 1 分で読む

暗号とセキュリティAIを使って暗号プロトコルを強化する

AIモデルは、暗号システムの脆弱性を見つけてセキュリティを向上させるのに役立つよ。

Cristian Curaba, Denis D'Ambrosi, Alessandro Minisini

2025-05-16T18:12:00+00:00 ― 1 分で読む

記号計算円筒代数分解の理解

CADが数学の複雑な形をどんだけ簡単にしてくれるか、そしてその実用的な使い方について学ぼう。

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

2025-05-16T03:25:20+00:00 ― 1 分で読む

ニューロンと認知自然から学ぶ：AI開発へのインスピレーション

自然の知恵が未来のAIシステムをどう形作るかを探る。

Nima Dehghani, Michael Levin

2025-05-11T20:00:32+00:00 ― 1 分で読む

記号計算Botfip-LLMを使ったマルチモーダル科学計算の進展

Botfip-LLMはいろんなデータを組み合わせて、科学計算の理解を深めるんだ。

Tianhao Chen, Pengbo Xu

2025-05-11T06:53:20+00:00 ― 1 分で読む

記号計算多項式の割り算: ナビゲーションガイド

多項式の割り算を安全かつ効果的に対処する方法を学ぼう。

Christopher W. Brown

2025-04-28T09:28:15+00:00 ― 1 分で読む

人工知能AIは私たちの道徳的価値観を本当に反映できるのか？

大きな言語モデルが文化的な道徳観を反映しているかを調査中。

Mijntje Meijer, Hadi Mohammadi, Ayoub Bagheri

2025-04-28T08:50:30+00:00 ― 1 分で読む

人工知能言語モデルは私たちの道徳を反映してるの？

AIが多様な文化の道徳基準に合ってるか探る。

Evi Papadopoulou, Hadi Mohammadi, Ayoub Bagheri

2025-04-28T08:12:45+00:00 ― 1 分で読む

人工知能AI対決：言語モデルvs.神経シンボリック推論

研究者たちは、ラベンの進行マトリックスを解く際にLLMと神経シンボリックシステムを比較してる。

Michael Hersche, Giacomo Camposampiero, Roger Wattenhofer

2025-04-03T20:06:27+00:00 ― 1 分で読む

記号計算線形再帰におけるポジティビティパズル

数列におけるポジティビティの問題に対する課題と解決策を見つけよう。

Alaa Ibrahim, Bruno Salvy

2025-03-21T08:42:00+00:00 ― 1 分で読む

プログラミング言語B2Scalaでセキュリティ強化: 新しいアプローチ

B2Scalaツールは、安全なコミュニケーションのためのセキュリティプロトコル分析を強化するよ。

Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet

2025-03-19T16:34:30+00:00 ― 1 分で読む

人工知能回答セットネットワークでAIを加速させる

論理プログラミングとニューラルネットワークをつなげて、もっと早いAIソリューションを作る。

Arseny Skryagin, Daniel Ochs, Phillip Deibert

2025-02-12T01:54:45+00:00 ― 1 分で読む

計算機科学における論理知識グラフのサイクルを解消する

自動化された方法は、知識グラフのサイクルを解決して、データ関係を明確にするよ。

Shuai Wang, Peter Bloem, Joe Raad

2025-02-11T14:02:20+00:00 ― 1 分で読む

代数幾何学数学におけるワイル群の魅力

ワイル群の重要性と対称性を理解するための応用を探ろう。

Sebastian Debus, Tobias Metzlaff

2025-02-07T16:48:10+00:00 ― 0 分で読む

データベースデータ管理におけるグラフデータベースの台頭

グラフデータベースがデータの保存と関係をどう変えるかを発見しよう。

Veronica Santos, Bruno Cuconato

2025-02-02T02:46:03+00:00 ― 1 分で読む

機械学習パーソナライズド知識グラフ: APEXの解放

APEXがユーザーの興味に合わせて知識をパーソナライズする方法を発見しよう。

Zihao Li, Dongqi Fu, Mengting Ai

2025-01-29T13:42:09+00:00 ― 1 分で読む

計算機科学における論理インタラクティブ定理証明器の進展

HOLALAがインタラクティブ定理証明における証明効率をどう向上させるかを発見しよう。

Shuai Wang

2025-01-18T09:40:03+00:00 ― 1 分で読む