「cs.LO」カテゴリーアーカイブ

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

投稿日: 2024年11月6日 作成者: jarxiv

要約 静的検証はソフトウェアの品質を向上させる強力な方法ですが、多大な人的労力と … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, cs.SE | Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast はコメントを受け付けていません

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

投稿日: 2024年11月5日 作成者: jarxiv

要約 静的検証はソフトウェアの品質を向上させる強力な方法ですが、多大な人的労力と … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, cs.SE | Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast はコメントを受け付けていません

Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning

投稿日: 2024年11月1日 作成者: jarxiv

要約 この論文では、安全な強化学習のための正式なモデルに依存しないメタ学習フレー … 続きを読む →

カテゴリー: cs.LG, cs.LO | Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning はコメントを受け付けていません

Solving Epistemic Logic Programs using Generate-and-Test with Propagation

投稿日: 2024年10月30日 作成者: jarxiv

要約 この論文では、さまざまなジェネレーターおよびテスター プログラムでインスタ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Solving Epistemic Logic Programs using Generate-and-Test with Propagation はコメントを受け付けていません

CoqPilot, a plugin for LLM-based generation of proofs

投稿日: 2024年10月28日 作成者: jarxiv

要約 Coq 証明の作成を自動化するために設計された VS Code 拡張機能で … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | CoqPilot, a plugin for LLM-based generation of proofs はコメントを受け付けていません

Provably Safe Neural Network Controllers via Differential Dynamic Logic

投稿日: 2024年10月25日 作成者: jarxiv

要約 ニューラル ネットワーク (NN) はサイバーフィジカル システムの自律コ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SY, eess.SY | Provably Safe Neural Network Controllers via Differential Dynamic Logic はコメントを受け付けていません

From Blind Solvers to Logical Thinkers: Benchmarking LLMs’ Logical Integrity on Faulty Mathematical Problems

投稿日: 2024年10月25日 作成者: jarxiv

要約 数学の問題を考えてみましょう。「リリーは昨日親友からクッキーを 3 枚受け … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | From Blind Solvers to Logical Thinkers: Benchmarking LLMs’ Logical Integrity on Faulty Mathematical Problems はコメントを受け付けていません

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning

投稿日: 2024年10月24日 作成者: jarxiv

要約 大規模言語モデル (LLM) は自然言語処理に革命をもたらしましたが、特に … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO, cs.NE | Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning はコメントを受け付けていません

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain

投稿日: 2024年10月24日 作成者: jarxiv

要約 この論文では、因子引数の観点からベイジアン ネットワーク推論の自然言語説明 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain はコメントを受け付けていません

Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence

投稿日: 2024年10月23日 作成者: jarxiv

要約 私たちは、言語モデルで交換可能なトークンを学習して、新しいトークンに一般化 … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.LO | Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence はコメントを受け付けていません