2 papers
cs.AI2026
TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science
Chutong Yang, Xiyuan Zhang, Yu Huang +7
Large language models perform strongly on competition mathematics, but their research-level reasoning remains difficult to evaluate systematically. Theoretical computer science (TC…
cs.AI2026
Business Compromise Detection with Agentic AI and LLM-driven Knowledge Discovery
Diego Palma, Kyu Bin Kim, Zhen Han +2
Detecting compromised business ad accounts is a challenge in digital advertising, as attackers exploit hijacked accounts to launch fraudulent campaigns. Large Language Model (LLM)…