会员服务
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Arxiv
0+阅读 · 10月14日
Prioritization First, Principles Second: An Adaptive Interpretation of Helpful, Honest, and Harmless Principles
Arxiv
0+阅读 · 10月14日
Learning Social Navigation from Positive and Negative Demonstrations and Rule-Based Specifications
Arxiv
0+阅读 · 10月14日
Efficient Perceptual Image Super Resolution: AIM 2025 Study and Benchmark
Arxiv
0+阅读 · 10月14日
Tensor Completion via Monotone Inclusion: Generalized Low-Rank Priors Meet Deep Denoisers
Arxiv
0+阅读 · 10月14日
Human-MME: A Holistic Evaluation Benchmark for Human-Centric Multimodal Large Language Models
Arxiv
0+阅读 · 10月14日
Controllable Collision Scenario Generation via Collision Pattern Prediction
Arxiv
0+阅读 · 10月14日
SAIL-Embedding Technical Report: Omni-modal Embedding Foundation Model
Arxiv
0+阅读 · 10月14日
Precrop Payoffs: Causal machine learning reveals large but variable yield benefits of crop rotation in major breadbaskets
Arxiv
0+阅读 · 10月14日
VQArt-Bench: A semantically rich VQA Benchmark for Art and Cultural Heritage
Arxiv
0+阅读 · 10月14日
DSM: Constructing a Diverse Semantic Map for 3D Visual Grounding
Arxiv
0+阅读 · 10月14日
Towards General Urban Monitoring with Vision-Language Models: A Review, Evaluation, and a Research Agenda
Arxiv
0+阅读 · 10月14日
GraphShaper: Geometry-aware Alignment for Improving Transfer Learning in Text-Attributed Graphs
Arxiv
0+阅读 · 10月14日
Generation Space Size: Understanding and Calibrating Open-Endedness of LLM Generations
Arxiv
0+阅读 · 10月14日
Exact Matching and Top-k Perfect Matching Parameterized by Neighborhood Diversity or Bandwidth
Arxiv
0+阅读 · 10月14日
参考链接
微信扫码咨询专知VIP会员
Top