arXiv:2611.11368v1 Announce Type: new Abstract: Large language models (LLMs) have made substantial progress in mathematical reasoning but still produce…
Category: cs.AI updates on arXiv.org
RealEmbedBench: Benchmarking LLMs on Real-World Application-Layer Embedded Software Tasks
arXiv:2611.11469v1 Announce Type: new Abstract: Large language models (LLMs) perform well on general coding tasks, but their capabilities in…
LoMASA: A Local Multi-Agent Sales Assistant with Confidence-Gated Delegation for B2B Quoting
arXiv:2611.11234v1 Announce Type: new Abstract: Frontline sales staff spend much of their day re-coordinating quotes after customers change quantities,…
When Are Nearby Experts Composable? Cross-Task Model Merging in Neural Thickets
arXiv:2611.11177v1 Announce Type: new Abstract: Random perturbations around a shared checkpoint can produce experts for distinct tasks, but shared origin…
GARP: Real-Time Generative Agents on Local Hardware in a Game Engine
arXiv:2611.11064v1 Announce Type: new Abstract: Generative agents are game characters whose plans, conversations, and memories are written on the fly by a…
But It Was True When I Checked: Compiling SHOP-Style Method Preconditions into Partially-Ordered HTN Planning
arXiv:2611.11055v1 Announce Type: new Abstract: Method preconditions specify when a method may be applied in hierarchical task network (HTN) planning, but…
When Self-Consistency Hurts: The Hidden Cost of Majority Voting in Small Language Models
arXiv:2611.11201v1 Announce Type: new Abstract: We study prompted chain-of-thought (CoT) with self-consistency (SC), i.e. sampling N traces and…
How Short Is Too Short? Length-Conditional Calibration and Abstention for Detecting AI-Generated Text
arXiv:2611.10901v1 Announce Type: new Abstract: Detectors of AI-generated text are usually tuned and tested on passages of several hundred tokens, yet…
Complementarity without ground truth?
arXiv:2611.10893v1 Announce Type: new Abstract: Human-AI complementarity captures the idea that a human assisted by an AI system can outperform both the…
Improving Analytic Constants via Interpretable AI-Guided Lean Proof Refinement
arXiv:2611.10961v1 Announce Type: new Abstract: AI agents are increasingly capable of discovering new mathematical results, yet their reasoning and…