# Πώς μπορεί η ΤΝ να επεξεργάζεται κώδικα χωρίς να αναπαράγει ολόκληρο το πρόγραμμα;

Canonical HTML: https://aogavrilov.com/el/projects/discrete-latent-generation/

Document language: el

Πρακτικός ερευνητικός οδηγός για την τοπική τροποποίηση κώδικα με παραγωγικά μοντέλα: τι πρέπει να παραμένει σταθερό, τι επιτρέπεται να αλλάζει και ποια τεκμήρια απαιτούνται προτού ένας μετασχηματισμός χαρακτηριστεί ως διατηρών τη δομή.

Δημοσιευμένο 25 Ιουλίου 2026 Ενημερώθηκε 30 Ιουλίου 2026 [Alexey Gavrilov](https://aogavrilov.com/about/)

## Ποιο είναι το πραγματικό πρόβλημα

Η επεξεργασία κώδικα δεν είναι απλώς παραγωγή κώδικα με συντομότερη προτροπή. Ένα σύστημα επεξεργασίας λαμβάνει ένα υπάρχον τεχνούργημα, μια επιδιωκόμενη αλλαγή και ένα άρρητο συμβόλαιο διατήρησης. Επομένως, το κεντρικό ερώτημα έχει δύο σκέλη: **ποια περιοχή επιτρέπεται να αλλάξει και ποιες ιδιότητες του υπολοίπου πρέπει να παραμείνουν σταθερές;**

Ο οδηγός απευθύνεται σε αναγνώστες με τεχνική κατάρτιση που εισέρχονται στην υποβοηθούμενη από ΤΝ επεξεργασία λογισμικού. Διαχωρίζει τη διαισθητική έννοια της τοπικής επεξεργασίας από τους ισχυρότερους ισχυρισμούς περί συντακτικής, δομικής, σημασιολογικής και λειτουργικής διατήρησης.

## Κεντρική ιδέα

Ένας επεξεργαστής οριοθετημένων αλλαγών χρειάζεται ρητό όριο διατήρησης και όχι μόνο έναν στόχο παραγωγής.

### Τι πρέπει να παραμείνει σταθερό

Μπορεί να πρόκειται για τμήμα κειμένου, γραμματική, υπογραφή API, περιοχή AST, συμπεριφορά δοκιμής, σύμβαση εξάρτησης ή εκπαιδευμένη αδρή αναπαράσταση. Κάθε επιλογή προστατεύει διαφορετική έννοια σταθερότητας.

### Τι επιτρέπεται να αλλάξει

Η επεξεργάσιμη περιοχή χρειάζεται επαρκή ελευθερία για την επίλυση της ζητούμενης εργασίας. Μια μέθοδος ελέγχου που αντιγράφει τα πάντα είναι σταθερή αλλά άχρηστη· μια μέθοδος που επανεγγράφει τα πάντα προσφέρει ελευθερία χωρίς τοπικότητα.

## Ένα διαισθητικό πρότυπο: ανακαινίστε ένα δωμάτιο, διατηρήστε το κτίριο

Φανταστείτε την ανακαίνιση ενός δωματίου με άθικτα τον φέροντα οργανισμό, τις συνδέσεις των υδραυλικών εγκαταστάσεων και τα γειτονικά δωμάτια. Η πλήρης αναπαραγωγή μοιάζει με την ανοικοδόμηση του σπιτιού βάσει μιας προφορικής περιγραφής. Αντίθετα, η εντοπισμένη επεξεργασία επισημαίνει την προστατευόμενη δομή, οριοθετεί μια περιοχή εργασίας, εκτελεί την αλλαγή και επιθεωρεί το αποτέλεσμα πριν από την αποδοχή του.

**Πού παύει να ισχύει η αναλογία.** Ένας μαθημένος λανθάνων κώδικας δεν αποτελεί πιστοποιημένο αρχιτεκτονικό σχέδιο. Η καθήλωση ενός αδρού κώδικα μπορεί να αυξήσει τη μετρούμενη δομική σταθερότητα, αλλά δεν εγγυάται ότι ένας συγκεκριμένος κόμβος AST, μια συμπεριφορά ή μια διεπαφή παραμένει αμετάβλητη.

## Μια ακριβέστερη θεώρηση της μερικής αναπαραγωγής

Έστω ότι ένας κωδικοποιητής απεικονίζει ένα πρόγραμμα `x` σε μια δομημένη λανθάνουσα αναπαράσταση `z` . Μια μάσκα διατήρησης επιλέγει θέσεις `L` που θα παραμείνουν σταθερές. Η γεννήτρια δειγματοληπτεί μόνο τις συμπληρωματικές θέσεις, επιβάλλοντας παράλληλα `z'l = zl` για κάθε κλειδωμένη θέση. Στη συνέχεια, ένας αποκωδικοποιητής αντιστοιχίζει την ολοκληρωμένη αναπαράσταση `z'` πίσω στον πηγαίο κώδικα.

Ο μηχανισμός αυτός δημιουργεί μια επιθεωρήσιμη επιφάνεια ελέγχου πάνω από τις λεκτικές μονάδες. Η σημασία της πρέπει ακόμη να τεκμηριωθεί εμπειρικά: οι ερευνητές οφείλουν να εξετάσουν τι διατηρούν οι κλειδωμένες θέσεις μετά την αποκωδικοποίηση και αν οι επεξεργάσιμες θέσεις διατηρούν επαρκή ελευθερία.

## Ροή εργασίας επεξεργασίας τεσσάρων σταδίων

1. Καθορίστε το όριο Προσδιορίστε τις προστατευόμενες περιοχές ή ιδιότητες και ορίστε την επιδιωκόμενη αλλαγή.
2. Αναπαράσταση του τεχνουργήματος Χρησιμοποιήστε κείμενο, σύνταξη, ανακτημένο συγκείμενο ή εκπαιδευμένους αδρούς και λεπτομερείς κώδικες.
3. Επιλεκτική αναπαραγωγή Πραγματοποιήστε δειγματοληψία μόνο στις επεξεργάσιμες θέσεις, διατηρώντας τους επιλεγμένους περιορισμούς.
4. Επαληθεύστε πριν από την αποδοχή Μετρήστε την τοπικότητα, τη σύνταξη, τη δομή, τη συμπεριφορά και τις ακούσιες παρενέργειες.

## Η επεξεργασία κώδικα, η επιδιόρθωση προγραμμάτων και η παραγωγή υπό περιορισμούς δεν αποτελούν το ίδιο έργο

| Προσέγγιση | Κύριος στόχος | Τυπικός μηχανισμός διατήρησης | Τι απομένει να επαληθευτεί |
| --- | --- | --- | --- |
| Πλήρης παραγωγή κώδικα | Παραγωγή ολοκληρωμένου τεχνουργήματος | Προτροπή και συμφραζόμενα | Οτιδήποτε βρίσκεται εκτός της ζητούμενης αλλαγής |
| Αυτοματοποιημένη επιδιόρθωση προγραμμάτων | Αφαίρεση διαγνωσμένου σφάλματος | Εντοπισμός σφαλμάτων, δοκιμές, πρότυπα ή διορθώσεις | Ορθότητα πέραν των διαθέσιμων δοκιμών και ελαχιστότητα της ενημέρωσης κώδικα |
| Μοντέλα συμπλήρωσης ή επεξεργασίας | Τροποποίηση επιλεγμένων περιοχών κειμένου | Ορατό πρόθεμα, επίθημα, διαφορά ή συγκείμενο επεξεργασίας | Ακούσιες δομικές και συμπεριφορικές αλλαγές |
| Αποκωδικοποίηση υπό γραμματικούς περιορισμούς | Διατηρήστε τις εξόδους εντός μιας τυπικής γλώσσας | Καταστάσεις αποκωδικοποίησης έγκυρες κατά τη γραμματική | Σημασιολογία προγράμματος, ορθότητα εργασίας και τοπικότητα |
| Ιεραρχικός έλεγχος στον λανθάνοντα χώρο | Αναπαραγωγή επιλεγμένων μαθημένων θέσεων | Κλειδωμένοι αδρομερείς ή λεπτομερείς λανθάνοντες κώδικες | Τι διατηρούν αυτοί οι κώδικες μετά την αποκωδικοποίηση |

## Πώς μετρώνται η τοπικότητα και η διατήρηση δομής

## Ποια επιφάνεια ελέγχου ταιριάζει στην εργασία επεξεργασίας;

Το «μην επανεγγράψεις ολόκληρη τη συνάρτηση» αποτελεί απαίτηση, όχι ολοκληρωμένη μέθοδο. Ξεκινήστε από το αποτέλεσμα που πρέπει να είναι προβλέψιμο και κατόπιν επιλέξτε μια επιφάνεια ελέγχου και τα αντίστοιχα τεκμήρια.

| Απαιτούμενη εγγύηση | Καταλληλότερα αντιστοιχισμένη επιφάνεια ελέγχου | Απαιτούμενη τεκμηρίωση |
| --- | --- | --- |
| Αναδόμηση υποβοηθούμενη από ΤΝ με διατήρηση της συμπεριφοράς | Αφήστε ένα LLM να εντοπίσει ή να προτείνει έναν μετασχηματισμό και, όπου είναι εφικτό, εκτελέστε τον με μια αξιόπιστη μηχανή αναδόμησης. Βλ. [RefactoringMirror](https://arxiv.org/abs/2411.04444) . | Μεταγλώττιση, δοκιμές, στατικοί έλεγχοι και ανίχνευση αναδόμησης. [SWE-Refactor](https://arxiv.org/abs/2602.03712) καθιστά αυτούς τους ελέγχους ρητούς σε επίπεδο αποθετηρίου. |
| Εντοπισμένη τροποποίηση κώδικα χωρίς επανεγγραφή ολόκληρης της συνάρτησης | Επαναχρησιμοποιήστε αμετάβλητα τμήματα του πηγαίου κώδικα και παράγετε μόνο τις υποψήφιες περιοχές επεξεργασίας, όπως στο [EfficientEdit](https://arxiv.org/abs/2506.02780) . | Diff εκτός περιοχής, επιτυχία της εργασίας, επαναχρησιμοποίηση αποδεκτών λεκτικών μονάδων και έλεγχος του κατά πόσον το παραλειπόμενο συγκείμενο οδηγεί σε μη εντοπισμένες μεταβολές μεταξύ αρχείων. |
| Παραγωγή κώδικα υπό περιορισμούς για τη μηχανική λογισμικού | Επιβάλετε μια τυπική ιδιότητα κατά την αποκωδικοποίηση, όπως στο [διάχυση υπό γραμματικούς περιορισμούς](https://arxiv.org/abs/2508.10111) , ή να δημιουργούν σημεία ελέγχου για έγκυρα προθέματα και να επανέρχονται μόνο στην υπεύθυνη περιοχή, όπως στο [Hydra](https://arxiv.org/abs/2605.15238) . | Επιτυχία ως προς τη γραμματική, τον μεταγλωττιστή ή τον ελεγκτή τύπων, σε συνδυασμό με λειτουργικές δοκιμές, τοπικότητα, χρόνο καθυστέρησης επιδιόρθωσης και ποσότητα έγκυρου κώδικα που αναπαράχθηκε. |
| Επιλεκτική αναπαραγωγή συναρτήσεων Python με ισορροπία τοπικότητας–ποικιλομορφίας | Κλειδώστε επιλεγμένες αδρομερείς ή λεπτομερείς λανθάνουσες θέσεις και πραγματοποιήστε δειγματοληψία μόνο για τις υπόλοιπες. | Τοπικότητα αποκωδικοποιημένου αποτελέσματος, σύνταξη, δομικές αναλλοίωτες ιδιότητες, ελευθερία επεξεργασίας, ποικιλία και αβεβαιότητα. Το κλείδωμα λανθανουσών αναπαραστάσεων από μόνο του δεν εγγυάται την αναδόμηση. |
| Προβλέψιμη παραγωγή κώδικα βάσει ρητής σύμβασης διατήρησης | Ορίστε παρατηρήσιμες προστατευόμενες ιδιότητες και ελέγχους επιτυχίας/αποτυχίας πριν από την παραγωγή και κατόπιν επιλέξτε τον στενότερο μηχανισμό που μπορεί να τις επιβάλει ή να τις καταστήσει ελέγξιμες. | Μετρήστε ακριβώς αυτές τις ιδιότητες μετά την αποκωδικοποίηση και αναφέρετε τα ποσοστά αποδοχής, απόρριψης και αστοχίας σε επαναλαμβανόμενες εκτελέσεις. Η ντετερμινιστική δειγματοληψία από μόνη της δεν εγγυάται τη διατήρηση. |

## Ερευνητικά ερωτήματα που απαντά αυτός ο οδηγός

Οι συνοπτικές αυτές απαντήσεις ορίζουν τα όρια των ισχυρισμών και των τεκμηρίων που εφαρμόζονται σε ολόκληρο τον οδηγό.

1. Πώς μπορεί ένα παραγωγικό μοντέλο να τροποποιεί κώδικα χωρίς να επανεγγράφει ολόκληρη τη συνάρτηση; Ορίστε το όριο διατήρησης και επεξεργασίας πριν από την παραγωγή, διατηρήστε ή επαναχρησιμοποιήστε τον πηγαίο κώδικα έξω από αυτό, παράγετε μόνο υποψήφιες αλλαγές και απορρίψτε εξόδους που αποτυγχάνουν στο έργο ή μεταβάλλουν προστατευόμενες περιοχές. Το ιεραρχικό κλείδωμα λανθανουσών αναπαραστάσεων αποτελεί μία πειραματική επιφάνεια ελέγχου, αλλά δεν εγγυάται πανομοιότυπα εύρη πηγαίου κώδικα. [Συγκρίνετε επιφάνειες ελέγχου τοπικής επεξεργασίας](https://aogavrilov.com/el/projects/discrete-latent-generation/#control-surface) .
2. Ποια τεκμήρια δείχνουν ότι μια επεξεργασία κώδικα είναι τοπική και όχι απλώς συντακτικά έγκυρη; Μετρήστε το diff εκτός της ζητούμενης περιοχής σε συνδυασμό με την επιτυχία της εργασίας, τη μεταβολή στην επεξεργάσιμη περιοχή, τις δομικές αναλλοίωτες ιδιότητες, τις δοκιμές ή τους στατικούς ελέγχους και τη μεταβλητότητα μεταξύ επαναλαμβανόμενων εκτελέσεων. Το ποσοστό επιτυχούς συντακτικής ανάλυσης τεκμηριώνει από μόνο του μόνον τη συντακτική ορθότητα. [Εξετάστε τον κατάλογο ελέγχου τεκμηρίων τοπικότητας](https://aogavrilov.com/el/projects/discrete-latent-generation/#measurement) .
3. Πώς πρέπει να εξισορροπείται η τοπικότητα της επεξεργασίας κώδικα με την ποικιλομορφία της παραγωγής; Αναφέρετε τη σταθερότητα της προστατευόμενης περιοχής μαζί με την ελευθερία στην επεξεργάσιμη περιοχή και τη μοναδικότητα των υποψήφιων λύσεων. Η αντιγραφή της εισόδου μπορεί να μεγιστοποιεί τη σταθερότητα χωρίς καμία πρόοδο στην εργασία, ενώ η απεριόριστη επανεγγραφή μπορεί να μεγιστοποιεί την αλλαγή καταστρέφοντας την τοπικότητα. [Δείτε τα οριοθετημένα τεκμήρια για τη σταθερότητα και την ελευθερία](https://aogavrilov.com/el/projects/discrete-latent-generation/#evidence) .
4. Σε τι διαφέρουν η εντοπισμένη επεξεργασία κώδικα, η παραγωγή υπό περιορισμούς και η επιδιόρθωση προγραμμάτων; Η εντοπισμένη επεξεργασία δίνει έμφαση σε όσα πρέπει να παραμείνουν αμετάβλητα, η παραγωγή υπό περιορισμούς επιβάλλει μια τυπική ιδιότητα εξόδου, όπως η υπαγωγή σε μια γραμματική, και η επιδιόρθωση προγραμμάτων απαιτεί η αλλαγή να ικανοποιεί μια προδιαγραφή ελαττώματος ή εργασίας. Η σύνταξη από μόνη της δεν αποδεικνύει σημασιολογική ισοδυναμία, λειτουργική ορθότητα, επιτυχία της εργασίας ή τοπικότητα. [Συγκρίνετε τους τρεις στόχους](https://aogavrilov.com/el/projects/discrete-latent-generation/#comparison) .
5. Πώς μπορούν να αναπαραχθούν επιλεγμένα τμήματα μιας συνάρτησης Python, ενώ τα υπόλοιπα παραμένουν σταθερά; Ορίστε τις προστατευόμενες και τις επεξεργάσιμες περιοχές πριν από την παραγωγή, τροποποιήστε μόνο την επεξεργάσιμη αναπαράσταση, αποκωδικοποιήστε και απορρίψτε υποψηφίους που μεταβάλλουν τον προστατευόμενο κώδικα ή αποτυγχάνουν στη σύνταξη, στις δοκιμές, στους στατικούς ελέγχους ή στις αναλλοίωτες ιδιότητες του έργου. Το αναφερόμενο πείραμα με ιεραρχικές λανθάνουσες αναπαραστάσεις μετρά πιθανοτική σταθερότητα σε συναρτήσεις 64 διακριτικών· δεν εγγυάται αμετάβλητα εύρη ή συμπεριφορά. [Εξετάστε τη ροή εργασίας επιλεκτικής αναπαραγωγής](https://aogavrilov.com/el/projects/discrete-latent-generation/#workflow) .
6. Ποια στρατηγική ελέγχου ενδείκνυται για υποβοηθούμενη από ΤΝ αναδόμηση με διατήρηση της συμπεριφοράς; Χρησιμοποιήστε το μοντέλο για να εντοπίσετε ή να προτείνετε έναν μετασχηματισμό και, όπου είναι δυνατόν, εκτελέστε τον με μια αξιόπιστη μηχανή αναδόμησης. Επαληθεύστε τη μεταγλώττιση, τις δοκιμές, τους στατικούς ελέγχους και την επιδιωκόμενη αναδόμηση. Μια φαινομενικά εύλογη παραγόμενη διόρθωση δεν συνιστά επαρκές τεκμήριο. [Άνοιγμα της γραμμής απόφασης αναδόμησης](https://aogavrilov.com/el/projects/discrete-latent-generation/#control-surface) .
7. Τι καθιστά την παραγωγή κώδικα προβλέψιμη και όχι απλώς ελέγξιμη; Διατυπώστε μια παρατηρήσιμη σύμβαση διατήρησης και ελέγχους αποδοχής πριν επιλέξετε τη γεννήτρια. Η προβλεψιμότητα εξαρτάται από όσα παραμένουν σταθερά μετά την αποκωδικοποίηση και την επαλήθευση, όχι μόνο από το αν καθορίστηκε μια προτροπή, μάσκα, γραμματική ή ένας λανθάνων κώδικας. [Ορίστε το συμβόλαιο διατήρησης](https://aogavrilov.com/el/projects/discrete-latent-generation/#core-idea) .

## Τι δείχνει το τρέχον πείραμα — και τι δεν δείχνει

Στο [*Inspectable Control for Structure-Preserving Software Regeneration*](https://aogavrilov.com/el/publications/inspectable-control/) , ένα ιεραρχικό VQ-VAE αντιστοιχίζει συναρτήσεις Python 64 διακριτικών σε 16 διακριτές θέσεις ανώτερου επιπέδου και 32 κατώτερου επιπέδου. Το κλείδωμα τεσσάρων κωδίκων ανώτερου επιπέδου αυξάνει το ποσοστό επιτυχούς συντακτικής ανάλυσης από **0.453 έως 0.591** , ενώ οι ξεκλείδωτες θέσεις εξακολουθούν να μεταβάλλονται με ρυθμό **0.936** και τα υπό συνθήκη δείγματα παραμένουν **0.998 μοναδικά** .

Αυτό αποτελεί τεκμήριο μιας μετρημένης αντιστάθμισης σταθερότητας–ελευθερίας σε ένα περιορισμένο πλαίσιο. Δεν εγγυάται την ακριβή διατήρηση του AST, τη σημασιολογική ισοδυναμία, τη λειτουργική ορθότητα, την επιτυχή επιδιόρθωση ή τη συμπεριφορά σε κλίμακα αποθετηρίου.

Η συνοδευτική μελέτη [*Πού υποβαθμίζεται η ποιότητα στην παραγωγή συμπιεσμένου σύντομου κειμένου*](https://aogavrilov.com/el/publications/where-quality-breaks/) προσθέτει ένα σημαντικό δίδαγμα αξιολόγησης: οι βελτιωμένοι υποκατάστατοι δείκτες στον λανθάνοντα χώρο δεν βελτιώνουν κατ’ ανάγκην τις αποκωδικοποιημένες εξόδους. Η αναπαράσταση, η παραγωγή και η αποκωδικοποιημένη συμπεριφορά πρέπει να ελέγχονται ως χωριστά στάδια.

Για μια επαναχρησιμοποιήσιμη διαδικασία λήψης αποφάσεων, ανατρέξτε στον συνοδευτικό οδηγό για [διαχωρισμός της απώλειας του κωδικοποιητή από την απώλεια της γεννήτριας](https://aogavrilov.com/el/projects/codec-bottleneck-diagnosis/) .

## Συνήθεις παρανοήσεις

### «Αναλύεται συντακτικά, άρα είναι ορθό.»

Η συντακτική ανάλυση αποδεικνύει μόνο τη συντακτική ορθότητα. Το πρόγραμμα ενδέχεται παρ' όλα αυτά να παραβιάζει δοκιμές, συμβάσεις ή την επιδιωκόμενη λειτουργία.

### «Ένας αδρός κώδικας είναι κόμβος AST.»

Όχι, εκτός αν έχει καταδειχθεί ρητή ευθυγράμμιση. Οι κώδικες που έχουν μαθευτεί ενδέχεται να συνδυάζουν πολλούς επιφανειακούς και δομικούς παράγοντες.

### «Κλειδωμένες λανθάνουσες μεταβλητές σημαίνουν αμετάβλητο πηγαίο κείμενο.»

Η αποκωδικοποίηση είναι καθολική και εκμαθημένη. Οι σταθερές λανθάνουσες θέσεις μπορούν να αυξήσουν τη σταθερότητα χωρίς να εγγυώνται πανομοιότυπο εύρος κειμένου.

### «Η μικρότερη αλλαγή είναι πάντοτε προτιμότερη.»

Ένας επεξεργαστής που αντιγράφει την είσοδο επιτυγχάνει τέλεια σταθερότητα και μηδενική πρόοδο στην εργασία. Η τοπικότητα και η επιτυχία της τροποποίησης πρέπει να μετρώνται από κοινού.

## Τι να διαβάσετε στη συνέχεια

Συναφείς εργασίες χρησιμοποιούν διαφορετικές διεπαφές ελέγχου· καμία δεν πρέπει να θεωρείται εναλλάξιμη γραμμή βάσης χωρίς ευθυγράμμιση με την εκάστοτε εργασία.

1. [Self-Edit: Fault-Aware Code Editor for Code Generation](https://arxiv.org/abs/2305.04087) Αντιμετωπίζει την παραγωγή ως επεξεργάσιμη διαδικασία και αξιοποιεί τα εντοπισμένα σφάλματα για να καθοδηγήσει τη διόρθωση.
2. [Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing](https://arxiv.org/abs/2305.18584) Μοντελοποιεί τις μεταβολές του κώδικα εντός του συμφραζομένου τους σε διαδοχικούς γύρους επεξεργασίας, αντί να αναπαράγει τον κώδικα εξαρχής.
3. [PAFT: Preservation Aware Fine-Tuning for Minimal-Edit Program Repair](https://arxiv.org/abs/2604.03113) Καθιστά ρητές τη διατήρηση και την ελάχιστη αλλαγή κατά την εκπαίδευση για επιδιόρθωση προγραμμάτων.
4. [Constrained Decoding of Diffusion LLMs with Context-Free Grammars](https://arxiv.org/abs/2508.10111) Δείχνει πώς οι τυπικοί περιορισμοί μπορούν να παρέχουν εγγυήσεις συντακτικής εγκυρότητας κατά την αποκωδικοποίηση διάχυσης.
5. [Neural Discrete Representation Learning](https://arxiv.org/abs/1711.00937) Παρουσιάζει το VQ-VAE, τον θεμελιώδη μηχανισμό για εκπαιδευμένες διακριτές λανθάνουσες αναπαραστάσεις.
6. [Simple and Effective Masked Diffusion Language Models](https://arxiv.org/abs/2406.07524) Παρουσιάζει το πλαίσιο διακριτής διάχυσης με μάσκες που χρησιμοποιείται ως λανθάνουσα γεννήτρια στη συνοδευτική διαγνωστική μελέτη.
7. [Εμπειρική μελέτη των δυνατοτήτων των LLM στην αυτοματοποιημένη αναδόμηση λογισμικού](https://arxiv.org/abs/2411.04444) Εντοπίζει μη ασφαλείς αναδομήσεις που προτείνονται από LLM και αξιολογεί την εκ νέου εφαρμογή των ανιχνευμένων μετασχηματισμών μέσω αξιόπιστων μηχανών αναδόμησης.
8. [SWE-Refactor: A Repository-Level Benchmark for Real-World LLM-Based Code Refactoring](https://arxiv.org/abs/2602.03712) Αξιολογεί αναδόμηση σε επίπεδο αποθετηρίου που διατηρεί τη συμπεριφορά, με μεταγλώττιση, δοκιμές και ανίχνευση αναδόμησης.
9. [EfficientEdit: Επιτάχυνση της επεξεργασίας κώδικα μέσω κερδοσκοπικής αποκωδικοποίησης προσανατολισμένης στην επεξεργασία](https://arxiv.org/abs/2506.02780) Επαναχρησιμοποιεί αμετάβλητα τμήματα του πηγαίου κώδικα και προβλέπει τις θέσεις επεξεργασίας, αντί να αντιμετωπίζει μια τροποποίηση ως πλήρη αυτοπαλίνδρομη αναπαραγωγή.
10. [Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support](https://arxiv.org/abs/2605.15238) Χρησιμοποιεί στατικό έλεγχο, σημεία ελέγχου και στοχευμένη επαναφορά, ώστε να αποφεύγεται η εκ νέου παραγωγή ήδη έγκυρων προθεμάτων μετά από ένα σφάλμα.

## Σύντομη ανακεφαλαίωση

Η εντοπισμένη αναπαραγωγή κώδικα αποτελεί σύμβαση μεταξύ **αλλαγή** και **διατήρηση** . Οι ιεραρχικές διακριτές λανθάνουσες αναπαραστάσεις παρέχουν έναν επιθεωρήσιμο τρόπο έκφρασης αυτού του συμβολαίου, όμως η αναπαράσταση είναι χρήσιμη μόνο όταν τα αποκωδικοποιημένα προγράμματα αξιολογούνται ως προς την τοπικότητα, τη σύνταξη, τη δομή, τη συμπεριφορά, την ποικιλομορφία και την αβεβαιότητα.

## Δημοσιεύσεις σε αυτή την ερευνητική κατεύθυνση

### [Where Quality Breaks in Compressed Short-Text Generation: Staged Bottleneck Localization](https://aogavrilov.com/el/publications/where-quality-breaks/)

Πού υποβαθμίζεται η ποιότητα στην παραγωγή συμπιεσμένου σύντομου κειμένου: εντοπισμός του σημείου συμφόρησης κατά στάδια

Διαγνωστική μεθοδολογία FRUCT 39 2026 Κύριο συνέδριο

### [Inspectable Control for Structure-Preserving Software Regeneration](https://aogavrilov.com/el/publications/inspectable-control/)

Επιθεωρήσιμος έλεγχος για αναπαραγωγή λογισμικού με διατήρηση της δομής

Μέθοδος ελέγχου στον λανθάνοντα χώρο FSE Companion '26 2026 Συνοδευτική αφίσα