view article Article <p style="text-align:center;"> Bourbaki (7b): SOTA 7B Algorithms for Putnam Bench (Part I: Reasoning MDPs)</p> By hba123 and 2 others • 5 days ago • 9
Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving Paper • 2507.02726 • Published 15 days ago • 14
Ark: An Open-source Python-based Framework for Robot Learning Paper • 2506.21628 • Published 24 days ago • 14
view article Article Deepseek R1 Robotic Reasoning with Checkers By codyreading and 4 others • Mar 5 • 14
Almost Surely Safe Alignment of Large Language Models at Inference-Time Paper • 2502.01208 • Published Feb 3 • 11
view article Article Accelerating Language Model Inference with Mixture of Attentions By hba123 and 1 other • Jan 7 • 24
Beyond Examples: High-level Automated Reasoning Paradigm in In-Context Learning via MCTS Paper • 2411.18478 • Published Nov 27, 2024 • 38 • 14
Large Language Models Orchestrating Structured Reasoning Achieve Kaggle Grandmaster Level Paper • 2411.03562 • Published Nov 5, 2024 • 69
HumanRankEval: Automatic Evaluation of LMs as Conversational Assistants Paper • 2405.09186 • Published May 15, 2024 • 22
Human-like Episodic Memory for Infinite Context LLMs Paper • 2407.09450 • Published Jul 12, 2024 • 63
ROS-LLM: A ROS framework for embodied AI with task feedback and structured reasoning Paper • 2406.19741 • Published Jun 28, 2024 • 63