論文の概要: A computable representation of the physical laboratory enables verifiable workflows

• arxiv url: http://arxiv.org/abs/2609.03621v1
• Date: Thu, 03 Sep 2026 10:05:51 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-04 18:28:39.015639
• Title: A computable representation of the physical laboratory enables verifiable workflows
• Title（参考訳）: 物理実験室の計算可能表現は検証可能なワークフローを可能にする
• Abstract要約: 科学を計算可能にするには、科学的知識と、科学的主張がテストされる物理的世界の両方の表現が必要である。 物理実験室の計算可能な表現は、研究対象と能力バウンドな操作によって確立される。 機械可読知識と物理世界の相似性を提供し、進化する研究所国家のプログラムとして表現している。
• 参考スコア（独自算出の注目度）: 19.465465297348395
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Making science computable requires representations of both scientific knowledge and the physical world in which scientific claims are tested. A computable representation of the physical laboratory is established through typed research objects, capability-bound operations and a compositional workflow algebra. It provides the physical-world counterpart to machine-readable knowledge, expressing workflows as programs over evolving laboratory states with explicit dependencies, decisions, iteration and concurrency. The representation was implemented in a modular agentic robotic laboratory by binding formal operations to executable Function Skills. For diverse scientific intents, capability-relative workflows were generated, while stateful simulation propagated object transformations and verified operation preconditions and laboratory constraints before dispatch. The proposed representation and its engineering framework jointly establish a general computational interface between agent reasoning and capability-bound physical transformations, providing a foundation for end-to-end autonomous scientific discovery.
• Abstract（参考訳）: 科学を計算可能にするには、科学的知識と、科学的主張がテストされる物理的世界の両方の表現が必要である。 物理実験室の計算可能な表現は、型付けされた研究オブジェクト、能力バウンドな操作、および構成ワークフロー代数によって確立される。 マシン可読な知識と物理世界の相似性を提供し、明示的な依存関係、決定、反復、並行性を備えた実験室状態の進化に関するプログラムとしてワークフローを表現している。 この表現は、正式な操作を実行可能なFunction Skillsに結合することで、モジュール型のロボット実験室で実装された。 多様な科学的意図のために、能力関係のワークフローが生成され、ステートフルなシミュレーションはオブジェクト変換を伝播させ、検証された操作条件と、ディスパッチ前の実験室の制約を伝達した。 提案された表現とそのエンジニアリングフレームワークは、エージェント推論と能力に縛られた物理的変換の間の一般的な計算インターフェースを共同で確立し、エンドツーエンドの自律的な科学的発見の基礎となる。

関連論文リスト

• El Agente Potente: High-Throughput Agentic Atomistic Simulations [4.268668578817565]
  基礎的機械学習原子間ポテンシャル(MLIP)は、計算コストのごく一部で、大規模化学空間のほぼ初期精度を達成し、原子論シミュレーションを変換している。 我々は,型付き実行グラフと補完的な符号化モードを組み合わせたエージェントシステムであるEl Agente Potenteを紹介した。
  論文  参考訳（メタデータ） (2026-09-13T23:20:21Z)
• Labimus: A Simulation and Benchmark for Humanoid Dexterous Manipulation in Chemical Laboratory [47.77200587195896]
  Labimusは、有機化学実験室におけるヒューマノイドのデキスタラスな操作に関する最初のベンチマークである。 実際の有機化学のワークステーションから30以上の機能的に忠実な資産を、リアルタイムモデリングによって再構築する。 本稿では,タスク完了,実験精度,長期実行を共同で測定するための精度評価プロトコルを提案する。
  論文  参考訳（メタデータ） (2026-06-30T02:14:28Z)
• Grounding LLMs in Scientific Discovery via Embodied Actions [84.11877211907647]
  大規模言語モデル (LLMs) は科学的発見に大きな可能性を示しているが、理論的推論と物理シミュレーションのギャップを埋めるのに苦労している。 EmbodiedActは、確立された科学ソフトウェアを、密着した知覚・実行ループによる実施行動の基盤化により、アクティブな実施エージェントに変換するフレームワークである。
  論文  参考訳（メタデータ） (2026-02-24T07:37:18Z)
• MATTERIX: toward a digital twin for robotics-assisted chemistry laboratory automation [26.492066981437247]
  MATTERIXは、化学実験室の高忠実度デジタルツインを作成するために設計された、単体加速ロボットシミュレーションフレームワークである。 MATTERIXは、オープンソースアセットライブラリとデザインインターフェースを通じて、デジタルツイン環境の作成を効率化する。 提案手法は, ロボット化学設備におけるシミュレートから現実への移動を実証し, コストのかかる実世界の実験への依存を低減させる。
  論文  参考訳（メタデータ） (2026-01-19T17:06:08Z)
• Bohrium + SciMaster: Building the Infrastructure and Ecosystem for Agentic Science at Scale [82.20980951765891]
  エージェントサイエンスのスケーリングにはインフラストラクチャ・アンド・エコシステムアプローチが必要である,と我々は主張する。 BohriumはAI4S資産のマネージドでトレース可能なハブとして機能し、多様な科学データ、ソフトウェア、計算、実験室のシステムをエージェント対応の能力に変換する。 SciMasterはこれらの機能を長い水平科学に編成し、科学エージェントを合成して実行することができる。
  論文  参考訳（メタデータ） (2025-12-23T16:04:41Z)
• An Agentic Framework for Autonomous Materials Computation [70.24472585135929]
  大規模言語モデル(LLM)は、科学的発見を加速するための強力なツールとして登場した。 近年の進歩はLLMをエージェントフレームワークに統合し、複雑な科学実験のための検索、推論、ツールの使用を可能にしている。 本稿では,第一原理計算の信頼性向上を目的としたドメイン特化エージェントを提案する。
  論文  参考訳（メタデータ） (2025-12-22T15:03:57Z)
• ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific Workflows [82.07367406991678]
  大規模言語モデル(LLM)は自然言語処理を超えてその影響を拡大している。 これらのうち、コンピュータ利用エージェントは、人間がしているようにオペレーティングシステムと対話することができる。 我々はScienceBoardを紹介し、ダイナミックで視覚的にリッチな科学ソフトウェアを特徴とする現実的でマルチドメイン環境を包含する。
  論文  参考訳（メタデータ） (2025-05-26T12:27:27Z)
• LLM and Simulation as Bilevel Optimizers: A New Paradigm to Advance Physical Scientific Discovery [141.39722070734737]
  本稿では,大規模言語モデルの知識駆動型抽象推論能力をシミュレーションの計算力で強化することを提案する。 本稿では,2段階最適化フレームワークであるSGA(Scientific Generative Agent)を紹介する。 法発見と分子設計における枠組みの有効性を実証するための実験を行った。
  論文  参考訳（メタデータ） (2024-05-16T03:04:10Z)
• Neural Operators for Accelerating Scientific Simulations and Design [85.89660065887956]
  Neural Operatorsとして知られるAIフレームワークは、継続的ドメインで定義された関数間のマッピングを学習するための原則的なフレームワークを提供する。 ニューラルオペレータは、計算流体力学、天気予報、物質モデリングなど、多くのアプリケーションで既存のシミュレータを拡張または置き換えることができる。
  論文  参考訳（メタデータ） (2023-09-27T00:12:07Z)

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

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