vix.ing · top · new · best · stats · spec

Tasha Kim

  1. Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
    2024/04/18 by Abhinav Lalwani, Lalwani, Abhinav, Tasha Kim +9 · 14 voices · 6 citations
    Computer Science · #Formal Methods in Verification #Fuzzy Logic and Control Systems #Logic, Reasoning, and Knowledge #cs.AI #cs.CL #cs.LG #cs.LO