6 citations · 18 across the 11 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Pareto-Optimal RTL Code Generation via Multi-Objective Reinforcement Learning with Large Language Models
Koki Takeshita, Kenji Uebayashi, Hikaru Tomonari +6
Recent studies have proposed reinforcement learning with verifiable rewards (RLVR) methods that enable LLMs to generate high-quality RTL circuits from natural-language specificatio…
cs.AI2023★ 2 cited
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic
Terufumi Morishita, Gaku Morio, Atsuki Yamaguchi +1
We study a synthetic corpus based approach for language models (LMs) to acquire logical deductive reasoning ability. The previous studies generated deduction examples using specifi…