Fugu-MT 論文翻訳(概要): Remote Verification System for Mizar Integrated with Emwiki

論文の概要: Remote Verification System for Mizar Integrated with Emwiki

arxiv url: http://arxiv.org/abs/2410.20809v1
Date: Mon, 28 Oct 2024 07:56:01 GMT
ステータス: 翻訳完了
システム内更新日: 2024-10-29 12:16:28.322267
Title: Remote Verification System for Mizar Integrated with Emwiki
Title（参考訳）: Emwikiと統合したマイザーの遠隔検証システム
Authors: Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho,
Abstract要約: 我々はMizarの遠隔検証環境とWebプラットフォームとの統合について述べる。 MizarのVSCode拡張はすでに利用可能だが、Mizar検証ツールをローカルにインストールする必要がある。新たに開発したシステムでは,これらの検証環境をサーバ上に実装し,その要件を解消する。
参考スコア（独自算出の注目度）: 0.0
License:
Abstract: In this paper, we present a remote verification environment for Mizar and its integration with a web platform. Although a VSCode extension for Mizar is already available, it requires installing the Mizar verification tools locally. Our newly developed system implements these verification environments on a server, eliminating this requirement. First, we explain the implementation of the remote verification environment for Mizar and the VSCode for the Web extension. Second, we discuss the integration with the web platform emwiki, which allows browsing the existing Mizar Mathematical Library (MML).
Abstract（参考訳）: 本稿では,Mizarの遠隔検証環境とWebプラットフォームとの統合について述べる。 MizarのVSCode拡張はすでに利用可能だが、Mizar検証ツールをローカルにインストールする必要がある。新たに開発したシステムでは,これらの検証環境をサーバ上に実装し,その要件を解消する。まず、Mizarのリモート検証環境の実装とWebエクステンションのVSCodeについて説明する。第2に,既存のMizar Mathematical Library (MML) を閲覧可能な Web プラットフォームemwiki との統合について論じる。

関連論文リスト

ReDel: A Toolkit for LLM-Powered Recursive Multi-Agent Systems [39.85101344037394]
ReDelはマルチエージェントシステムを構築するためのツールキットである。カスタムツールの使用、デリゲートスキーム、イベントベースのロギング、インタラクティブなリプレイをサポートする。私たちのコード、ドキュメンテーション、およびPyPIパッケージはオープンソースで、MITライセンス下で自由に使用できます。
論文参考訳（メタデータ） (2024-08-05T05:43:23Z)
ROS-LLM: A ROS framework for embodied AI with task feedback and structured reasoning [74.58666091522198]
非専門家による直感的なロボットプログラミングのためのフレームワークを提案する。ロボットオペレーティングシステム(ROS)からの自然言語のプロンプトと文脈情報を活用する我々のシステムは,大規模言語モデル (LLM) を統合し,非専門家がチャットインタフェースを通じてシステムにタスク要求を記述できるようにする。
論文参考訳（メタデータ） (2024-06-28T08:28:38Z)
ESPnet-SPK: full pipeline speaker embedding toolkit with reproducible recipes, self-supervised front-ends, and off-the-shelf models [51.35570730554632]
ESPnet-SPKは、話者埋め込み抽出器を訓練するためのツールキットである。我々は、x-vectorから最近のSKA-TDNNまで、いくつかのモデルを提供している。開発モデルと他のドメインとの橋渡しも目指しています。
論文参考訳（メタデータ） (2024-01-30T18:18:27Z)
"Add more config detail": A Taxonomy of Installation Instruction Changes [9.982895603207993]
インストール関連セクションの更新に重点を置いた1,163のコミットでGitHubリポジトリを調査した。調査の結果,コミットの変更には,プリインストール命令,インストール後のインストレーション命令,ドキュメント提示,外部リソース管理の6つの大きなカテゴリが明らかになった。そこで本稿では,ドキュメント更新時にドキュメンテーションメンテナが参照するインストール関連セクションをカバーするテンプレートを提案する。
論文参考訳（メタデータ） (2023-12-06T02:54:26Z)
ModelScope-Agent: Building Your Customizable Agent System with Open-source Large Language Models [74.64651681052628]
本稿では,オープンソースのLCMをコントローラとする実世界のアプリケーションのためのカスタマイズ可能なエージェントフレームワークであるModelScope-Agentを紹介する。ユーザフレンドリーなシステムライブラリを提供し、カスタマイズ可能なエンジン設計により、複数のオープンソースLLMでモデルトレーニングをサポートする。ツール使用データ収集、ツール検索、ツール登録、メモリ制御、カスタマイズされたモデルトレーニング、評価にまたがる包括的なフレームワークが提案されている。
論文参考訳（メタデータ） (2023-09-02T16:50:30Z)
DSL-driven Integration of HTTP Services in DIME [0.0]
この論文は、Webサービスのローコード没入型モデリング環境(IME)DIMEへの統合を容易にするための最初の試みである。 DIMEユーザは、数行のコードでWebサービスへのHTTPリクエストを指定でき、DIMEが提供するモデリング言語にこれらのリクエストを統合することができる。
論文参考訳（メタデータ） (2023-06-04T08:40:53Z)
Monitoring ROS2: from Requirements to Autonomous Robots [58.720142291102135]
本稿では,構造化自然言語で記述された要件から自律ロボットのランタイムモニタを生成するための形式的アプローチの概要について述べる。当社のアプローチでは,Fletal Requirement Elicitation Tool (FRET) とランタイム検証フレームワークであるCopilotを,Ogma統合ツールを通じて統合しています。
論文参考訳（メタデータ） (2022-09-28T12:19:13Z)
ESPnet-SE++: Speech Enhancement for Robust Speech Recognition, Translation, and Understanding [86.47555696652618]
本稿では,音声分離と拡張をESPnetツールキットに統合する最近の進歩について述べる。新しいインタフェースは、音声認識(ASR)、音声翻訳(ST)、音声言語理解(SLU)など、音声強調フロントエンドと他のタスクを併用するように設計されている。その結果,SEフロントエンドとバックエンドタスクの統合は,ASR以外のタスクにおいても有望な研究方向であることが示唆された。
論文参考訳（メタデータ） (2022-07-19T18:55:29Z)
A Demonstration of Smart Doorbell Design Using Federated Deep Learning [0.09786690381850353]
本稿では,フェデレート深層学習に基づく知的スマートドアベルの能力を示す。エッジとクラウドのリソースにまたがるスマートドアベルのような、ビデオ分析アプリケーションのデプロイと管理が可能になる。
論文参考訳（メタデータ） (2020-10-19T17:22:34Z)
ESPnet-ST: All-in-One Speech Translation Toolkit [57.76342114226599]
ESPnet-STは、エンドツーエンドの音声処理ツールキットであるESPnet内の新しいプロジェクトである。音声認識、機械翻訳、音声翻訳のための音声合成機能を実装する。データ前処理、特徴抽出、トレーニング、デコードパイプラインを含むオールインワンのレシピを提供します。
論文参考訳（メタデータ） (2020-04-21T18:38:38Z)

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