Or, if published, we could develop tools to normalize the data and improve the state of the art.
I disagree. The text is indexed and searchable.
> the meaning of the papers isn't addressed by that.
I agree. I wonder if starting with research papers that have lots of symbolic logic (e.g. math proofs) would be the easiest starting point for a system like this.