Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Lovish Chopra
Observed name:
Chopra, Lovish
Institution:
Stanford University
Observed institution:
Stanford University
OpenAlex ID:
A5097250694
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
2024
·
Lalwani, Abhinav
, Kim, Tasha
, et al.
·
arXiv (Cornell University)
·
6
PDF
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
2025
·
Abhinav Lalwani
, Tasha Kim
, et al.
·
International Joint Conference on Natural Language Processing and Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics (IJCNLP-AACL)
·
5
PDF
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
2025
·
Association for Computational Linguistics 2025
, Chopra, Lovish
, et al.
·
Underline Science Inc.
Show more works
View as search
Works count:
3
Citation count:
11
H-index:
2
I10-index:
Year
Topic
Type
