Theory

Reliable Evaluation and Benchmarks for Statement Autoformalization EMNLP 2025 Remove Symmetries to Control Model Expressivity and Improve Optimization ICLR 2025 Replicating Electoral Success AAAI 2025 ReproHum #0033-05: Human Evaluation of Factuality from A Multidisciplinary Perspective ACL 2025 ReproHum #0669-08: Reproducing Sentiment Transfer Evaluation ACL 2025 ReproHum #0729-04: Human Evaluation Reproduction Report for “MemSum: Extractive Summarization of Long Documents Using Multi-Step Episodic Markov Decision Processes” ACL 2025 ReproHum #0729-04: Partial reproduction of the human evaluation of the MemSum and NeuSum summarisation systems ACL 2025 Research Community Perspectives on “Intelligence” and Large Language Models ACL 2025 ReSi: A Comprehensive Benchmark for Representational Similarity Measures ICLR 2025 Residual Connections and Normalization Can Provably Prevent Oversmoothing in GNNs ICLR 2025 Rethinking Evaluation Metrics for Grammatical Error Correction: Why Use a Different Evaluation Process than Human? ACL 2025 Rethinking Fair Representation Learning for Performance-Sensitive Tasks ICLR 2025 Rethinking Invariance in In-context Learning ICLR 2025 Rethinking NLP for Chemistry: A Critical Look at the USPTO Benchmark EMNLP 2025 Rethinking Remaining Useful Life Prediction with Scarce Time Series Data: Regression Under Indirect Supervision IJCAI 2025 Revisiting Mode Connectivity in Neural Networks with Bezier Surface ICLR 2025 Revisiting the Test-Time Scaling of o1-like Models: Do they Truly Possess Test-Time Scaling Capabilities? ACL 2025 REVIVING YOUR MNEME: Predicting The Side Effects of LLM Unlearning and Fine-Tuning via Sparse Model Diffing EMNLP 2025 Riemannian-Geometric Fingerprints of Generative Models ICCV 2025 Riemannian Optimization for LoRA on the Stiefel Manifold EMNLP 2025 RiemStega: Covariance-Based Loss for Print-Proof Transmission of Data in Images WACV 2025 RLMEval: Evaluating Research-Level Neural Theorem Proving EMNLP 2025 Robust Point Matching with Distance Profiles JMLR 2025 Robust Root Cause Diagnosis using In-Distribution Interventions ICLR 2025 Round and Round We Go! What makes Rotary Positional Encodings useful? ICLR 2025