8 citations · 15 across the 8 of their papers we have counts for
Showing 2025 · cs.AIShow all
3 papers · 2 filters
cs.AI2025
AgentScope 1.0: A Developer-Centric Framework for Building Agentic Applications
Dawei Gao, Zitao Li, Yuexiang Xie +20
Driven by rapid advancements of Large Language Models (LLMs), agents are empowered to combine intrinsic knowledge with dynamic tool use, greatly enhancing their capacity to address…
cs.AI2025
Automatic database description generation for Text-to-SQL
Yingqi Gao, Zhiling Luo
In the context of the Text-to-SQL task, table and column descriptions are crucial for bridging the gap between natural language and database schema. This report proposes a method f…
cs.AI2025
Reinforced Large Language Model is a formal theorem prover
Zhiling Luo
To take advantage of Large Language Model in theorem formalization and proof, we propose a reinforcement learning framework to iteratively optimize the pretrained LLM by rolling ou…