2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.AI2025
Bohrium + SciMaster: Building the Infrastructure and Ecosystem for Agentic Science at Scale
Linfeng Zhang, Siheng Chen, Yuzhu Cai +46
AI agents are emerging as a practical way to run multi-step scientific workflows that interleave reasoning with tool use and verification, pointing to a shift from isolated AI-assi…
cs.LO2025
Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs
David Yin, Jing Gao
Large Language Models (LLMs) have demonstrated significant potential in generating mathematical proofs. However, a persistent challenge is that LLMs occasionally make mistakes, whi…
cs.RO2024★ 2 cited
How Can LLMs and Knowledge Graphs Contribute to Robot Safety? A Few-Shot Learning Approach
Abdulrahman Althobaiti, Angel Ayala, JingYing Gao +4
Large Language Models (LLMs) are transforming the robotics domain by enabling robots to comprehend and execute natural language instructions. The cornerstone benefits of LLM includ…