Buchumschlag

ML-Based Automata Simplification for Symbolic Accelerators

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yu, Tiffany, Stahle-Smith, Rye, Eswaramoorthi, Darssan, Karakchi, Rasha
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Machine Learning-Based Graph Simplification for Symbolic Accelerators
von: Yu, Tiffany, et al.
Veröffentlicht: (2026)

Real-time ML-based Defense Against Malicious Payload in Reconfigurable Embedded Systems
von: Stahle-Smith, Rye, et al.
Veröffentlicht: (2025)

ML-Enhanced AES Anomaly Detection for Real-Time Embedded Security
von: Chinnasami, Nishant, et al.
Veröffentlicht: (2025)

Toward a Lightweight, Scalable, and Parallel Secure Encryption Engine
von: Karakchi, Rasha, et al.
Veröffentlicht: (2025)

Hardware-Accelerated Line-Rate Bitstream Screening for Secure FPGA Reconfiguration
von: Stahle-Smith, Rye, et al.
Veröffentlicht: (2026)

AI-Driven Optimization of Hardware Overlay Configurations
von: Karakchi, Rasha
Veröffentlicht: (2025)

A Scored Non-Deterministic Finite Automata Processor for Sequence Alignment
von: Karakchi, Ryan Karbowniczak Rasha
Veröffentlicht: (2024)

Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression
von: Saegert, Paul, et al.
Veröffentlicht: (2026)

Inexact Simplification of Symbolic Regression Expressions with Locality-sensitive Hashing
von: Aldeia, Guilherme Seidyo Imai, et al.
Veröffentlicht: (2024)

Hybrid Cryptographic Monitoring System for Side-Channel Attack Detection on PYNQ SoCs
von: Chinnasami, Nishant, et al.
Veröffentlicht: (2025)

Optimizing Sequence Alignment with Scored NFAs
von: Karbowniczak, Ryan, et al.
Veröffentlicht: (2025)

Developing a Self-Explanatory Transformer
von: Karakchi, Rasha, et al.
Veröffentlicht: (2024)

Symbolic Feedforward Networks for Probabilistic Finite Automata: Exact Simulation and Learnability
von: Dhayalkar, Sahil Rajesh
Veröffentlicht: (2025)

CAX: Cellular Automata Accelerated in JAX
von: Faldor, Maxence, et al.
Veröffentlicht: (2024)

Active Learning of Symbolic Automata Over Rational Numbers
von: Hagedorn, Sebastian, et al.
Veröffentlicht: (2025)

Error-awareness Accelerates Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

Accelerating RF Power Amplifier Design via Intelligent Sampling and ML-Based Parameter Tuning
von: Sriram, Abhishek, et al.
Veröffentlicht: (2025)

Accelerating TinyML Inference on Microcontrollers through Approximate Kernels
von: Armeniakos, Giorgos, et al.
Veröffentlicht: (2024)

Algorithmic Simplification of Neural Networks with Mosaic-of-Motifs
von: Bakhtiarifard, Pedram, et al.
Veröffentlicht: (2026)

GEqO: ML-Accelerated Semantic Equivalence Detection
von: Haynes, Brandon, et al.
Veröffentlicht: (2024)

On the Simplification of Neural Network Architectures for Predictive Process Monitoring
von: Ansari, Amaan, et al.
Veröffentlicht: (2025)

Log Optimization Simplification Method for Predicting Remaining Time
von: Ye, Jianhong, et al.
Veröffentlicht: (2025)

Accelerating Sparse Ternary GEMM for Quantized ML on Apple Silicon
von: Lipshitz, Baraq, et al.
Veröffentlicht: (2025)

Biathlon: Harnessing Model Resilience for Accelerating ML Inference Pipelines
von: Chang, Chaokun, et al.
Veröffentlicht: (2024)

Accelerating IoV Intrusion Detection: Benchmarking GPU-Accelerated vs CPU-Based ML Libraries
von: Çolhak, Furkan, et al.
Veröffentlicht: (2025)

Downgrade to Upgrade: Optimizer Simplification Enhances Robustness in LLM Unlearning
von: Lang, Yicheng, et al.
Veröffentlicht: (2025)

Diffusion-Based Symbolic Regression
von: Bastiani, Zachary, et al.
Veröffentlicht: (2025)

Dynamics-Informed Reservoir Computing with Visibility Graphs
von: Geier, Charlotte, et al.
Veröffentlicht: (2025)

Deep Symbolic Optimization for Combinatorial Optimization: Accelerating Node Selection by Discovering Potential Heuristics
von: Liu, Hongyu, et al.
Veröffentlicht: (2024)

LLM-ML Teaming: Integrated Symbolic Decoding and Gradient Search for Valid and Stable Generative Feature Transformation
von: Wang, Xinyuan, et al.
Veröffentlicht: (2025)

Evaluating Simplification Algorithms for Interpretability of Time Series Classification
von: Håvardstun, Brigt, et al.
Veröffentlicht: (2025)

SMT-Based Active Learning of Weighted Automata
von: Ferreira, Tiago, et al.
Veröffentlicht: (2026)

Toward Robust and Efficient ML-Based GPU Caching for Modern Inference
von: Chen, Peng, et al.
Veröffentlicht: (2025)

Obsidian: Cooperative State-Space Exploration for Performant Inference on Secure ML Accelerators
von: Banerjee, Sarbartha, et al.
Veröffentlicht: (2024)

Benchmarking Automated Clinical Language Simplification: Dataset, Algorithm, and Evaluation
von: Luo, Junyu, et al.
Veröffentlicht: (2020)

Automata Learning from Preference and Equivalence Queries
von: Hsiung, Eric, et al.
Veröffentlicht: (2023)

Accelerating Radiative Transfer for Planetary Atmospheres by Orders of Magnitude with a Transformer-Based Machine Learning Model
von: Malsky, Isaac, et al.
Veröffentlicht: (2025)

What Makes An Expert? Reviewing How ML Researchers Define "Expert"
von: Díaz, Mark, et al.
Veröffentlicht: (2024)

A Surrogate-Augmented Symbolic CFD-Driven Training Framework for Accelerating Multi-objective Physical Model Development
von: Fang, Yuan, et al.
Veröffentlicht: (2025)

Local MDI+: Local Feature Importances for Tree-Based Models
von: Liang, Zhongyuan, et al.
Veröffentlicht: (2025)