activity
20242026
most citedHow Can LLMs and Knowledge Graphs Contribute to Robot Safety? A Few-Shot Learning Approach

2 citations · 5 across the 7 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

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…