arXiv Artificial IntelligenceSpec-Harness: Measuring and Improving Behavioral Adequacy of LLM-Synthesized Formal Specifications
arXiv:2604.00280v2 Announce Type: replace-cross Abstract: Formal specifications play a central role in…
Curated from international AI laboratories, specialist publications and technology outlets. Last update: 3 hours ago.
arXiv Artificial IntelligencearXiv:2604.00280v2 Announce Type: replace-cross Abstract: Formal specifications play a central role in…
arXiv Artificial IntelligencearXiv:2602.19326v3 Announce Type: replace-cross Abstract: Urban renewal requires incremental modifications to…
arXiv Artificial IntelligencearXiv:2602.13047v2 Announce Type: replace-cross Abstract: Conversational speech reveals early signs of…
arXiv Artificial IntelligencearXiv:2602.06471v2 Announce Type: replace-cross Abstract: The architectural shape of dense Transformers has…
arXiv Artificial IntelligencearXiv:2601.19275v2 Announce Type: replace-cross Abstract: Tactile memory, the ability to store and retrieve…
arXiv Artificial IntelligencearXiv:2601.18930v5 Announce Type: replace-cross Abstract: We are interested in enabling autonomous agents to…
arXiv Artificial IntelligencearXiv:2601.15295v2 Announce Type: replace-cross Abstract: Interactive narrative (IN) authors craft spaces of…
arXiv Artificial IntelligencearXiv:2601.08654v3 Announce Type: replace-cross Abstract: Rubric-based text evaluation increasingly relies on…
arXiv Artificial IntelligencearXiv:2512.20974v4 Announce Type: replace-cross Abstract: Deep Bayesian reinforcement learning adapts to…
arXiv Artificial IntelligencearXiv:2512.19705v2 Announce Type: replace-cross Abstract: We study how generative artificial intelligence…
arXiv Artificial IntelligencearXiv:2510.05124v3 Announce Type: replace-cross Abstract: We propose MADS (Multi-Agent Dialogue Simulation)…
arXiv Artificial IntelligencearXiv:2509.22404v2 Announce Type: replace-cross Abstract: Anatomical understanding, which is the ability to…