Az önálló projekt célja gépi tanuláson alapuló módszerek vizsgálata formális, ill programozási nyelvek automatikus értelmezésére, reprezentációk építésére. A felmerülő típusfeladatok: futtathatóság eldöntése; kódok szemantikai egyenértékűségének felismerése; kódok címkézése; kódjavítás. A feladatokra többféle szekvenciákat és fákat feldolgozó neurális hálót kipróbálunk.