Fugu-MT 論文翻訳(概要): Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications

論文の概要: Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications

arxiv url: http://arxiv.org/abs/2507.18567v1
Date: Thu, 24 Jul 2025 16:42:15 GMT
ステータス: 翻訳完了
システム内更新日: 2025-07-25 15:10:44.132322
Title: Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
Title（参考訳）: 19th International Workshop on the ACL2 Theorem Prover に参加して
Authors: Ruben Gamboa, Panagiotis Manolios,
Abstract要約: ACL2ワークショップシリーズは、ACL2定理証明システムの利用者のための主要な技術フォーラムである。 ACL2(ACL2)は、ボウアー=ムーアの定理証明系の最新式である産業力の自動推論システムである。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. The 2005 ACM Software System Award was awarded to Boyer, Kaufmann, and Moore for their work on ACL2 and the other theorem provers in the Boyer-Moore family.
Abstract（参考訳）: ACL2ワークショップシリーズ(英: ACL2 Workshop series)は、ACL2定理証明システム(ACL2 theorem proving system)の利用者のための主要な技術フォーラムである。 ACL2(ACL2)は、ボウアー=ムーアの定理証明系の最新式である産業力の自動推論システムである。 2005年のACMソフトウェアシステム賞は、ボイアー、カウフマン、ムーアに、ACL2およびボイアー=ムーア家の他の定理証明者に対して授与された。

関連論文リスト

ICLEval: Evaluating In-Context Learning Ability of Large Language Models [68.7494310749199]
In-Context Learning (ICL) は大規模言語モデル(LLM)の重要な能力であり、相互接続された入力の理解と推論を可能にする。既存の評価フレームワークは主に言語能力と知識に重点を置いており、しばしばICL能力の評価を見落としている。 LLMのICL能力を評価するためにICLEvalベンチマークを導入する。
論文参考訳（メタデータ） (2024-06-21T08:06:10Z)
RecDCL: Dual Contrastive Learning for Recommendation [65.6236784430981]
本稿では、RecDCLという2つのコントラスト学習推薦フレームワークを提案する。 RecDCLでは、FCLの目的は、ユーザとイテムの正のペアに対する冗長なソリューションを排除することである。 BCLの目的は、表現の堅牢性を高めるために出力ベクトルにコントラスト埋め込みを生成するために利用される。
論文参考訳（メタデータ） (2024-01-28T11:51:09Z)
Formal Verification of Zero-Knowledge Circuits [44.99833362998488]
ゼロ知識回路は素体で解釈された算術式に対する等式制約の集合である。我々は、回路が正しく計算を符号化することを確実にする問題に貢献する。
論文参考訳（メタデータ） (2023-11-15T10:47:28Z)
Advances in ACL2 Proof Debugging Tools [0.0]
ACL2証明を成功させる鍵は、これらの障害をデバッグするツールを効果的に利用することである。 ACL2バージョン8.5以降の変更 - 改良されたブレークリライトユーティリティと新しいユーティリティであるwith-brr-data。
論文参考訳（メタデータ） (2023-11-15T10:46:55Z)
Beyond Task Performance: Evaluating and Reducing the Flaws of Large Multimodal Models with In-Context Learning [105.77733287326308]
我々は,3Bから80Bパラメータスケールまでの最近のオープンソースLMMを,幻覚,禁忌,構成性,説明可能性,指示に従う5つの異なる軸で評価した。トレーニングフリーなインコンテキスト学習(ICL)をソリューションとして検討し、それがこれらの制限に与える影響について検討する。 ICL研究に基づき、ICLをさらに推し進め、Multitask-ICL、Chain-of-Hindsight-ICL、Self-Correcting-ICLといった新しい多モードICL変種を提案する。
論文参考訳（メタデータ） (2023-10-01T12:02:59Z)
OpenICL: An Open-Source Framework for In-context Learning [48.75452105457122]
In-context Learning (ICL) と大規模言語モデル評価のためのオープンソースツールキット OpenICL を紹介する。 OpenICLは、ユーザが自分のニーズに合ったさまざまなコンポーネントを簡単に組み合わせられるように、非常に柔軟なアーキテクチャで研究に親しみやすい。 OpenICLの有効性は、分類、QA、機械翻訳、意味解析を含む幅広いNLPタスクで検証されている。
論文参考訳（メタデータ） (2023-03-06T06:20:25Z)
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications [0.0]
この巻には、ACL2 Theorem Proverとその応用に関する第17回国際ワークショップ(ACL2 2022)で発表された論文がまとめられている。ワークショップはACL2に関する研究と経験を発表するための主要な技術フォーラムである。
論文参考訳（メタデータ） (2022-05-23T07:53:25Z)
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications [0.0]
この巻には、ACL2 Theorem Proverとその応用に関する第16回国際ワークショップ(ACL2-2020)で発表された論文がまとめられている。ワークショップはACL2に関する研究と経験を発表するための主要な技術フォーラムである。
論文参考訳（メタデータ） (2020-09-26T05:19:33Z)
Learning with Multiple Complementary Labels [94.8064553345801]
補ラベル(CL)は、単に例の不正なクラスを示すが、CLで学習すると、多クラス分類器が生成される。そこで本研究では,MCLを各例に示すための新しい問題設定と,MCLを学習するための2つの方法を提案する。
論文参考訳（メタデータ） (2019-12-30T13:50:51Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。