Image de couverture de livre

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	DeLorenzo, Matthew, Tieu, Kevin, Jana, Prithwish, Jha, Piyush, Kalathil, Dileep, Ganesh, Vijay, Rajendran, Jeyavijayan
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Free and Fair Hardware: A Pathway to Copyright Infringement-Free Verilog Generation using LLMs
par: Bush, Sam, et autres
Publié: (2025)

CreativEval: Evaluating Creativity of LLM-Based Hardware Code Generation
par: DeLorenzo, Matthew, et autres
Publié: (2024)

AttackGNN: Red-Teaming GNNs in Hardware Security Using Reinforcement Learning
par: Gohil, Vasudev, et autres
Publié: (2024)

CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution
par: Jana, Prithwish, et autres
Publié: (2023)

LLMPirate: LLMs for Black-box Hardware IP Piracy
par: Gohil, Vasudev, et autres
Publié: (2024)

RLSF: Fine-tuning LLMs via Symbolic Feedback
par: Jha, Piyush, et autres
Publié: (2024)

Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS
par: DeLorenzo, Matthew, et autres
Publié: (2024)

ReFuzz: Reusing Tests for Processor Fuzzing with Contextual Bandits
par: Chen, Chen, et autres
Publié: (2025)

GUIDE: GenAI Units In Digital Design Education
par: Xiao, Weihua, et autres
Publié: (2026)

LLMStinger: Jailbreaking LLMs using RL fine-tuned LLMs
par: Jha, Piyush, et autres
Publié: (2024)

LLM Translation of Compiler Intermediate Representation
par: Ramirez, Andrea Valenzuela, et autres
Publié: (2026)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
par: Pati, Viresh, et autres
Publié: (2026)

Fuzzerfly Effect: Hardware Fuzzing for Memory Safety
par: Rostami, Mohamadreza, et autres
Publié: (2024)

Beyond Random Inputs: A Novel ML-Based Hardware Fuzzing
par: Rostami, Mohamadreza, et autres
Publié: (2024)

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
par: Jana, Prithwish, et autres
Publié: (2025)

LockForge: Automating Paper-to-Code for Logic Locking with Multi-Agent Reasoning LLMs
par: Saha, Akashdeep, et autres
Publié: (2025)

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
par: Luo, Junjie, et autres
Publié: (2024)

E-Graphs as a Persistent Compiler Abstraction
par: Merckx, Jules, et autres
Publié: (2026)

HUGR: A Quantum-Classical Intermediate Representation
par: Koch, Mark, et autres
Publié: (2025)

BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer
par: Jha, Piyush, et autres
Publié: (2023)

PowerMamba: A Deep State Space Model and Comprehensive Benchmark for Time Series Prediction in Electric Power Systems
par: Menati, Ali, et autres
Publié: (2024)

Adaptive Outer-Loop Control of Quadrotors via Reinforcement Learning
par: Saj, Vishnu, et autres
Publié: (2026)

MAVIS: Multi-Objective Alignment via Inference-Time Value-Guided Selection
par: Carleton, Jeremy, et autres
Publié: (2025)

Risk-Averse Finetuning of Large Language Models
par: Chaudhary, Sapana, et autres
Publié: (2025)

Federated Ensemble-Directed Offline Reinforcement Learning
par: Rengarajan, Desik, et autres
Publié: (2023)

Abstraction Functions as Types
par: Grodin, Harrison, et autres
Publié: (2025)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
par: Leißa, Roland, et autres
Publié: (2024)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
par: De Angelis, Emanuele, et autres
Publié: (2024)

Robust LLM Alignment via Distributionally Robust Direct Preference Optimization
par: Xu, Zaiyan, et autres
Publié: (2025)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
par: Rocha, Filipe Marinho, et autres
Publié: (2024)

A Formal Semantics of the GraalVM Intermediate Representation
par: Webb, Brae J., et autres
Publié: (2021)

An Intermediate Program Representation for Optimizing Stream-Based Languages
par: Baumeister, Jan, et autres
Publié: (2025)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
par: Zhang, Bowen, et autres
Publié: (2024)

Water quality and harmful algae in Southeastern coastal stormwater ponds
par: DeLorenzo, Marie E., et autres
Publié: (2009)

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
par: Lu, Zhengyang, et autres
Publié: (2024)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
par: Jha, Piyush, et autres
Publié: (2024)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
par: Li, Chunxiao, et autres
Publié: (2024)

Parameterized Hardware Design with Latency-Abstract Interfaces
par: Nigam, Rachit, et autres
Publié: (2024)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
par: Lin, Honglin, et autres
Publié: (2025)

Contextual MetaML: Syntax and Full Abstraction
par: Yin, Haoxuan, et autres
Publié: (2026)