Tasha Kim
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
CoRR, November, 2025
Gated Uncertainty-Aware Runtime Dual Invariants for Neural Signal-Controlled Robotics.
CoRR, November, 2025
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection.
Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics, 2025