会员服务
MiroThinker-1.7 & H1: Towards Heavy-Duty Research Agents via Verification
Arxiv
0+阅读 · 3月16日
Solving the Multiobjective Quasi-Clique Problem
Arxiv
0+阅读 · 2月25日
Linear Reasoning vs. Proof by Cases: Obstacles for Large Language Models in FOL Problem Solving
Arxiv
0+阅读 · 2月24日
Pizza Sharing is PPA-hard
Arxiv
0+阅读 · 3月12日
Solving Inverse PDE Problems using Minimization Methods and AI
Arxiv
0+阅读 · 3月3日
Solving Inverse PDE Problems using Minimization Methods and AI
Arxiv
0+阅读 · 3月2日
Mastering Olympiad-Level Physics with Artificial Intelligence
Arxiv
0+阅读 · 2月18日
Near-real-time Solutions for Online String Problems
Arxiv
0+阅读 · 2月17日
Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving
Arxiv
0+阅读 · 2月12日
On Calibration of Large Language Models: From Response To Capability
Arxiv
0+阅读 · 2月14日
Prometheus: Towards Long-Horizon Codebase Navigation for Repository-Level Problem Solving
Arxiv
0+阅读 · 2月7日
Towards Autonomous Mathematics Research
Arxiv
0+阅读 · 2月10日
Towards Autonomous Mathematics Research
Arxiv
0+阅读 · 2月12日
GeoFocus: Blending Efficient Global-to-Local Perception for Multimodal Geometry Problem-Solving
Arxiv
0+阅读 · 2月9日
Enhancing Mathematical Problem Solving in LLMs through Execution-Driven Reasoning Augmentation
Arxiv
0+阅读 · 2月8日
参考链接
微信扫码咨询专知VIP会员
Top