Image de couverture de livre

Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Vatai, Emil, Drozd, Aleksandr, Ivanov, Ivan R., Batista, Joao E., Ren, Yinghao, Wahib, Mohamed
Format:	Preprint
Publié:	2024
Sujets:	Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SAFE: Improving LLM Systems using Sentence-Level In-generation Attribution
par: Batista, João Eduardo, et autres
Publié: (2025)

Correctness-Guaranteed Code Generation via Constrained Decoding
par: Li, Lingxiao, et autres
Publié: (2025)

Looking for (Genomic) Needles in a Haystack: Sparsity-Driven Search for Identifying Correlated Genetic Mutations in Cancer
par: Prabhu, Ritvik, et autres
Publié: (2026)

Weakly Supervised Learners for Correction of AI Errors with Provable Performance Guarantees
par: Tyukin, Ivan Y., et autres
Publié: (2024)

Can Coding Agents Be General Agents?
par: Ivanov, Maksim, et autres
Publié: (2026)

Conformal Prediction for Indoor Positioning with Correctness Coverage Guarantees
par: Zhou, Zhiyi, et autres
Publié: (2025)

Shuffling Heuristic in Variational Inequalities: Establishing New Convergence Guarantees
par: Medyakov, Daniil, et autres
Publié: (2025)

Distributional Sensitivity Analysis: Enabling Differentiability in Sample-Based Inference
par: Chuang, Pi-Yueh, et autres
Publié: (2025)

CodeRefine: A Pipeline for Enhancing LLM-Generated Code Implementations of Research Papers
par: Trofimova, Ekaterina, et autres
Publié: (2024)

Embedding Domain-Specific Knowledge from LLMs into the Feature Engineering Pipeline
par: Batista, João Eduardo
Publié: (2025)

GLLM: Self-Corrective G-Code Generation using Large Language Models with User Feedback
par: Abdelaal, Mohamed, et autres
Publié: (2025)

Enhancing AI-Based ECG Delineation with Deep Learning Denoising Techniques
par: Breeding-Allison, Jeff, et autres
Publié: (2026)

NNTile: a machine learning framework capable of training extremely large GPT language models on a single node
par: Mikhalev, Aleksandr, et autres
Publié: (2025)

Wasserstein Convergence Guarantees for a General Class of Score-Based Generative Models
par: Gao, Xuefeng, et autres
Publié: (2023)

Run LoRA Run: Faster and Lighter LoRA Implementations
par: Cherniuk, Daria, et autres
Publié: (2023)

Distributed Cross-Channel Hierarchical Aggregation for Foundation Models
par: Tsaris, Aristeidis, et autres
Publié: (2025)

Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
par: Yang, Zhenning, et autres
Publié: (2025)

Automating Computational Design with Generative AI
par: Ploennigs, Joern, et autres
Publié: (2023)

Generalization Error Guaranteed Auto-Encoder-Based Nonlinear Model Reduction for Operator Learning
par: Liu, Hao, et autres
Publié: (2024)

Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines
par: Trofimova, Ekaterina, et autres
Publié: (2024)

NRGBoost: Energy-Based Generative Boosted Trees
par: Bravo, João
Publié: (2024)

Generalized Guarantees for Variational Inference in the Presence of Even and Elliptical Symmetry
par: Margossian, Charles C., et autres
Publié: (2025)

Counterfactual Generation with Identifiability Guarantees
par: Yan, Hanqi, et autres
Publié: (2024)

Bayesian Optimization and Convolutional Neural Networks for Zernike-Based Wavefront Correction in High Harmonic Generation
par: Fernandes, Guilherme Grancho D., et autres
Publié: (2025)

DeCoR: Defy Knowledge Forgetting by Predicting Earlier Audio Codes
par: Jiang, Xilin, et autres
Publié: (2023)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
par: Hadad, Itamar, et autres
Publié: (2026)

An Overview of the JPEG AI Learning-Based Image Coding Standard
par: Esenlik, Semih, et autres
Publié: (2025)

Discrete Flow Matching: Convergence Guarantees Under Minimal Assumptions
par: Pham, Le-Tuyet-Nhi, et autres
Publié: (2026)

Generalising Travel Time Prediction To Varying Route Choices In Urban Networks
par: Gorczyca, Łukasz, et autres
Publié: (2026)

Ensuring Functional Correctness of Large Code Models with Selective Generation
par: Jeong, Jaewoo, et autres
Publié: (2025)

Agentic AI for Intent-Based Industrial Automation
par: Romero, Marcos Lima, et autres
Publié: (2025)

Improved Stability and Generalization Guarantees of the Decentralized SGD Algorithm
par: Bars, Batiste Le, et autres
Publié: (2023)

Transformation-Invariant Learning and Theoretical Guarantees for OOD Generalization
par: Montasser, Omar, et autres
Publié: (2024)

LUNA: Linear Universal Neural Attention with Generalization Guarantees
par: Shahbazi, Ashkan, et autres
Publié: (2025)

Score Based Error Correcting Code Decoder
par: Helvits, Alon, et autres
Publié: (2026)

Automated Neuron Labelling Enables Generative Steering and Interpretability in Protein Language Models
par: Banerjee, Arjun, et autres
Publié: (2025)

Conformal Alignment: Knowing When to Trust Foundation Models with Guarantees
par: Gui, Yu, et autres
Publié: (2024)

MAGE: A Multi-Agent Engine for Automated RTL Code Generation
par: Zhao, Yujie, et autres
Publié: (2024)

Synthetic Data Generation and Automated Multidimensional Data Labeling for AI/ML in General and Circular Coordinates
par: Williams, Alice, et autres
Publié: (2024)

Automating Forecasting Question Generation and Resolution for AI Evaluation
par: Bosse, Nikos I., et autres
Publié: (2026)