QBX: A Compiler for Well-Formed, Auditable Alpha Programs
Pubblicata su AIChronos il · fonte del · Yichong Bai, Kaigui Bian
Il documento presenta QBX, un compilatore che definisce uno spazio ben formato e verificabile per i programmi Alpha. Attraverso un registro di blocchi finito e una lingua port-DAG intera-strategia, il sistema garantisce la riproducibilità dei risultati emettendo IR con tipi ed effetti temporali o rifiutando le proposte non valide. La compilazione chiusa mantiene la ricerca all'interno dello spazio amesso, mentre i controlli sugli effetti di disponibilità prevengono previsioni illegali in tempo reale.
- QBX trasforma stringhe libere e grammatiche in programmi Alpha tipizzati con un tasso di validità che sale dal 26.8% al 97.7% sui panel A-share cinesi.
- L'incrementale evaluation permette di riprodurre le linee di ricerca fino a 7,5 volte più velocemente mantenendo la parità numerica.
- Il sistema ammette zero violazioni dei contratti registrati su oltre 23.000 candidati grazie al controllo degli effetti di disponibilità.
- La deduplicazione e il provenienza delle prove sono governati da identità radice vincolate al contesto.
- Sotto budget equivalenti per le chiamate LLM, la ricerca chiusa dal compilatore raggiunge il fronte diagnostico specifico del pool con meno chiamate.
Perché conta. Per gli sviluppatori di agenti e AI locale, QBX offre un framework rigoroso per garantire l'auditabilità dei processi decisionali automatizzati, riducendo al minimo le violazioni contrattuali e ottimizzando l'uso delle risorse computazionali durante la ricerca nello spazio degli stati.
Scheda generata automaticamente da un modello AI locale a partire dalla fonte originale: può contenere imprecisioni.