InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems Paper • 2410.15700 • Published Oct 21, 2024
D3RoMa: Disparity Diffusion-based Depth Sensing for Material-Agnostic Robotic Manipulation Paper • 2409.14365 • Published Sep 22, 2024
SAGE: Bridging Semantic and Actionable Parts for GEneralizable Manipulation of Articulated Objects Paper • 2312.01307 • Published Dec 3, 2023
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 • 1
Scaling Behavior for Large Language Models regarding Numeral Systems: An Example using Pythia Paper • 2409.17391 • Published Sep 25, 2024
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