2 citations · 3 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023★ 1 cited
Towards Autonomous Hypothesis Verification via Language Models with Minimal Guidance
Shiro Takagi, Ryutaro Yamauchi, Wataru Kumagai
Research automation efforts usually employ AI as a tool to automate specific tasks within the research process. To create an AI that truly conduct research themselves, it must inde…
cs.AI2023★ 2 cited
LPML: LLM-Prompting Markup Language for Mathematical Reasoning
Ryutaro Yamauchi, Sho Sonoda, Akiyoshi Sannai +1
In utilizing large language models (LLMs) for mathematical reasoning, addressing the errors in the reasoning and calculation present in the generated text by LLMs is a crucial chal…