MolRGen: A Benchmark and Verifier for Reasoning LLMs on De Novo Molecular Generation
参照分子なしで生成時に多目的報酬を計算する de novo 生成ベンチマーク＆検証器 ｜ arXiv:2603.18256 [cs.LG] (2026)
🎯 ドッキング+RDKit 物性をその場で計算する参照不要の分子検証器を構築し、~4,500 ポケット標的・~5万プロンプトで reasoning LLM の de novo 生成を訓練・評価可能にする。
① 背景と課題

数学・コーディングで成果を上げた reasoning LLM は verifiable reward が得られるタスクで強いが、de novo 生成では「目標を満たす分子」が事前に分からず報酬を定義できなかった。MolRGen は参照分子不要で生成時に報酬を計算する分子検証器を構築し、評価にも RL 訓練にも同一に使う。

既存 LLM 分子タスク（caption 生成・分子編集: Mol-Instructions/Ether0/GeLLMO 等）は訓練・評価に正解分子ペアを要する
de novo 生成は正解分子が存在せず、報酬を定義できなかった
BindGPT/Reinvent は強力だが自然言語推論を伴わない（言語モデル設計でない）

→ 自然言語推論する汎用 LLM に生成時計算できる参照不要の検証器を与え、4,500 標的規模で訓練・評価を可能にする

② 手法: 分子検証器 + GRPO
参照不要 分子検証器 プロンプト q {目的 νi, プロパティ γi, 閾値 σi} LLM が <answer> SMILES を生成 Verifier RDKit妥当性 + AutoDock-GPU + 12記述子 各物性を [0,1] 正規化 → 幾何平均 → 報酬
max=γ / min=1−γ / below=1{γ≤σ} / above=1{γ≥σ}
幾何平均集約: 1 目的でも未達なら報酬0（全目的同時満足のみ評価）

参照分子不要。GRPO 報酬として 128B Mistral-Small-4 を fine-tune。Code/Dataset 公開。

③ 本研究で示したこと（要点）
  • 参照不要・生成時計算の分子検証器（AutoDock-GPU + RDKit 12 記述子・幾何平均集約）
  • ~4,500 ポケット標的・~5万多目的プロンプトの大規模 de novo 生成ベンチ
  • 多様性考慮 top-k 指標（Tanimoto 上限 smax の greedy 選択）で mode collapse を可視化
  • 13 OSS LLM を評価し、128B を GRPO で実 fine-tune して有効性を実証
④ 主な結果 (a) 規模 vs 品質
0.56 Gemma-4 (31B) 0.52 Mistral-S4 (128B) top16,48 平均報酬

31B の Gemma-4 が 100B超を上回り最良（top1=0.70/top16=0.56）。

④ 主な結果 (b) GRPO 訓練
0.52 base 0.57 RL-Molstral-g16 GRPO 後 top16,48

群サイズ16 が全サンプリング予算で優位（base 0.52→0.57）。

④ 主な結果 (c) 相関分析
0.8 リリース日 0.2 パラメータ数 top-k との Spearman 相関

コード/数学推論の進歩が分子生成に転移（0.8）。規模との相関は弱い（0.2）。

④ 主な結果 (d) 規模・多様性
~4,500 標的 / ~5万
プロンプト（train 49k/test 1k/eval 1k、ポケットは分割間 disjoint）
多様性考慮 top-k
Tanimoto 上限 smax の greedy 選択で mode collapse を可視化
RL は多様性↓
exploitation↑/exploration↓（pairwise Tanimoto 上昇）のトレードオフ
⑤ テイクホームメッセージ
🧪 参照不要報酬
生成時にドッキング+RDKit で多目的報酬を計算（正解分子不要）。
🔢 論理AND集約
幾何平均で 1 目的でも未達なら報酬0、全目的同時満足のみ評価。
🌈 多様性指標
smax greedy 選択で化学シリーズ偏り（mode collapse）を検知。
📅 推論の転移
コード/数学推論の進歩が分子生成に転移（リリース日相関0.8＞規模0.2）。
代表モデル top-k,48
モデル規模top1top16
Gemma-431B0.700.56
Mistral-Small-4128B0.660.52
RL-Molstral-g16128B—0.57
本研究のインパクト
  • lib/molgen・lib/docking: 生成時多目的報酬の verifier 抽象を MolgenYaml スコアラー＋UniDockRunner/ProLIFCalculator を束ねる統一IFとして実装し、ドッキング+RDKit を [0,1] 正規化・幾何平均集約して再現可能スコアリングと RL 報酬に使い回す
  • lib/docking: maximize/minimize/below/above の 4 目的型と幾何平均フィルタを LBVS/SBVS ヒットトリアージに（全目的未達候補を弾く制約スコアラー）
  • lib/molgen: 多様性考慮 top-k（smax greedy）を生成評価の標準指標に追加し mode collapse を早期検知。GRPO+verifier の参照不要 fine-tune に pairwise Tanimoto 監視のガードレールを併設
MolRGen: A Benchmark and Verifier for Reasoning LLMs on De Novo Molecular Generation. arXiv:2603.18256 [cs.LG]. 2026. https://arxiv.org/abs/2603.18256