Library Learning Doesn't: The Curious Case of the Single-Use "Library"

26 October 2024

Papers citing "Library Learning Doesn't: The Curious Case of the Single-Use "Library""

9 / 9 papers shown

Title
Large Language Monkeys: Scaling Inference Compute with Repeated Sampling Bradley Brown Jordan Juravsky Ryan Ehrlich Ronald Clark Quoc V. Le Christopher Ré Azalia Mirhoseini ALM LRM 169 278 0 03 Jan 2025
ToolSandbox: A Stateful, Conversational, Interactive Evaluation Benchmark for LLM Tool Use Capabilities Jiarui Lu Thomas Holleis Yizhe Zhang Bernhard Aumayer Feng Nan ... Shen Ma Mengyu Li Guoli Yin Zirui Wang Ruoming Pang LLMAG ELM 71 32 0 08 Aug 2024
ATG: Benchmarking Automated Theorem Generation for Generative Language Models Xiaohan Lin Qingxing Cao Yinya Huang Zhicheng YANG Zhengying Liu Zhenguo Li Xiaodan Liang 100 4 0 05 May 2024
StableToolBench: Towards Stable Large-Scale Benchmarking on Tool Learning of Large Language Models Zhicheng Guo Sijie Cheng Hao Wang Shihao Liang Yujia Qin Peng Li Zhiyuan Liu Maosong Sun Yang Liu ELM 87 26 0 12 Mar 2024
REFACTOR: Learning to Extract Theorems from Proofs Jin Peng Zhou Yuhuai Wu Qiyang Li Roger C. Grosse AIMat 57 7 0 26 Feb 2024
Can LLM find the green circle? Investigation and Human-guided tool manipulation for compositional generalization Min Zhang Jianfeng He Shuo Lei Murong Yue Linhan Wang Chang-Tien Lu 69 5 0 12 Dec 2023
LEGO-Prover: Neural Theorem Proving with Growing Libraries Haiming Wang Huajian Xin Chuanyang Zheng Lin Li Zhengying Liu ... Enze Xie Jian Yin Zhenguo Li Heng Liao Xiaodan Liang LRM 58 66 0 01 Oct 2023
CRAFT: Customizing LLMs by Creating and Retrieving from Specialized Toolsets Lifan Yuan Yangyi Chen Xingyao Wang Yi R. Fung Hao Peng Heng Ji LLMAG KELM 74 65 0 29 Sep 2023
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models Jason W. Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Brian Ichter F. Xia Ed H. Chi Quoc Le Denny Zhou LM&Ro LRM AI4CE ReLM 598 9,009 0 28 Jan 2022