[qntty]

and similar projects for cs and math papers

http://thatsmathematics.com/mathgen/

https://pdos.csail.mit.edu/archive/scigen/

[eli_gottlieb]

And of course http://www.theproofistrivial.com/