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

Leveraging ASIC AI Chips for Homomorphic Encryption

投稿日: 2025年1月14日 作成者: jarxiv

要約 クラウドベースのサービスにより、機密性の高い顧客データのアウトソーシングが … 続きを読む →

カテゴリー: cs.AR, cs.CL, cs.CR, cs.PL | Leveraging ASIC AI Chips for Homomorphic Encryption はコメントを受け付けていません

Developing a Modular Compiler for a Subset of a C-like Language

投稿日: 2025年1月9日 作成者: jarxiv

要約 この論文では、高級言語用のコンパイラを構築する際の課題に対処する、C ライ … 続きを読む →

カテゴリー: cs.CL, cs.PF, cs.PL | Developing a Modular Compiler for a Subset of a C-like Language はコメントを受け付けていません

Verified Lifting of Deep learning Operators

投稿日: 2024年12月31日 作成者: jarxiv

要約 深層学習演算子は、最新の深層学習フレームワークの基本コンポーネントです。 … 続きを読む →

カテゴリー: cs.LG, cs.PL, stat.ML | Verified Lifting of Deep learning Operators はコメントを受け付けていません

Mirage: A Multi-Level Superoptimizer for Tensor Programs

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

要約 テンソル プログラム用の初のマルチレベル スーパーオプティマイザーである … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.PL | Mirage: A Multi-Level Superoptimizer for Tensor Programs はコメントを受け付けていません

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning

投稿日: 2024年12月18日 作成者: jarxiv

要約 形式検証は、信頼性の高いソフトウェアを作成するための有望な方法ですが、手動 … 続きを読む →

カテゴリー: cs.LG, cs.PL, cs.SE | QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning はコメントを受け付けていません

Grounded Language Design for Lightweight Diagramming for Formal Methods

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

要約 SAT ソルバーや同様のツールによって具体化されるモデル検索は、埋め込み設 … 続きを読む →

カテゴリー: cs.CL, cs.PL, D.2.4 | Grounded Language Design for Lightweight Diagramming for Formal Methods はコメントを受け付けていません

Evaluating LLMs for Hardware Design and Test

投稿日: 2024年12月3日 作成者: jarxiv

要約 大規模言語モデル (LLM) は、ハードウェア記述言語 (HDL) でコー … 続きを読む →

カテゴリー: cs.AI, cs.AR, cs.CL, cs.LG, cs.PL | Evaluating LLMs for Hardware Design and Test はコメントを受け付けていません

Amplifying human performance in combinatorial competitive programming

投稿日: 2024年12月2日 作成者: jarxiv

要約 近年、人間の競争相手に対して見事なレベルでパフォーマンスを発揮できる、競技 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.NE, cs.PL | Amplifying human performance in combinatorial competitive programming はコメントを受け付けていません

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models

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

要約 LLM エージェントのアプリケーションはますます複雑かつ多様化しており、コ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL | XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models はコメントを受け付けていません

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models

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

要約 LLM エージェントのアプリケーションはますます複雑かつ多様化しており、コ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL | XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models はコメントを受け付けていません