AI Research Blog · Neuro-Symbolic Drug Discovery2026-09-20
Three New Signals · Constraints Before Generation

생성모델을 더 자유롭게 만드는 대신, 과학적으로 더 제약한다

Constraint-Governed Neuro-Symbolic Drug Discovery: Synthesizable 3D Design, Physical Priors, and Target-State Combination Search

SCIENTIFIC FM/ VIRTUAL CELLEPISTEMICHRKGMACHINE-CHECKABLECONSTRAINTSCANDIDATE /COMBINATIONEXPERIMENT +EVIDENCEcounter-evidence revises belief and designCONCEPTUAL SYNTHESIS · NOT A MEASURED CHARTSYNTHESIS · PHYSICS · TARGET STATE · OOD

이번 업데이트의 공통 신호는 생성·예측 모델의 자유도를 키우는 것보다, 합성 가능성·물리 법칙·세포 상태 목표·적용가능성 조건을 명시적으로 강제하는 방향이 구체화됐다는 점이다.

LDDM은 실제 합성과 구조 검증까지 연결되는 programmable molecular design을 확장했고, physical-prior 연구는 어떤 물리적 inductive bias가 generalization에 실제로 도움이 되는지를 분리하며, PHAROS는 single-cell perturbation model을 목표 세포상태를 향한 약물조합 역설계 엔진으로 바꾼다. 세 연구를 함께 읽으면 Neuro-Symbolic AI Co-Scientist의 다음 단계가 보인다.

Part I · New Signal

모델 출력에서 ‘검증 가능한 설계 계약’으로

이번 세 연구는 서로 다른 수준에서 같은 질문을 던진다. 후보를 생성할 수 있는가가 아니라, 어떤 조건을 위반하지 않는 후보만 다음 단계로 넘길 것인가이다.

Source fact신규 항목은 LDDM, structure-based binding model의 physical priors, PHAROS 세 건이다. 이 가운데 앞의 두 건은 2026년 9월 18일 게시됐고, PHAROS는 9월 10일 공개된 연구로 최근 추적에서 누락됐지만 현재 연구축과 직접 연결돼 이번에 보완됐다.

LDDM

Synthesis

programmable objective와 실제 화합물 합성·구조 검증을 연결한다.

Physical Priors

Physics

더 복잡한 equivariance보다 검증 가능한 최소 물리 prior의 가치를 분리한다.

PHAROS

Cell State

single-cell perturbation model을 target-directed combination search로 전환한다.

Analysis세 연구의 공통점은 model proposal → constraint adjudication → evidence-bearing decision으로 시스템 경계를 이동시키는 데 있다. 이는 Neuro-Symbolic Co-Scientist를 “LLM이 설명하는 연구비서”보다 “명시적 계약과 증거로 후보를 통과·기각하는 연구 시스템”에 가깝게 만든다.

Generation is cheap. Scientific admissibility is the scarce resource.Integrated interpretation of the three source studies
Part II · LDDM

합성 가능한 3D 분자를 programmable objective 아래 설계한다

LDDM의 중요한 변화는 하나의 3D generative model이 다양한 structure-based design task를 처리하면서 실제 합성·구조 확인으로 검증 범위를 확장했다는 점이다.

Source factA Unified 3D Generative Model for Synthesizable Structure-Based Drug Design은 2026년 9월 18일 bioRxiv에 게시됐다. LDDM은 protein–ligand 3D 구조를 바탕으로 constrained/unconstrained docking, fragment linking, fragment growing, de novo design을 하나의 생성 모델에서 다룬다. 별도의 programmable design algorithm을 사용해 합성 가능성과 세부 설계 목적을 함께 반영한다.

2025년 ICLR workshop 버전에는 fragment-based masked modeling, constrained design, multi-objective sampling, KRAS 중심 초기 실험검증이 이미 제시됐다. 2026년 확장판의 신규성은 5개의 치료 관련 protein target에서 실제 화합물·리간드를 합성하고, 일부 최종 설계를 NMR과 X-ray crystallography로 구조 확인한 범위 확장에 있다.

Drug-discovery stage

Hit Generation → Structure-Based Lead Generation → Lead Optimization에 가장 직접적이다.

Current mechanism

하나의 3D generative model과 programmable objective가 여러 design mode를 연결한다.

Neuro-symbolic opportunity

programmable objective를 자연어 옵션이 아니라 machine-checkable Design Contract로 승격한다.

Design Contract로 바꾸면 무엇이 달라지는가

InferenceLDDM의 programmable objective를 다음과 같은 명시적 constraint 집합으로 바꿀 수 있다.

BINDING GEOMETRY+SYNTHETIC ROUTE+OFF-TARGET EXCLUSION+PHYSICOCHEMICAL BOUNDS+ASSAY CONDITIONS

후보가 이 계약을 위반하면 Co-Scientist가 단순 낮은 점수를 부여하는 데 그치지 않고 reject / repair / regenerate 결정을 내릴 수 있다. 실제 assay 결과를 Evidence Ledger와 HRKG에 연결하면 다음 폐루프가 가능해진다.

\[\text{Generation}\rightarrow\text{Constraint Checking}\rightarrow\text{Synthesis}\rightarrow\text{Experiment}\rightarrow\text{Belief/Design Revision}\]

Caution이 폐루프의 HRKG·Design Contract 부분은 원 논문이 직접 구현했다고 주장한 내용이 아니라, 원 자료가 제안하는 Neuro-Symbolic Co-Scientist 확장 방향이다.

핵심 해석. 생성 품질을 “예쁜 3D 구조”로 평가하는 대신, 합성 가능한가, 요구한 구조·결합 목적을 만족하는가, 실제 구조 증거로 확인되는가를 단계별 계약으로 나누는 것이 중요하다.

LDDM bioRxiv 원문 · 2025 ICLR workshop version

Part III · Physical Priors

복잡한 물리가 아니라, 일반화에 실제로 도움이 되는 물리를 선택한다

3D 정보를 쓰는 것과 과학적 prior를 효과적으로 주입하는 것은 다른 문제다. 이 연구는 그 차이를 구조적으로 분리한다.

Source factPhysical priors improve performance of structure-based binding affinity models는 2026년 9월 18일 bioRxiv에 게시됐다. Memorial Sloan Kettering/Chodera 연구진은 mtenn framework에서 structure embeddingaffinity aggregation을 분리하고, E(3)-invariant/equivariant architecture와 여러 physical inductive bias를 비교했다.

원 자료에 따르면 적절한 physical prior는 성능, 데이터 효율, unseen-target generalization을 개선했다. 동시에 더 복잡한 equivariance가 항상 더 낫지는 않았다. 이는 “물리를 많이 넣을수록 좋다”가 아니라 “검증 가능한 최소 prior가 어떤 failure mode를 막는가”가 더 중요한 설계 질문임을 시사한다.

DSQ와의 차이

기존 DSQ가 GPCR의 MWC thermodynamic model을 특정 neural architecture에 직접 삽입한 사례라면, 이번 연구는 보다 일반적으로 어떤 과학법칙·기하학적 제약이 실제 generalization에 기여하는지를 분리해 보는 쪽에 가깝다.

Bad default

symbolic/physics layer를 복잡하게 만들고 “더 과학적”이라고 가정한다.

Better principle

예측 실패를 줄이고 OOD generalization을 개선하는 최소 물리 제약만 채택한다.

Constraint adjudicator로 승격

Inferencebinding model의 physical prior를 Co-Scientist의 constraint adjudicator로 사용할 수 있다. generative FM 또는 LLM이 제안한 후보가 steric, energy, symmetry, interaction rule을 위반하면 자동 reject 또는 downgrade하는 구조다.

또한 HRKG의 predicted_binding edge를 단일 score로 저장하는 대신, 다음 qualifier를 함께 기록하는 방식이 유망하다.

MODEL+PHYSICAL PRIOR+DOMAIN OF APPLICABILITY+UNCERTAINTY

이 표현을 사용하면 여러 모델 간 불일치를 단순 평균으로 덮지 않고, 어떤 prior와 적용조건 아래에서 나온 주장인지를 명시적으로 비교할 수 있다. 신약개발 단계에서는 virtual screening, affinity ranking, hit prioritization, novel-target generalization에 의미가 크다.

Physical priors 논문

Part IV · PHAROS

세포 상태를 목표로 약물조합을 역설계한다

PHAROS는 single-cell perturbation model을 단순 forward predictor가 아니라 target-state-directed combination search engine으로 바꾼다.

Source factPHAROS: Turning single-cell perturbation models into target-directed drug-combination screens는 2026년 9월 10일 bioRxiv에 게시됐다. 각 drug perturbation 이후의 cell population 변화를 순차적으로 예측하고, 여러 약물을 chaining한 뒤 목표 cell state와의 거리를 평가해 조합을 탐색한다.

두 개의 독립적인 combinatorial perturbation dataset에서 training에 포함된 cell line뿐 아니라 unseen cell line에서도 exact 또는 mechanism-matched combination을 회수했고, single-drug effect나 단순 additive effect만으로 설명되지 않는 조합도 찾았다고 원 자료는 정리한다.

OOD awareness는 기능이 아니라 epistemic state다

환자 유래 metastatic HR+/HER2− breast tumor와 basal-cell carcinoma 분석에서는 FDA-approved regimen과 pathway-level hypothesis를 제시하면서도, 두 cohort가 foundation model의 supported distribution 밖이라는 점을 명시적으로 표시했다.

“이 상황에서는 내가 아는 영역 밖이다”를 출력하는 능력은 약한 자신감 표현이 아니라, 다음 실험·검증 수준을 바꾸는 epistemic control variable이다.Analysis of the OOD-awareness signal described in the source

이 특징은 모든 예측을 같은 신뢰도로 다루지 않는 Co-Scientist에 직접 연결된다. OOD condition을 단순 경고문이 아니라 실험 필요성·human escalation·claim gate를 바꾸는 상태로 사용하면 더 강한 연구 시스템이 된다.

Causal HRKG로 확장하기

InferencePHAROS의 sequence-of-perturbations를 latent-state transition에만 두지 않고 다음 causal HRKG 경로로 표현할 수 있다.

\[\text{Drug}\rightarrow\text{Target}\rightarrow\text{Pathway}\rightarrow\text{CellState}\rightarrow\text{Phenotype}\]

각 조합 후보에 mechanistic compatibility, contraindication rule, OOD condition, counter-evidence를 symbolic constraint로 붙이면, “목표 상태에 가까워지는 조합”을 찾는 데서 한 단계 더 나아가 왜 그 조합이 작동해야 하는지와 어떤 실험이 반증할 수 있는지까지 설명하는 Co-Scientist로 확장할 수 있다.

Distinctive focus

AutoScreen의 CRISPR target prioritization, AssayLoop의 sequential experiment selection과 달리 PHAROS는 cell state를 목표로 한 drug-combination inverse design에 초점을 둔다.

Drug-discovery use

Combination Therapy Design, Resistance Overcoming, Precision Oncology, Immuno-oncology에 직접 연결된다.

PHAROS bioRxiv 원문

Part V · Synthesis

다음 Co-Scientist의 핵심은 ‘제약된 생성’보다 ‘수정 가능한 믿음’이다

합성·물리·세포상태 제약은 강해지고 있지만, wet-lab 반증이 causal belief state 자체를 수정하는 완성형 구조는 아직 보이지 않는다.

연구핵심 제약검증 신호Co-Scientist 확장
LDDMSynthesizability + fine-grained design objectives5개 치료 관련 target의 실제 합성·검증, 일부 NMR/X-ray 구조 확인Machine-checkable Design Contract + assay-driven design revision
Physical PriorsPhysics-informed inductive constraints성능·데이터 효율·unseen-target generalization 개선, 복잡한 equivariance의 비필연성Constraint adjudicator + HRKG qualifier
PHAROSTarget-state + domain-of-applicability독립 perturbation datasets, unseen cell line, OOD 표기Causal combination hypothesis + contraindication/OOD/counter-evidence rules

Analysis이번 업데이트의 가장 중요한 공통 신호는 “생성 또는 예측 모델을 자유롭게 두지 않고, 물리·합성·세포상태 목표·적용가능성 조건으로 제약하는 것”이다.

SCIENTIFIC FM / VIRTUAL CELLEPISTEMIC HRKGMACHINE-CHECKABLE PHYSICAL / BIOLOGICAL CONSTRAINTSCANDIDATE / COMBINATIONEXPERIMENTCOUNTER-EVIDENCEBELIEF / DESIGN REVISION

그러나 원 자료가 분명히 지적하듯, 이번 신규 문헌에서도 HRKG 자체를 belief state로 사용하고 wet-lab 결과가 들어오면 causal graph를 명시적 규칙으로 수정·폐기하는 완성형 Neuro-Symbolic Co-Scientist는 확인되지 않았다.

가장 높은 신규성의 공백은 “더 좋은 생성기”가 아니다. 실험이 가설을 반증했을 때, 그 반증이 다음 설명 문장이 아니라 시스템의 causal belief graph를 실제로 약화·삭제·대체하는가이다.Research opportunity distilled from the source

Inference이를 연구문제로 압축하면 다음과 같다. Can a drug-discovery Co-Scientist enforce machine-checkable physical and biological contracts during generation, track domain-of-applicability and counter-evidence as first-class qualifiers, and revise its causal HRKG belief state when experiments falsify a mechanistic hypothesis?

Near-term system

LDDM형 생성 + physical-prior adjudicator + PHAROS형 target-state search + Evidence Ledger를 하나의 orchestration layer에서 결합한다.

Decisive experiment

동일 후보에 대해 생성 점수, constraint pass/fail, OOD state, assay result, causal-edge revision을 끝까지 추적해 “반증이 실제 belief update를 일으키는가”를 평가한다.

이 방향은 신약개발 Neuro-Symbolic AI의 평가축을 단순 predictive accuracy에서 constraint compliance + experimental validity + epistemic revision으로 옮긴다.

References

Source Set

01
A Unified 3D Generative Model for Synthesizable Structure-Based Drug Design
bioRxiv · 2026-09-18

biorxiv.org/content/10.64898/2026.09.15.751537v1

02
Large Drug Discovery Model
ICLR Workshop · 2025 · ML Anthology

mlanthology.org/iclrw/2025/igashov2025iclrw-large/

03
Physical priors improve performance of structure-based binding affinity models
bioRxiv · 2026-09-18

biorxiv.org/content/10.64898/2026.09.11.750982v1

04
PHAROS: Turning single-cell perturbation models into target-directed drug-combination screens
bioRxiv · 2026-09-10

biorxiv.org/content/10.64898/2026.09.08.749477v1