Browsing: arXiv AI
arXiv:2506.22005v1 Announce Type: new Abstract: We introduce LeanConjecturer, a pipeline for automatically generating university-level mathematical conjectures in Lean 4 using…
[Submitted on 28 Aug 2024 (v1), last revised 27 Jun 2025 (this version, v2)] View a PDF of the paper…
[Submitted on 25 Sep 2023 (v1), last revised 27 Jun 2025 (this version, v4)] View a PDF of the paper…
[Submitted on 18 May 2025 (v1), last revised 27 Jun 2025 (this version, v2)] View a PDF of the paper…
[Submitted on 20 Feb 2025 (v1), last revised 27 Jun 2025 (this version, v2)] View a PDF of the paper…
[Submitted on 27 Jun 2025] View a PDF of the paper titled A Practical Approach to Power Saving in Hearables…
[Submitted on 27 Jun 2025] View a PDF of the paper titled Visual Structures Helps Visual Reasoning: Addressing the Binding…
[Submitted on 10 Nov 2022 (v1), last revised 26 Jun 2025 (this version, v3)] View a PDF of the paper…
arXiv:2506.21215v1 Announce Type: new Abstract: Causal reasoning capability is critical in advancing large language models (LLMs) toward strong artificial intelligence.…
arXiv:2506.21230v1 Announce Type: new Abstract: Large Vision-Language Models (LVLMs) show promise for embodied planning tasks but struggle with complex scenarios…