{"total":15,"rows":[{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"id":"2506.05566","title":"ScaleRTL: Scaling LLMs with Reasoning Data and Test-Time Compute for Accurate RTL Code Generation","created":"2025-06-05","cited_by_count":22,"area":"lr"},{"id":"2504.10369","title":"SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning","created":"2025-04-14","cited_by_count":16,"area":"lr"},{"id":"2505.11849","title":"VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation","created":"2025-05-17","cited_by_count":16,"area":"lr"},{"id":"2504.14560","title":"ReasoningV: Efficient Verilog Code Generation with Adaptive Hybrid Reasoning Model","created":"2025-04-20","cited_by_count":12,"area":"lr"},{"id":"2502.07980","title":"CIRCUIT: A Benchmark for Circuit Interpretation and Reasoning Capabilities of LLMs","created":"2025-02-11","cited_by_count":11,"area":"lr"},{"id":"2502.19091","title":"Nexus: A Lightweight and Scalable Multi-Agent Framework for Complex Tasks Automation","created":"2025-02-26","cited_by_count":5,"area":"lr"},{"id":"2601.07593","title":"GRPO with State Mutations: Improving LLM-Based Hardware Test Plan Generation","created":"2026-01-12","cited_by_count":4,"area":"lr"},{"id":"2604.03144","title":"InCoder-32B-Thinking: Industrial Code World Model for Thinking","created":"2026-04-03","cited_by_count":4,"area":"lr"},{"id":"2504.09485","title":"GenEDA: Towards Generative Netlist Functional Reasoning via Cross-Modal Circuit Encoder-Decoder Alignment","created":"2025-04-13","cited_by_count":1,"area":"lr"},{"id":"2606.08976","title":"RTL-BenchLS: A Large-Scale Benchmark for RTL Reasoning and Generation with Large Language Models","created":"2026-06-08","cited_by_count":1,"area":"lr"},{"id":"2603.23964","title":"From Pixels to Digital Agents: An Empirical Study on the Taxonomy and Technological Trends of Reinforcement Learning Environments","created":"2026-03-25","cited_by_count":0,"area":"lr"},{"id":"2607.20638","title":"WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms","created":"2026-07-22","cited_by_count":0,"area":"lr"},{"id":"2609.04476","title":"PerfReasoning: How Well Do LLMs Reason on Hardware Performance?","created":"2026-09-03","cited_by_count":0,"area":"lr"},{"id":"2609.22878","title":"ISA-Bench: A Benchmark for Computational Reasoning Across Instruction Set Architectures","created":"2026-09-19","cited_by_count":0,"area":"lr"}],"next_cursor":null}