world-models causal-models counterfactual-evaluation sheaf-theory scientific-literature gluing-diagnostics deep-causal-research text-mining
Abstract
Large language models can extract local causal claims from text, but those claims become more useful when organized as persistent, navigable world models rather than as flat summaries. We introduce PROMETHEUS, a framework that turns retrieved literature, filings, reviews, reports, agent traces, source data, code, simulations, and scientific models into causal atlases: sheaf-like families of local causal predictive-state models over an explicit cover of a research substrate. Each local region contains causal episodes, structured claim tables, predictive tests, support statistics, and provenance; restriction maps compare overlapping regions; gluing diagnostics expose agreement, drift, contradiction, and underdetermination. The resulting Topos World Model is not a single universal graph. It is a research instrument for navigating what a corpus says, where it says it, how strongly it is supported, and where local claims fail to assemble into a coherent global view. Three literature-atlas case studies -- ocean-temperature impacts on marine populations, GLP-1 weight-loss evidence, and resveratrol/red-wine health-benefit claims -- illustrate deep causal research from text with explicit locality, evidence, persistent state, and gluing tension. Four grounded-counterfactual case studies -- a Nature Climate Change microplastics forcing paper, an Indus Valley hydrology paper with VIC-derived figure data and model code, the canonical Sachs protein-signaling study with single-cell perturbation data, and a Nature singing-mouse study with MAPseq projection matrices -- show a stronger mode: when a paper ships source data, simulation outputs, or code, PROMETHEUS can evaluate a counterfactual against that scientific substrate and then rebuild the sheaf world model around the
한국어 요약
📋 한 줄 요약
**[자동 과학 발견 · 인과 추론]** 논문·데이터·코드·시뮬레이션을 명시적 cover 위의 sheaf 형태 국소 인과 예측 상태 모델로 조직화해 "Topos World Model"을 만드는 PROMETHEUS를 제안한다.
🎯 핵심 기여도
- 검색된 문헌·신고서·리뷰·보고서·에이전트 추적·소스 데이터·코드·시뮬레이션·과학 모델을 인과 atlas로 변환하는 PROMETHEUS 제시
- 각 국소 영역에 인과 episode, 구조화된 claim table, 예측 테스트, 지지 통계, provenance를 담고 영역 간 restriction map과 gluing diagnostics로 일치·드리프트·모순·미결정 노출
- 결과 Topos World Model이 단일 보편 그래프가 아니라 "코퍼스가 어디서 무엇을 말하고, 얼마나 지지되며, 어디서 글로벌 통합이 실패하는가"를 항해하는 도구임을 강조
- 세 가지 문헌 atlas 사례연구(해양 온도와 해양 개체군, GLP-1, 레스베라트롤/적포도주)와 네 가지 grounded counterfactual 사례(미세 플라스틱 강제력, Indus Valley 수문, Sachs 단백질 신호, 노래쥐 MAPseq)로 실증
💡 핵심 아이디어
LLM이 추출한 국소 인과 주장을 평탄 요약으로 합치는 대신, 토포스 위의 sheaf처럼 국소 영역과 restriction map으로 구성한다. 그러면 어디서 합쳐지고 어디서 깨지는지가 구조적으로 드러난다.
🔬 기술적 접근법
- **모델/방법론**: 연구 기질(substrate) 위의 explicit cover에 대한 sheaf-유사 국소 인과 예측 상태 모델 가족
- **핵심 기법**: 영역 간 restriction map과 gluing diagnostics로 합의·드리프트·모순·미결정 진단, 데이터/코드/시뮬레이션이 동반될 때는 reactive counterfactual 평가로 sheaf 재구축
📊 주요 결과
- 3건의 literature atlas 사례에서 명시적 locality·증거·gluing tension을 가진 deep causal research 시연
- 4건의 grounded counterfactual 사례에서 논문이 제공한 소스 데이터·시뮬레이션·코드에 대한 반사실 평가 수행
- 평가 후 sheaf world model을 재구성하는 더 강한 모드 입증
💭 의의 및 한계
**의의**: LLM 추출 인과 주장의 한계를 보강해 "어디서 무엇이 얼마나 지지되는지"를 구조적으로 항해하는 새로운 연구 인스트루먼트를 제공한다. **한계**: 논문이 데이터·코드·시뮬레이션을 함께 제공하지 않으면 counterfactual 모드의 강력함이 제한된다.
🚀 실용적 활용
- 다수의 문헌·보고서를 통합 검토하는 시스템 리뷰·메타 분석 보조
- 정책·임상·환경 등 인과 주장이 핵심인 도메인의 deep research 워크플로
- 인과 주장의 출처·지지도·모순을 항상 가시화하는 연구 결과물 큐레이션 도구