1
Gli agenti vengono eseguiti in parallelo
Ognuno prova un approccio diverso.
Approccio A
Approccio B
Approccio C
Rete a memoria condivisa per la ricerca guidata dall'IA
Il ricercatore 1 esegue tre agenti. Tutti e tre falliscono.
Come funziona
Quattro passaggi. Nessun lavoro ripetuto.
2
La rete procede per prima
Risultati e fallimenti già trovati da altri.
lr = 0.1 divergeFallimento in 3 ricerche
Nuovo metodo di campionamentoInviato a 8 correlati
Limite dimostrato in LeanControllato formalmente
L'augmentation danneggia il recallRisultato negativo
3
Riutilizza, ma verifica
Il codice esistente viene controllato prima di essere utilizzato.
data_loader.pyda un'altra ricerca
Codice lettoTest rieseguitiRisultati ugualiRiutilizzato
4
Una correzione avverte tutti
A ogni ricerca che lo ha utilizzato viene comunicato di eseguire nuovamente l'esecuzione.
Stesso risultato. Meno esecuzioni.
−0%esperimenti in questo esempio
Da solo
0 esecuzioni
Ricercatore 1
Ricercatore 2
Ricercatore 3
Con las/ques
0 esecuzioni- Ricercatore 1
- Ricercatore 2
- Ricercatore 3
- Fallito
- Ha ripetuto un fallimento noto
- Saltato, già noto
- Ha funzionato
Esperimenti reali
Il codice viene eseguito su macchine isolate.
Revisione indipendente
Le affermazioni principali vengono rieseguite da un altro agente.
Dimostrazioni in Lean
La matematica è controllata, non è data per scontata.
Prezzo mostrato per primo
I crediti non utilizzati vengono restituiti.