論文の概要: ACM Survey Draft on Formalising Software Requirements with Large Language Models
- arxiv url: http://arxiv.org/abs/2506.14627v1
- Date: Tue, 17 Jun 2025 15:23:56 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-18 17:34:59.543231
- Title: ACM Survey Draft on Formalising Software Requirements with Large Language Models
- Title（参考訳）: 大規模言語モデルによるソフトウェア要件の定式化に関するACM調査
- Authors: Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan,
- Abstract要約: [7]はアイルランドのADAPT年次会議への2ページの提出である。
[8]は9ページの参考書と要約表を付加した9ページの論文である。
arXiv.org [8] にアップロードされたバージョンは、論文を改善するための特定の提案に対処した後、提案の1つが改善されたものである。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This draft is a working document, having a summary of nighty-four (94) papers with additional sections on Traceability of Software Requirements (Section 4), Formal Methods and Its Tools (Section 5), Unifying Theories of Programming (UTP) and Theory of Institutions (Section 6). Please refer to abstract of [7,8]. Key difference of this draft from our recently anticipated ones with similar titles, i.e. AACS 2025 [7] and SAIV 2025 [8] is: [7] is a two page submission to ADAPT Annual Conference, Ireland. Submitted on 18th of March, 2025, it went through the light-weight blind review and accepted for poster presentation. Conference was held on 15th of May, 2025. [8] is a nine page paper with additional nine pages of references and summary tables, submitted to Symposium on AI Verification (SAIV 2025) on 24th of April, 2025. It went through rigorous review process. The uploaded version on arXiv.org [8] is the improved one of the submission, after addressing the specific suggestions to improve the paper.
- Abstract（参考訳）: このドラフトは、ソフトウェア要件のトレーサビリティ(Section 4)、形式的メソッドとそのツール(Section 5)、プログラミングの統一理論(UTP)、制度の理論(Section 6)に関する追加のセクションを含む、ナイトリーフォー(94)の論文を要約した作業文書である。
7,8]の要約を参照してください。
AACS 2025[7]とSAIV 2025[8]は、アイルランドのADAPT年次会議に提出された2ページである。
2025年3月18日に提出され、ライトウェイトなブラインド・レビューを経て、ポスターの公開が認められた。
会議は2025年5月15日に開催された。
[8]は、2025年4月24日にAI検証シンポジウム(SAIV 2025)に提出された9ページの参照と概要表を付加した9ページの論文である。
それは厳格な審査プロセスを経ていた。
arXiv.org [8] にアップロードされたバージョンは、論文を改善するための特定の提案に対処した後、提案の1つが改善されたものである。
関連論文リスト
- Proceedings The 13th International Workshop on Theorem proving components for Educational software [0.0]
ThEduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求している。
この巻の論文はテドゥの広いスペクトルの忠実な表現である。
論文 参考訳（メタデータ） (2025-05-07T11:30:54Z) - Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning [231.11339402237903]
反応前に思考を通して推論できるSeed1.5-Thinkingを紹介した。
Seed1.5-ThinkingはAIME 2024で86.7、Codeforcesで55.0、GPQAで77.3を達成した。
これは、STEMとコーディングにおいて優れた推論能力を示す。
論文 参考訳（メタデータ） (2025-04-10T17:10:51Z) - AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing [20.704858261496792]
本稿では,過去5年間のAFLNetの技術的貢献を概観する。
AFLNetは、コードとステートをカバーした最初のプロトコルファザである。
論文 参考訳（メタデータ） (2024-12-29T02:39:27Z) - Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation [71.32761934724867]
この研究は、記号的突然変異を通じて形式的な定理を構成するデータ合成のフレームワークであるAlchemyを提案する。
マドリブにおける各候補定理について、書き直しや適用に使用できるすべてのイベーシブルな定理を同定する。
その結果、マドリブの定理の数は110kから6Mへと桁違いに増加する。
論文 参考訳（メタデータ） (2024-10-21T08:04:21Z) - Proceedings 12th International Workshop on Theorem proving components for Educational software [0.0]
ThEduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求している。
ThEdu'23は非常に成功し、Yves Bertot(フランス、イリア)の講演で「型理論を使って数学を教えることの課題」と7つの定期的な貢献があった。
私たちのレビュアーは7件の提出を受諾し、各コントリビューションについて少なくとも3件の注意深いレポートを共同で作成しました。
論文 参考訳（メタデータ） (2024-04-04T11:51:26Z) - Has the Machine Learning Review Process Become More Arbitrary as the
Field Has Grown? The NeurIPS 2021 Consistency Experiment [86.77085171670323]
2014年のNeurIPS実験では、2つの独立した委員会によって10%の会議の提出をレビューし、レビュープロセスにおけるランダム性を定量化した。
両委員会が論文の23%の勧告を受理・棄却することに反対し、審査プロセスがランダムに再実行された場合、2014年度の結果と一致して、受理された論文のリストの約半数が変更されることを観察する。
論文 参考訳（メタデータ） (2023-06-05T21:26:12Z) - MIReAD: Simple Method for Learning High-quality Representations from
Scientific Documents [77.34726150561087]
論文の高品質な表現を学習する簡単な方法であるMIREADを提案する。
私たちは、2000以上のジャーナルクラスで50万以上のPubMedとarXivの抽象クラスでMIREADをトレーニングします。
論文 参考訳（メタデータ） (2023-05-07T03:29:55Z) - Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software [0.0]
ThEduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求している。
Thedu'22は活気あるワークショップで、Thierry Dana-Picard氏とYoni Zohar氏による2つの講演が招待された。
改訂版は本巻に収録されている。
論文 参考訳（メタデータ） (2023-03-09T16:10:13Z) - Proceedings 9th International Workshop on Theorem Proving Components for
Educational Software [0.0]
第9回Theorem-Proving Components for Educational Software (ThEdu'20)国際ワークショップは6月29日にパリで開催されたIJCAR-FSCD 2020合同会議の衛星として開催される予定だった。
新型コロナウイルス(COVID-19)のパンデミックが驚き、メインカンファレンスは仮想化された。オンラインミーティングによって、私たちのコミュニティが、ThEduイニシアチブの通常の対面ネットワークの機会を完全に再現できないことに気付き、ThEduの運営委員会は、ワークショップを中止することを決定した。
私たちの多くがその瞬間に計画し、仕事をしていたことを考えれば、私たちはその決定を下しました。
論文 参考訳（メタデータ） (2020-10-28T00:36:08Z) - Recognizing Families In the Wild: White Paper for the 4th Edition Data
Challenge [91.55319616114943]
本稿では,Recognizing Families In the Wild(RFIW)評価における支援課題(親族検証,三対象検証,行方不明児の検索・検索)を要約する。
本研究の目的は、2020年のRFIWチャレンジと、将来的な方向性の予測について述べることである。
論文 参考訳（メタデータ） (2020-02-15T02:22:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。