# Ερευνητικά έργα

Canonical HTML: https://aogavrilov.com/el/projects/

Document language: el

Ξεκινήστε από την παρατηρήσιμη αστοχία και έπειτα ακολουθήστε τη μέθοδο, τα τεκμήρια και το όριο εμβέλειας που της αντιστοιχούν.

## Επιλέξτε με βάση την αστοχία που παρατηρείτε

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

| Παρατηρούμενο πρόβλημα | Πρώτος διαγνωστικός έλεγχος | Αναγκαία τεκμηρίωση | Μέθοδος |
| --- | --- | --- | --- |
| Η αποκωδικοποιημένη έξοδος είναι ανεπαρκής, αλλά το στάδιο που αστοχεί παραμένει άγνωστο | Βαθμολογήστε την πηγή, την αντίστοιχη ανακατασκευή και την παραγόμενη έξοδο με τον ίδιο εξωτερικό αξιολογητή. | Συγκρίσιμες κατανομές και συμπεριφορά ουρών σε κάθε στάδιο. | [Σταδιακή διάγνωση σημείων συμφόρησης](https://aogavrilov.com/el/projects/codec-bottleneck-diagnosis/#workflow) |
| Μια μετρική του λανθάνοντος χώρου βελτιώνεται, αλλά η τελική ποιότητα όχι | Ελέγξτε αν η βελτίωση της υποκατάστατης μετρικής μεταφέρεται μετά την αποκωδικοποίηση. | Συζευγμένες μετρικές αποκωδικοποιημένης εξόδου και όχι αποκλειστικά διαγνωστικές μετρικές του λανθάνοντος χώρου. | [Έλεγχος μεταφοράς μέσω υποκατάστατου δείκτη](https://aogavrilov.com/el/projects/codec-bottleneck-diagnosis/#decision-table) |
| Ένας επεξεργαστής κώδικα επανεγγράφει περισσότερα από τη ζητούμενη περιοχή | Διατυπώστε ρητό όριο διατήρησης και μετρήστε τη διαφορά εκτός της περιοχής. | Η τοπικότητα και η επιτυχία της εργασίας μετρώνται από κοινού. | [Αξιολόγηση εντοπισμένης επεξεργασίας](https://aogavrilov.com/el/projects/discrete-latent-generation/#measurement) |
| Μια αναδόμηση πρέπει να διατηρεί τη συμπεριφορά και όχι απλώς τη σύνταξη | Διαχωρίστε την πρόταση από την εκτέλεση και την επαλήθευση. | Μεταγλώττιση, δοκιμές, στατικοί έλεγχοι και ανίχνευση αναδόμησης. | [Χάρτης αποφάσεων επιφάνειας ελέγχου](https://aogavrilov.com/el/projects/discrete-latent-generation/#control-surface) |

Ενεργή ερευνητική κατεύθυνση

## Παραγωγή σε διακριτό λανθάνοντα χώρο

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

Οδηγός αξιολόγησης

## Διάγνωση της συμφόρησης του κωδικοποιητή-αποκωδικοποιητή

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

## Εστιασμένες απαντήσεις

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

1. [Διάχυση με μάσκα στον χώρο κωδίκων έναντι του χώρου διακριτικών: πώς συγκρίνονται](https://aogavrilov.com/el/research-notes/code-space-vs-token-space-masked-diffusion/) Ένα συνεπές σε όλα τα στάδια πρωτόκολλο σύγκρισης γλωσσικών μοντέλων διάχυσης με μάσκα στον χώρο κωδίκων και στον χώρο διακριτικών, όταν ο διακριτός κωδικοποιητής–αποκωδικοποιητής είναι απωλεστικός.
2. [Εντοπισμένη τροποποίηση κώδικα με παραγωγικά μοντέλα](https://aogavrilov.com/el/research-notes/localized-code-modification-generative-models/) Πώς αποτρέπεται η περιττή επανεγγραφή ολόκληρης της συνάρτησης, διατηρώντας παράλληλα αρκετή ελευθερία ώστε ένα παραγωγικό μοντέλο να επιφέρει τη ζητούμενη αλλαγή στον κώδικα.
3. [Παραγωγή κώδικα υπό περιορισμούς για τη μηχανική λογισμικού](https://aogavrilov.com/el/research-notes/constrained-code-generation-software-engineering/) Μια πρακτική διάκριση μεταξύ γραμματικών περιορισμών, περιορισμών τύπων, ορίων διατήρησης και ελέγχων αποδοχής σε επίπεδο συμπεριφοράς για παραγόμενο κώδικα.
4. [Αναδόμηση υποβοηθούμενη από ΤΝ: μέθοδοι και τεκμήρια](https://aogavrilov.com/el/research-notes/ai-assisted-refactoring-evidence/) Πώς να αξιολογούνται οι πρόσφατες μέθοδοι αναδόμησης με υποστήριξη ΤΝ, χωρίς να συγχέεται μια εύλογη παραγόμενη διόρθωση με την επαληθευμένη διατήρηση της συμπεριφοράς.
5. [Η προβλέψιμη παραγωγή κώδικα απαιτεί σύμβαση διατήρησης](https://aogavrilov.com/el/research-notes/predictable-code-generation-preservation-contract/) Γιατί η ντετερμινιστική δειγματοληψία δεν αρκεί και πώς οι παρατηρήσιμες προστατευόμενες ιδιότητες και οι έλεγχοι αποδοχής καθιστούν τη συμπεριφορά παραγωγής κώδικα ελέγξιμη μέσω δοκιμών.

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

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

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) .
8. Πώς συγκρίθηκαν η διάχυση με μάσκα στον χώρο κωδίκων και η αντίστοιχη διάχυση στον χώρο διακριτικών στο αναφερόμενο πείραμα κειμένου; Με τον ίδιο εξωτερικό βαθμολογητή, το MDLM στον χώρο κωδίκων παρουσίασε διάμεση περιπλοκότητα 26.55, έναντι 38.42 για τη γραμμή αναφοράς στον χώρο διακριτικών, δηλαδή μείωση κατά 30.9%. Η διάμεση τιμή της ανακατασκευής του κωδικοποιητή–αποκωδικοποιητή ήταν ήδη 27.36, επομένως το αποτέλεσμα πρέπει να ερμηνευθεί σε συνδυασμό με το σημείο συμφόρησης της ανακατασκευής. [Εξετάστε τις αναφερόμενες αριθμητικές τιμές ανά στάδιο](https://aogavrilov.com/el/projects/codec-bottleneck-diagnosis/#code-space-vs-token-space) .
9. Πώς πρέπει να συγκρίνονται η διάχυση με μάσκα στον χώρο κωδίκων και η αντίστοιχη διάχυση στον χώρο διακριτικών όταν ο κωδικοποιητής παρουσιάζει απώλειες; Χρησιμοποιήστε τα ίδια παρακρατημένα δείγματα και τον ίδιο βαθμολογητή αποκωδικοποιημένου κειμένου για τα πρωτότυπα, τις ανακατασκευές του κωδικοποιητή–αποκωδικοποιητή, τις εξόδους χώρου λεκτικών μονάδων και τις εξόδους χώρου κωδίκων. Αναφέρετε χωριστά την απόκλιση ανακατασκευής, διότι μια ισχυρότερη λανθάνουσα γεννήτρια δεν μπορεί να ανακτήσει πληροφορίες που έχουν ήδη αφαιρεθεί από τον κωδικοποιητή–αποκωδικοποιητή. [Συγκρίνετε τα στάδια με μία κοινή συνάρτηση βαθμολόγησης](https://aogavrilov.com/el/projects/codec-bottleneck-diagnosis/#code-space-vs-token-space) .
10. Πώς μπορεί να διαγνωστεί η υποβάθμιση της ποιότητας σε ένα σύστημα παραγωγής κειμένου δύο σταδίων; Με έναν ενιαίο και αμετάβλητο αξιολογητή αποκωδικοποιημένου κειμένου, μετρήστε πρώτα το χάσμα μεταξύ πρωτοτύπου και ανακατασκευής και έπειτα το χάσμα μεταξύ ανακατασκευής και παραγωγής. Έτσι διαχωρίζεται το ανώτατο όριο ποιότητας που επιβάλλει ο κωδικοποιητής από την πρόσθετη υποβάθμιση που εισάγει η λανθάνουσα παραγωγή. [Ακολουθήστε τη διαγνωστική διαδικασία τεσσάρων σημείων ελέγχου](https://aogavrilov.com/el/projects/codec-bottleneck-diagnosis/#workflow) .
11. Πότε ενδέχεται οι καλύτερες μετρικές λανθάνοντος χώρου να μην βελτιώνουν την αποκωδικοποιημένη έξοδο; Ένας υποκατάστατος δείκτης στον λανθάνοντα χώρο μπορεί να βελτιωθεί χωρίς να παρακολουθεί την κατάντη ιδιότητα ενδιαφέροντος. Ελέγξτε τη μεταφορά αποκωδικοποιώντας αντιστοιχισμένες εξόδους και αξιολογώντας τες με τις ίδιες τελικές μετρικές· διαφορετικά, η γεωμετρία ή η αξιοποίηση του κωδικοβιβλίου παραμένει διαγνωστικό τεκμήριο και όχι βελτίωση της ποιότητας του κειμένου. [Χρησιμοποιήστε το διαγνωστικό μεταφοράς υποκατάστατων δεικτών](https://aogavrilov.com/el/projects/codec-bottleneck-diagnosis/#decision-table) .

## Δύο οριοθετημένες αποτυπώσεις τεκμηρίων

Οι αριθμοί αυτοί προσδιορίζουν τι μετρήθηκε· δεν αποτελούν καθολικές εγγυήσεις του μοντέλου.

### Διάγνωση συμπίεσης

Σε μία διάταξη TinyStories 64-προς-16, η διάμεση περιπλοκότητα αυξήθηκε από **15.17** για το πηγαίο κείμενο σε **27.36** μετά την ανακατασκευή του κωδικοποιητή. Το MDLM στον χώρο κωδίκων έφθασε **26.55** έναντι **38.42** για τη γραμμή αναφοράς στον χώρο διακριτικών, με τον ίδιο εξωτερικό βαθμολογητή.

### Επιθεωρήσιμος έλεγχος επεξεργασίας

Σε μία διάταξη συναρτήσεων Python με 64 διακριτικά, το κλείδωμα τεσσάρων κωδίκων ανώτατου επιπέδου αύξησε το ποσοστό συντακτικής ανάλυσης από **0.453** προς **0.591** , ενώ οι ξεκλείδωτες θέσεις μεταβλήθηκαν σε ποσοστό **0.936** και τα υπό συνθήκη δείγματα παρέμειναν **0.998** μοναδικό.

## Τι δεν ισχυρίζεται αυτός ο χάρτης

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