サインイン
インサイト - プログラミング
大規模言語モデルのコード編集機能の包括的な評価フレームワーク「CodeEditorBench」
CodeEditorBenchは、大規模言語モデルのコード編集能力を包括的に評価するための新しい評価フレームワークである。デバッグ、翻訳、最適化、要件変更などの実世界のコード編集タスクを網羅し、19種類の大規模言語モデルの性能を詳細に分析している。
LLMsをアラビア語プログラミング言語のコンパイラとして使用する
アラビア語プログラミング言語をPythonコードに変換し、実行するためにLLMを使用する新しい方法を紹介します。
言語モデルのパフォーマンスを調査：関数型プログラミング言語におけるコード補完
関数型プログラミング言語でのコード補完モデルのパフォーマンスを評価し、高品質なHaskellデータセットの必要性を示す。
C++オブジェクトのFat APIバインディングをスクリプト言語に
C++オブジェクトをスクリプト言語に公開する方法について探求します。
JavaScriptプログラムの脆弱性修復における大規模言語モデルの研究
大規模言語モデルを使用してJavaScriptプログラムのセキュリティ脆弱性を見つけて修正する能力を検証する。
JavaScript正規表現のCoq機械化
ECMAScriptのJavaScript正規表現仕様を忠実に機械化し、安全性と信頼性を確保する。
ループ展開（テストカバレッジ用）
ループを展開することで、より多くのバグを見つけることができる。
依存型OOPを最初の原理から導出 - 追加付録を含む拡張版
関数型とオブジェクト指向プログラミングの違いを探求し、依存型オブジェクト指向プログラミングを最初の原理から導出する。
C++オブジェクトの少数が割り当てCPU時間の大部分を占める
C++プログラムにおけるオンヒープオブジェクトの最適化の重要性を強調する。
Pythonプログラムの自動生成における文脈自由文法の使用
データ駆動システムのためのPythonプログラム生成ツールの開発と効果的な活用
© 2024 by Linnk AI