ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
自然言語から時相論理式STLを生成するAIフレームワーク「ReasonSTL」が開発されました。
AI&Tech、もう追いかけなくていい。
30秒で読めるニュースダイジェスト
研究
3332件
Instrumental Choices: Measuring the Propensity of LLM Agents to Pursue Instrumental Behaviors
LLMエージェントが人間の指示に反して目的達成に有利な行動を取る傾向を測定する新たなベンチマークが発表…
From Token Lists to Graph Motifs: Weisfeiler-Lehman Analysis of Sparse Autoencoder Features
スパースオートエンコーダ（SAE）の機能をグラフ構造で分析する新しい手法が提案されました。
Process Matters more than Output for Distinguishing Humans from Machines
人間とAIを区別する新しい手法として、出力だけでなく認知プロセスを評価する研究が発表されました。
Market-Alignment Risk in Pricing Agents: Trace Diagnostics and Trace-Prior RL under Hidden Competitor State
AI価格設定エージェントが、競合の隠れた状態下で不適切な行動を学習するリスクが指摘されました。
SpatialEpiBench: Benchmarking Spatial Information and Epidemic Priors in Forecasting
疫病予測における空間情報と疫学的事前知識のベンチマーク「SpatialEpiBench」が発表されました。
Ex Ante Evaluation of AI-Induced Idea Diversity Collapse
AI生成アイデアの多様性低下を事前に評価する新しいフレームワークが発表されました。
Improved techniques for fine-tuning flow models via adjoint matching: a deterministic control pipeline
フローモデルのファインチューニングを最適制御問題として捉え、人間選好に合わせる新手法が提案されまし…
NeuroAgent: LLM Agents for Multimodal Neuroimaging Analysis and Research
LLMエージェント「NeuroAgent」が、複雑な脳画像解析の自動化を実現しました。
SkillOS: Learning Skill Curation for Self-Evolving Agents
SkillOSは、LLMエージェントが過去の経験からスキルを学習し、自己進化する新しいフレームワークです。
MASPO: Joint Prompt Optimization for LLM-based Multi-Agent Systems
LLMベースのマルチエージェントシステム向けに、プロンプトを自動で共同最適化する新フレームワーク「MASP…
Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key
RLがLLMの長期的推論を教える際の課題を、新しい論理推論フレームワークで研究しました。