1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.NI2025★ 1 cited
ai.txt: A Domain-Specific Language for Guiding AI Interactions with the Internet
Yuekang Li, Wei Song, Bangshuo Zhu +8
We introduce ai.txt, a novel domain-specific language (DSL) designed to explicitly regulate interactions between AI models, agents, and web content, addressing critical limitations…
cs.CL2025
Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-based Test Oracles
Zihao Xu, Junchen Ding, Yiling Lou +3
Large Language Models (LLMs) have achieved significant progress in language understanding and reasoning. Evaluating and analyzing their logical reasoning abilities has therefore be…