Browsing: arXiv AI
[Submitted on 3 Mar 2025 (v1), last revised 3 Jul 2025 (this version, v2)] View a PDF of the paper…
[Submitted on 30 Oct 2024 (v1), last revised 3 Jul 2025 (this version, v2)] Authors:Chenyang An, Shima Imani, Feng Yao,…
[Submitted on 23 Jun 2025 (v1), last revised 3 Jul 2025 (this version, v2)] View a PDF of the paper…
[Submitted on 28 May 2025 (v1), last revised 3 Jul 2025 (this version, v2)] View a PDF of the paper…
arXiv:2507.02855v1 Announce Type: cross Abstract: The recently introduced dependent typed higher-order logic (DHOL) offers an interesting compromise between expressiveness and…
[Submitted on 8 Jan 2025 (v1), last revised 3 Jul 2025 (this version, v3)] View a PDF of the paper…
arXiv:2507.01376v1 Announce Type: new Abstract: AI agents are autonomous systems designed to perceive, reason, and act within dynamic environments. With…
[Submitted on 2 Jul 2025] View a PDF of the paper titled Pensieve Grader: An AI-Powered, Ready-to-Use Platform for Effortless…
arXiv:2507.01597v1 Announce Type: new Abstract: Temporal Knowledge Graph (TKG) is an efficient method for describing the dynamic development of facts…
[Submitted on 24 Jan 2025 (v1), last revised 2 Jul 2025 (this version, v2)] View a PDF of the paper…