Theory

Large Language Models as an Indirect Reasoner: Contrapositive and Contradiction for Automated Reasoning COLING 2025 Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation ICLR 2025 Last-iterate Convergence of Shuffling Momentum Gradient Method under the Kurdyka-Lojasiewicz Inequality JMLR 2025 Learning Chaos In A Linear Way ICLR 2025 Learning Complexity of Gradient Descent and Conjugate Gradient Algorithms AAAI 2025 Learning Deep Dissipative Dynamics AAAI 2025 Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework CVPR 2025 Learning Gaussian Multi-Index Models with Gradient Flow: Time Complexity and Directional Convergence AISTATS 2025 Learning Neural Networks with Distribution Shift: Efficiently Certifiable Guarantees ICLR 2025 Learning to Normalize on the SPD Manifold under Bures-Wasserstein Geometry CVPR 2025 Leave-One-Out Stable Conformal Prediction ICLR 2025 Leveraging Flatness to Improve Information-Theoretic Generalization Bounds for SGD ICLR 2025 LIFBench: Evaluating the Instruction Following Performance and Stability of Large Language Models in Long-Context Scenarios ACL 2025 Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theory ICLR 2025 Linear Equations with Min and Max Operators: Computational Complexity AAAI 2025 Linear SCM Identification in the Presence of Confounders and Gaussian Noise ICLR 2025 Linear Separation Capacity of Self-Supervised Representation Learning JMLR 2025 List Update with Prediction AAAI 2025 LLM-based Rumor Detection via Influence Guided Sample Selection and Game-based Perspective Analysis ACL 2025 LLMs Are Not Intelligent Thinkers: Introducing Mathematical Topic Tree Benchmark for Comprehensive Evaluation of LLMs NAACL 2025 LMM4LMM: Benchmarking and Evaluating Large-multimodal Image Generation with LMMs ICCV 2025 Local Linear Recovery Guarantee of Deep Neural Networks at Overparameterization JMLR 2025 Local Loss Optimization in the Infinite Width: Stable Parameterization of Predictive Coding Networks and Target Propagation ICLR 2025 Local Normalization Distortion and the Thermodynamic Formalism of Decoding Strategies for Large Language Models EMNLP 2025 Local Scale Equivariance with Latent Deep Equilibrium Canonicalizer ICCV 2025