Copertina

Automated Code Generation and Validation for Software Components of Microcontrollers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Haug, Sebastian, Böhm, Christoph, Mayer, Daniel
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Machine Learning 68N20 (primary), 68M07 (secondary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Memorisation and forgetting in a learning Hopfield neural network: bifurcation mechanisms, attractors and basins
di: Essex, Adam E., et al.
Pubblicazione: (2025)

Monte Carlo Tree Search for Execution-Guided Program Repair with Large Language Models
di: Liang, Yixuan
Pubblicazione: (2026)

Multipole Semantic Attention: A Fast Approximation of Softmax Attention for Pretraining
di: Mitchell, Rupert, et al.
Pubblicazione: (2025)

Model-agnostic Mitigation Strategies of Data Imbalance for Regression
di: Wibbeke, Jelke, et al.
Pubblicazione: (2025)

Machine learning for hydrodynamic stability
di: Silvester, David J.
Pubblicazione: (2024)

Retrieval-augmented code completion for local projects using large language models
di: Hostnik, Marko, et al.
Pubblicazione: (2024)

Contrastive Consolidation of Top-Down Modulations Achieves Sparsely Supervised Continual Learning
di: Tran, Viet Anh Khoa, et al.
Pubblicazione: (2025)

Differential Equations for Continuous-Time Deep Learning
di: Ruthotto, Lars
Pubblicazione: (2024)

A Judge Agent Closes the Reliability Gap in AI-Generated Scientific Simulation
di: Yang, Chengshuai
Pubblicazione: (2026)

Worst-Case Examples for the Computation of Persistent Homology
di: Çetin, Uzay, et al.
Pubblicazione: (2026)

Emotion estimation from video footage with LSTM
di: Attrah, Samer
Pubblicazione: (2025)

Dynamical Predictive Modelling of Cardiovascular Disease Progression Post-Myocardial Infarction via ECG-Trained Artificial Intelligence Model
di: Cavarra, Riccardo, et al.
Pubblicazione: (2026)

Securing the Dark Matter: A Semantic-Enhanced Neuro-Symbolic Framework for Supply Chain Analysis of Opaque Industrial Software
di: Ning, Bowei, et al.
Pubblicazione: (2026)

Quadratic Unconstrained Binary Optimisation for Training and Regularisation of Binary Neural Networks
di: Villumsen, Jonas Christoffer, et al.
Pubblicazione: (2026)

Comparative Analysis of Time Series Foundation Models for Demographic Forecasting: Enhancing Predictive Accuracy in US Population Dynamics
di: Akella, Aditya, et al.
Pubblicazione: (2025)

Membership problems in braid groups and Artin groups
di: Gray, Robert D., et al.
Pubblicazione: (2024)

Ensembles provably learn equivariance through data augmentation
di: Nordenfors, Oskar, et al.
Pubblicazione: (2024)

Directional Convergence, Benign Overfitting of Gradient Descent in leaky ReLU two-layer Neural Networks
di: Hashimoto, Ichiro
Pubblicazione: (2025)

CWM: An Open-Weights LLM for Research on Code Generation with World Models
di: FAIR CodeGen team, et al.
Pubblicazione: (2025)

Causal structure learning with momentum: Sampling distributions over Markov Equivalence Classes of DAGs
di: Schauer, Moritz, et al.
Pubblicazione: (2023)

Data-driven Neural Networks for Windkessel Parameter Calibration
di: Hoock, Benedikt, et al.
Pubblicazione: (2025)

SCARA: A Semantics-Constrained Autonomous Remediation Agent for Opaque Industrial Software Vulnerabilities
di: Ning, Bowei, et al.
Pubblicazione: (2026)

Greedy Matchings in Bipartite Graphs with Ordered Vertex Sets
di: Simon, Hans U.
Pubblicazione: (2024)

Robust Classification of Dynamic Bichromatic point Sets in R2
di: Glazenburg, Erwin, et al.
Pubblicazione: (2024)

WARP -- Web-Augmented Real-time Program Repairer: A Real-Time Compilation Error Resolution using LLMs and Web-Augmented Synthesis
di: Luiz, Anderson de Lima
Pubblicazione: (2025)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
di: Saberi, Iman, et al.
Pubblicazione: (2023)

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
di: Zeng, Zhengran, et al.
Pubblicazione: (2024)

Relative Free Splitting Complexes III: Stable Translation Lengths and Filling Paths
di: Handel, Michael, et al.
Pubblicazione: (2025)

Hyperbolic actions and 2nd bounded cohomology of subgroups of $\mathsf{Out}(F_n)$. Part II: Finite lamination subgroups
di: Handel, Michael, et al.
Pubblicazione: (2017)

Hyperbolic actions and 2nd bounded cohomology of subgroups of $\text{Out}(F_n)$. Part I: Infinite lamination subgroups
di: Handel, Michael, et al.
Pubblicazione: (2015)

Relative free splitting and free factor complexes I: Hyperbolicity
di: Handel, Michael, et al.
Pubblicazione: (2014)

Second bounded cohomology and WWPD
di: Handel, Michael, et al.
Pubblicazione: (2019)

Relative Free Splitting Complexes II: Stable Translation Lengths and the Two Over All Theorem
di: Handel, Michael, et al.
Pubblicazione: (2022)

Improved Randomized Approximation of Hard Universality and Emptiness Problems
di: Andreou, Pantelis, et al.
Pubblicazione: (2024)

A Generalization Bound for a Family of Implicit Networks
di: Fung, Samy Wu, et al.
Pubblicazione: (2024)

Preprocessing is All You Need: Boosting the Performance of Log Parsers With a General Preprocessing Framework
di: Qin, Qiaolin, et al.
Pubblicazione: (2024)

Issues with Measuring Task Complexity via Random Policies in Robotic Tasks
di: Nkhumise, Reabetswe M., et al.
Pubblicazione: (2026)

Illustrating Finite Automata with Grail+ and TikZ
di: May, Alastair, et al.
Pubblicazione: (2024)

QHackBench: Benchmarking Large Language Models for Quantum Code Generation Using PennyLane Hackathon Challenges
di: Basit, Abdul, et al.
Pubblicazione: (2025)

Evaluating the Application of SOLID Principles in Modern AI Framework Architectures
di: Shrestha, Jonesh
Pubblicazione: (2025)