DIO-Agent: Scoperta Guidata da LLM per la Sintesi di Programmi IO2Code
I ricercatori propongono DIO-Agent, un agente di scoperta per sintetizzare programmi a partire dal comportamento input-output (IO2Code), una sfida distinta dal linguaggio naturale al codice (NL2Code). Mentre NL2Code sfrutta l'allineamento semantico del pre-addestramento, IO2Code richiede di recuperare principi dal comportamento computazionale. DIO-Agent inquadra IO2Code come ricerca evolutiva nello spazio discreto dei programmi, utilizzando un LLM come operatore di mutazione guidato da segnali di errore di esecuzione. Impedisce di vagare in vicoli ciechi errati. L'articolo è disponibile su arXiv.
Fatti principali
- 1. arXiv:2605.15334v1
- 2. DIO-Agent è un agente di scoperta per IO2Code
- 3. IO2Code sintetizza programmi dal comportamento input-output
- 4. NL2Code sfrutta l'allineamento semantico tra linguaggio naturale e codice
- 5. IO2Code richiede di recuperare principi sottostanti dal comportamento computazionale concreto
- 6. DIO-Agent utilizza un LLM come operatore di mutazione
- 7. Segnali di errore concreti dall'esecuzione guidano ogni mutazione
- 8. La ricerca avviene nello spazio discreto dei programmi
Entità
Istituzioni
- arXiv