/equlearn

Learning equational theories with pytorch

Primary LanguagePython

Equational Theory learning with Neural Networks

Hello World!

to do:

  • Nagy hibaknal irjuk ki az 5 legvaloszinubb lepest, es a probabilityt-, az elejet meg a veget (kesz)

  • learning-ben legyen a step(szama) is parameter (kesz)

  • alfago alfachess utnanaolvasni (kesz)

  • fuggveny(fullmodel, start, end, max_depth, num_trials)

  • modell segitsegevel eljutni start-bol az end-be

  • monte carlo modell; visszater egy listaval ha eljutott, vagy None-al (kozosen kesz)

  • (1-lepeses) modell lementese fajbla (kesz)

  • ezt a modellt beolvasni/betolteni (kesz)

  • adni neki tesztekett(valos problemakat)

  • kapott adatok (start, end, next) lementese fajlba, ugy, hogy beolvashato legyen (termek, ne stringek)

  • (beolvasasnal beolvasott karakterek nyilvantartasa (polish notation)

  • adat (start, end, next) generalas gyorsitasa

TODO:

  • Annotate the return types everywhere (done)
  • Next item