Seonglae Cho- Literature discovery
- Evidence extraction
- Theory synthesis→ Performs typical automated research pipeline
But differs from general research agents. The goal is not running experiments or generating code→ Specialized in "theory (law) generation"
Theorizer: Turning thousands of papers into scientific laws | Ai2
Theorizer is a system that automatically reads scientific literature and synthesizes structured, testable theories.
https://allenai.org/blog/theorizer
