Showing cs.CLShow all
2 papers · 1 filter
cs.CL2025
Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving
Vincent Li, Tim Knappe, Yule Fu +2
Large language models have demonstrated remarkable capabilities in natural language processing tasks requiring multi-step logical reasoning capabilities, such as automated theorem…
cs.CL2024
Pragmatic Metacognitive Prompting Improves LLM Performance on Sarcasm Detection
Joshua Lee, Wyatt Fong, Alexander Le +3
Sarcasm detection is a significant challenge in sentiment analysis due to the nuanced and context-dependent nature of verbiage. We introduce Pragmatic Metacognitive Prompting (PMP)…