論文の概要: Open Source Prover in the Attic

• arxiv url: http://arxiv.org/abs/2401.13702v1
• Date: Mon, 22 Jan 2024 12:50:29 GMT
• ステータス: 処理完了
• システム内更新日: 2024-01-26 17:02:55.440388
• Title: Open Source Prover in the Attic
• Title（参考訳）: 屋根裏部屋のオープンソース証明機
• Authors: Zolt\'an Kov\'acs (The Private University College of Education of the Diocese of Linz, Austria), Alexander Vujic (The Private University College of Education of the Diocese of Linz, Austria)
• Abstract要約: 有名なJGEXプログラムは数年前にオープンソースになったが、どうやら、このプログラムのさらなる開発はオリジナルの作者なしでしかできないようだ。 本プロジェクトでは,原作者の関与なく,このような大規模プロジェクトを新参者として継続できるかどうかを検討中である。
• 参考スコア（独自算出の注目度）: 46.774583641694804
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The well known JGEX program became open source a few years ago, but seemingly, further development of the program can only be done without the original authors. In our project, we are looking at whether it is possible to continue such a large project as a newcomer without the involvement of the original authors. Is there a way to internationalize, fix bugs, improve the code base, add new features? In other words, to save a relic found in the attic and polish it into a useful everyday tool.
• Abstract（参考訳）: 有名なJGEXプログラムは数年前にオープンソースになったが、どうやら、このプログラムのさらなる開発はオリジナルの作者なしでしかできないようだ。 本プロジェクトでは,原作者の関与なく,このような大規模プロジェクトを新参者として継続できるかどうかを検討中である。 国際化やバグ修正,コードベースの改善,新機能の追加といった方法はありますか? 言い換えれば、屋根裏で見つかった遺物を保存し、日常的に有用な道具として磨くことである。

関連論文リスト

• Open-CD: A Comprehensive Toolbox for Change Detection [59.79011759027916]
  Open-CDは変更検出ツールボックスで、変更検出方法の豊富なセットと関連するコンポーネントとモジュールを含んでいる。 徐々に、多くの一般的な変更検出方法や同時代のモジュールをカバーする統一されたプラットフォームへと進化していく。
  論文  参考訳（メタデータ） (2024-07-22T01:04:16Z)
• RepoAgent: An LLM-Powered Open-Source Framework for Repository-level Code Documentation Generation [79.83270415843857]
  コードドキュメンテーションを積極的に生成、保守、更新することを目的とした、大規模な言語モデルによるオープンソースフレームワークであるRepoAgentを紹介します。 RepoAgentは高品質なリポジトリレベルのドキュメントを生成するのに優れています。
  論文  参考訳（メタデータ） (2024-02-26T15:39:52Z)
• ReGAL: Refactoring Programs to Discover Generalizable Abstractions [59.05769810380928]
  Generalizable Abstraction Learning (ReGAL)は、再利用可能な関数のライブラリをコード化して学習する手法である。 ReGALによって発見された共有関数ライブラリは、プログラムが様々な領域で容易に予測できることを示している。 CodeLlama-13Bでは、ReGALはLOGOで11.5%、日付理解で26.1%、TextCraftで8.1%という絶対精度が向上し、3つのドメインのうち2つでGPT-3.5を上回った。
  論文  参考訳（メタデータ） (2024-01-29T18:45:30Z)
• The Software Heritage Open Science Ecosystem [0.0]
  ソフトウェア遺産 (Software Heritage) は、ソフトウェアソースコードと関連する開発履歴の公開アーカイブである。 2億5000万以上の共同開発プロジェクトから得られた16億以上のユニークなソースコードファイルをアーカイブしている。 1つのメルクル直接非巡回グラフで公開コードの開発履歴を実体化することで、ソフトウェアに関する実証的研究を支援する。 実験を行うソフトウェアに依存するあらゆる分野において、ソフトウェアアーチファクトのソースコードの可用性と整合性を保証する。
  論文  参考訳（メタデータ） (2023-10-16T11:32:03Z)
• How do Software Engineering Researchers Use GitHub? An Empirical Study of Artifacts & Impact [0.2209921757303168]
  我々は、著者が研究にかかわるソーシャルコーディングにどのように関与しているかを尋ねる。 トップSE研究会場で1万件の論文が公開され、GitHubリンクに手書き注釈が付けられ、309の論文関連リポジトリが研究されている。 人気と影響力は広く分布しており、一部は出版会場と強く相関している。
  論文  参考訳（メタデータ） (2023-10-02T18:56:33Z)
• Repro: An Open-Source Library for Improving the Reproducibility and Usability of Publicly Available Research Code [74.28810048824519]
  Reproは、研究コードのユーザビリティ向上を目的とした、オープンソースのライブラリである。 Dockerコンテナ内で研究者がリリースしたソフトウェアを実行するための軽量Python APIを提供する。
  論文  参考訳（メタデータ） (2022-04-29T01:54:54Z)
• A Systematic Evaluation of Large Language Models of Code [88.34057460577957]
  コードの大規模な言語モデル(LM)は、最近、コードを完成させ、自然言語記述からコードを合成する大きな可能性を示しています。 現在の最先端のコードLMは公開されておらず、モデルやデータ設計の決定について多くの疑問が残されている。 Codexはオープンソースではありませんが、既存のオープンソースモデルはいくつかのプログラミング言語でクローズな結果が得られることが分かりました。 GPT-2アーキテクチャに基づいた2.7Bパラメータを持つ新しいモデルPolyCoderをリリースし、12のプログラミング言語を1台のマシンで249GBのコードでトレーニングした。
  論文  参考訳（メタデータ） (2022-02-26T15:53:55Z)
• Attracting and Retaining OSS Contributors with a Maintainer Dashboard [19.885747206499712]
  私たちはメンテナダッシュボードを設計し、オープンソースコントリビュータを惹きつける方法と維持方法に関するレコメンデーションを提供します。 私たちはメンテナとプロジェクト固有の評価を行い、このツールが最も役立つユースケースをよりよく理解します。 オープンソースにおけるレコメンデーションの未来と、これらのレコメンデーションを時間とともに最も意味のあるものにする方法を共有するために、我々の研究成果を掘り下げる。
  論文  参考訳（メタデータ） (2022-02-15T21:39:37Z)
• The penumbra of open source: projects outside of centralized platforms are longer maintained, more academic and more collaborative [0.0]
  我々は、集中型プラットフォーム以外のオープンソースプロジェクトリポジトリの、新しくて広範なサンプルを開発しています。 我々のサンプルプロジェクトは、より多くの協力者を持ち、長期間維持され、学術的、科学的な問題に集中する傾向にある。
  論文  参考訳（メタデータ） (2021-06-29T17:54:26Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。