4 citations · 8 across the 15 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023★ 4 cited
On the verification of Embeddings using Hybrid Markov Logic
Anup Shakya, Abisha Thapa Magar, Somdeb Sarkhel +1
The standard approach to verify representations learned by Deep Neural Networks is to use them in specific tasks such as classification or regression, and measure their performance…
cs.CL2023★ 3 cited
ToolChain*: Efficient Action Space Navigation in Large Language Models with A* Search
Yuchen Zhuang, Xiang Chen, Tong Yu +5
Large language models (LLMs) have demonstrated powerful decision-making and planning capabilities in solving complicated real-world problems. LLM-based autonomous agents can intera…