Login / Signup
Towards extraction of theorems and proofs in scholarly articles.
Shrey Mishra
Lucas Pluvinage
Pierre Senellart
Published in:
DocEng (2021)
Keyphrases
</>
digital libraries
information extraction
sequent calculus
artificial intelligence
cut elimination
real time
data sets
news articles
automatic extraction
automatically extracted
decision procedures
theorem prover
theorem proving
online news
financial news