DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning Paper • 2505.23754 • Published 28 days ago • 16
Is Cognition and Action Consistent or Not: Investigating Large Language Model's Personality Paper • 2402.14679 • Published Feb 22, 2024
GALLa: Graph Aligned Large Language Models for Improved Source Code Understanding Paper • 2409.04183 • Published Sep 6, 2024 • 2
Code Graph Model (CGM): A Graph-Integrated Large Language Model for Repository-Level Software Engineering Tasks Paper • 2505.16901 • Published May 22 • 44
Multilingual Encoder Knows more than You Realize: Shared Weights Pretraining for Extremely Low-Resource Languages Paper • 2502.10852 • Published Feb 15 • 2
MELA: Multilingual Evaluation of Linguistic Acceptability Paper • 2311.09033 • Published Nov 15, 2023
Draft Model Knows When to Stop: A Self-Verification Length Policy for Speculative Decoding Paper • 2411.18462 • Published Nov 27, 2024 • 6
Unifying the Perspectives of NLP and Software Engineering: A Survey on Language Models for Code Paper • 2311.07989 • Published Nov 14, 2023 • 25