FoNE: Precise Single-Token Number Embeddings via Fourier Features Paper • 2502.09741 • Published 28 days ago • 11
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems Paper • 2410.15700 • Published Oct 21, 2024
InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning Paper • 2402.06332 • Published Feb 9, 2024 • 20
StackSight: Unveiling WebAssembly through Large Language Models and Neurosymbolic Chain-of-Thought Decompilation Paper • 2406.04568 • Published Jun 7, 2024
Scaling Behavior for Large Language Models regarding Numeral Systems: An Example using Pythia Paper • 2409.17391 • Published Sep 25, 2024
TLDR: Token-Level Detective Reward Model for Large Vision Language Models Paper • 2410.04734 • Published Oct 7, 2024 • 17
Pre-trained Large Language Models Use Fourier Features to Compute Addition Paper • 2406.03445 • Published Jun 5, 2024
Improve Mathematical Reasoning in Language Models by Automated Process Supervision Paper • 2406.06592 • Published Jun 5, 2024 • 29
Transformers Learn Higher-Order Optimization Methods for In-Context Learning: A Study with Linear Models Paper • 2310.17086 • Published Oct 26, 2023 • 1
IsoBench: Benchmarking Multimodal Foundation Models on Isomorphic Representations Paper • 2404.01266 • Published Apr 1, 2024 • 3
DreamSync: Aligning Text-to-Image Generation with Image Understanding Feedback Paper • 2311.17946 • Published Nov 29, 2023 • 1
Simplicity Bias of Transformers to Learn Low Sensitivity Functions Paper • 2403.06925 • Published Mar 11, 2024
DeLLMa: A Framework for Decision Making Under Uncertainty with Large Language Models Paper • 2402.02392 • Published Feb 4, 2024 • 5
FACT-GPT: Fact-Checking Augmentation via Claim Matching with LLMs Paper • 2402.05904 • Published Feb 8, 2024
ConFiguRe: Exploring Discourse-level Chinese Figures of Speech Paper • 2209.07678 • Published Sep 16, 2022