Ivan I. Garibay
1 papers
· 2000–2000
· 1 conference
· across top CS/AI conferences
Achievements
🚀
Conference Pioneer
Conferences
NAACL (1)
Papers
Generating Text with a Theorem Prover
NAACL 2000