Ensaikoropedhiya / Rekodhi rekugadzira

Graph yeruzivo inogadzirwa kubva ku proofs

Masosi akatorwa anochengetwa ane kero ye hash uye anopihwa zvibodzwa zvekuvimba; LLM actor inobva yagadzira graph yezvirevo. Hapana chinogadziridzwa nemaoko, uye actor inogadzira, model, ongororo uye proof zvese zvinoteedzika.

Kutorwa kamwe kwesosi imwe kuona kumwe. Proof, zvibodzwa zvekuvimba, actor inogadzira uye mhedzisiro yeprojection ndezve kuona, kwete chirevo chega — saka kuona ndiko unit pano.