NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Premise Selection in Natural Language Mathematical Texts
Deborah Ferreira
|
André Freitas
|
Paper Details:
Month: July
Year: 2020
Location: Online
Venue:
ACL |
Citations
URL
No Citations Yet
http://proofwiki.org/
https://github.com/ai-systems/premise
Field Of Study
Linguistic Trends
Discourse
Distributional Semantics
Embeddings
Task
Textual Entailment
Approach
Deep Learning