Richard Tang

building verified knowledge infrastructure for ai research @ Proofpress