Artificial Intelligence

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 ACL 2026 Discovering and Causally Validating Emotion-Sensitive Neurons in Large Audio-Language Models ACL 2026 Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views ACL 2026 Discovering Decoupled Functional Modules in Large Language Models AAAI 2026 Discovering Hybrid World Representations with Co-Evolving Foundation Models AAAI 2026 Discovering Lexical Gaps Using Embeddings from Multilingual LLMs CoNLL 2026 Discovering Linear Non-Gaussian Models for All Categories of Missing Data (Student Abstract) AAAI 2026 Discovering Mixture Skills for Unsupervised Reinforcement Learning AAAI 2026 Discovering Properties of Inflectional Morphology in Neural Emergent Communication ACL 2026 Discover, Segment, and Select: A Progressive Mechanism for Zero-shot Camouflaged Object Segmentation CVPR 2026 Discovery and Reinforcement of Tool-Integrated Reasoning Chains via Rollout Trees ACL 2026 Discovery of Feasible 3D Printing Configurations for Metal Alloys via AI-Driven Adaptive Experimental Design AAAI 2026 Discretization Is Not Always Better: Rethinking Deep Quantization for Asymmetric Image Retrieval AAAI 2026 Discriminative Perception via Anchored Description for Reasoning Segmentation CVPR 2026 Disentangled Generation-Based Prototypical Alignment for Few-Shot Unsupervised Domain Adaptation in Graph-Level Anomaly Detection AAAI 2026 Disentangled Hypergraph-Guided Mamba Scanning for Fine-Grained Visual Recognition AAAI 2026 Disentangled Textual Priors for Diffusion-based Image Super-Resolution CVPR 2026 Disentangling Adversarial Prompts: A Semantic-Graph Defense for Robust LLM Security AAAI 2026 Disentangling Dynamical Systems: Causal Representation Learning Meets Local Sparse Attention CLeaR 2026 Disentangling Reasoning Logic to Resolve Explicit Knowledge Conflicts ACL 2026 Disentangling to Re-couple: Resolving the Similarity-Controllability Paradox in Subject-Driven Text-to-Image Generation CVPR 2026 Dissecting Failure Dynamics in Large Language Model Reasoning ACL 2026 Distill and Align Decomposition for Enhanced Claim Verification EACL 2026 Distillation-Guided Structural Transfer for Continual Learning Beyond Sparse Distributed Memory AAAI 2026 Distillation Traps and Guards: A Calibration Knob for LLM Distillability ACL 2026