Research Programmes, Papers and Reports

Choose the audience that matches your question

The page contains three selectable readings of the same subject.

L-algoritmi jiggruppaw skont it-tip ta' data

Matriċi ta' kapaċitajiet li tista' tiskrollja

Strument ta' riċerka bbażat fuq evidenza

Riċerka dwar inferenza effiċjenti fl-enerġija

Riċerka dwar irkupru ta’ vetturi binarji

L-inġiniera jibdlu l-idea ppruvata f’kodiċi reali. L-istess testijiet li ppruvaw ir-riċerka issa jippruvaw il-prodott. Inti tikseb il-benefiċċju mingħajr ma qatt taqra l-karta.

Qabel ma r-riċerka ssir karatteristika, aħna nippubblikawha biex oħrajn ikunu jistgħu jiċċekkjaw il-metodu tagħna, id-dejta tagħna, u l-konklużjonijiet tagħna. L-iskrutinju miftuħ jaqbad l-iżbalji u jagħmel ix-xogħol aktar b’saħħtu.

Aħna nibnu prototipi, inwettqu esperimenti, u nkejlu r-riżultati kontra dejta reali. Jekk xi ħaġa ma taħdimx, aħna niktbu dak ukoll. Riżultat negattiv xorta huwa riżultat.

It-tiftix huwa bil-mod wisq. It-tweġibiet mhumiex konsistenti. Il-kontijiet tal-enerġija huma għoljin wisq. Aħna nbiddlu l-ħaġa li n-nies jilmentaw dwarha f’mistoqsija preċiża li nistgħu nistudjaw.

Ir-replay hija proprjetà li tista' tiġi ttestjata taħt build imwaħħal

Proposta ta' timestep ta' 60Hz, randomness miżrugħa, u mogħdija ta' input-log ittajpjata

Kandidati ta' kernels iċċekkjati kontra obbligi limitati

Kontrolli SMT ma' Z3 u CVC5 flimkien ma' mogħdija ta' codegen ta' Cranelift; validazzjoni pendenti

Kandidat magħruf ta' ottimizzazzjoni (eżempju)

Eżempju ta' kandidat: rotta ta' tliet multiplikazzjonijiet għall-multiplikazzjoni ta' numri kumplessi

Mira ta' tqabbil ta' għadd ta' multiplikazzjonijiet (mhux benchmark ippubblikat)

Ipotiżi ta' ottimizzazzjoni ta' dispatch sparż

Id-dispatch sparż huwa propost biex jaqbeż ċelloli inattivi; l-imġiba għal kull tick teħtieġ validazzjoni

Mira ta' tqabbil ta' iffrankar ta' CPU (mhux riżultat ippubblikat)

Il-kundizzjonijiet tar-replay huma ttestjabbli; ir-riproduċibilità sħiħa għadha trid tiġi vvalidata

Ir-regoli ddikjarati huma maħsuba biex jappoġġaw replay tick b'tick; il-validazzjoni hija pendenti

Kontroll tar-replay (biex jiġi vvalidat)

Dikjarazzjonijiet limitati għal reviżjoni

Kull figura għandha tirreferi għar-run tas-sors u r-rekord tal-kejl; l-istatus tal-evidenza huwa parti mir-reviżjoni.

L-ambitu tal-backend kandidat ta' Forge jinkludi x86-64, RISC-V, WebAssembly, u GPU; il-kopertura u l-kwalità jeħtieġu validazzjoni.

Is-sors ta' Jacquard huwa privat u disponibbli fuq talba. Forge jibqa' riċerka u mhux miftuħ.

evidenza tar-riċerka (status ta' validazzjoni)

Dikjarazzjonijiet, evidenza, u n-numru wara kull waħda.

Ir-riproduċibilità hija għan ta' disinn għal dawn il-linji ta' riċerka. Kull ringiela għandha tqabbel dikjarazzjoni kandidata mal-istream, is-sors, u r-rekord tal-kejl li pproduċieha. Aqraha bħala folja ta' evidenza bl-istatus ta' validazzjoni, mhux bħala fuljett.

In-numri murija hawnhekk huma kampijiet ta' rapport jew miri ta' tqabbil; iċċekkja r-rekord tas-sors u t-termini ta' aċċess qabel ma tikkunsidra wieħed bħala riżultat imkejjel.

L-AI issa tinsab kullimkien, iżda ħafna nies ma jafux kif taħdem, fejn imorru d-dejta tagħhom, jew jekk jistgħux jafdaw it-tweġibiet. Ir-riċerka tagħna teżisti biex tirranġa dan. Naħdmu fuq tliet problemi li jgħoddu għal kulħadd li juża t-teknoloġija.

Tliet mistoqsijiet li jmexxu dak kollu li nibnu.

Nistudjaw kif nagħmlu l-AI tispjega r-raġunament tagħha, tagħti l-istess tweġiba kull darba, u tgħid meta ma tkunx ċerta. Qatt m'għandek ikollok tafda kaxxa sewda. Għandek tkun tista' tara għaliex qalet xi ħaġa u tiddeċiedi int stess.

L-istess riżultat, frazzjoni tal-enerġija

It-tħaddim tal-AI jista' juża ħafna enerġija. Infittxu modi kif niksbu l-istess tweġiba billi nużaw ħafna inqas. Meta l-AI tuża inqas elettriku, tiswa inqas u tniġġes inqas, għalhekk organizzazzjonijiet iżgħar u servizzi pubbliċi jistgħu jaffordjawha wkoll.

Nistudjaw kif nibnu AI li taħżen u timmaniġġja l-informazzjoni tiegħek fi ħdan il-fruntieri Ewropej, taħt il-liġi Ewropea. Dan ifisser li hija protetta mill-GDPR, mhux mogħtija lis-sorveljanza barranija, u mħarsa minn nies li tista' żżomm responsabbli.

Kull stream jippubblika b'mod miftuħ sabiex oħrajn ikunu jistgħu jivverifikaw ix-xogħol wara l-allegazzjoni.

Ir-riċerka ta' Dweve hija organizzata madwar erba' oqsma strateġiċi li jikkorrispondu direttament mal-kapaċitajiet tal-prodott. Kull wieħed huwa s-saff ta' riċerka pubblika li jappoġġa allegazzjoni kummerċjali. Poġġi l-kursur fuq stream biex tara x'jappoġġa.

Erba' streams. Missjoni waħda: AI sovrana, effiċjenti u affidabbli.

Riċerka dwar oqfsa ta' residenza tad-dejta u mekkaniżmi ta' trasferiment li jissodisfaw Schrems II. Dan jappoġġa l-garanziji ta' skjerament tagħna li d-dejta tibqa' fil-fruntieri Ewropej, taħt il-liġi Ewropea.

Riċerka dwar encryption omomorfika, aggregazzjoni sigura għat-taħriġ federat, u provi ta' għarfien żero għall-verifikazzjoni tal-mudell. Dan huwa l-pedament tat-tagħlim federat fi ħdan Mesh, il-prodott tal-kompjutazzjoni ċirkolari tagħna.

Ikkollabora mingħajr ma tesponi d-dejta.

Kompjutazzjoni li tippreserva l-privatezza

Kontroll tal-ispejjeż u rapportar tas-sostenibbiltà

Riċerka dwar kwantizzazzjoni u xogħol speċifiku fuq il-kernel tal-hardware li jnaqqas l-enerġija li mudell jeħtieġ mingħajr ma jiddgħajjef ir-riżultat. Inqas elettriku jfisser spiża operattiva aktar baxxa u footprint iżgħar.

Riċerka dwar aritmetika b'punt fiss, randomness b'żerriegħa, u eżekuzzjoni indipendenti mill-pjattaforma sabiex mudell jagħti l-istess tweġiba fuq kull magna. Dan jappoġġa r-riproduċibilità li għandek bżonn għal awditu.

L-istess input, l-istess output, kull darba.

Aħna nippubblikaw riżultati intermedji, esperimenti falluti, u ipoteżi riveduti. Ir-riċerka bħala proċess ta' inġinerija miftuħ.

Jacquard jibqa' binarju ta' riċerka privat. Kwalunkwe trasferiment lil Fabric, Nexus, jew Aura jeħtieġ validazzjoni separata.

Ir-replay ta' Jacquard huwa proprjetà ta' riċerka, ir-replay ta' Mycelia huwa kundizzjoni ta' test, u Forge jiċċekkja obbligi limitati fi programm sperimentali.

Kull fluss iġorr status ta' evidenza u fruntiera madwar it-talbiet attwali tiegħu.

Status ta' evidenza, mhux talba ta' prodott

replay tick b'tick (proprjetà ta' riċerka)

ambiti tal-mudell: perċezzjoni, kimika, evoluzzjoni

Mudell ta' dinja diġitali b'regoli lokali espliċiti u spejjeż tal-enerġija. Ir-rapport jappoġġa replay deterministiku bħala proprjetà testabbli; talbiet usa' dwar l-imġiba jibqgħu xogħol ta' validazzjoni futur.

Backends fil-mira (ambitu ta' evalwazzjoni)

Riċerka ta' sħab, l-ebda rilaxx pubbliku

Forge jesplora implimentazzjonijiet kandidati tal-kernel permezz ta' sinteżi ta' programmi. Id-disinn tiegħu juża kejl ibbażat fuq Cranelift u kontrolli SMT għal obbligi limitati; ir-rapport tal-2025 ma jistabbilixxix prontezza ta' produzzjoni jew prestazzjoni ta' benchmark.

Repożitorju tas-sors privat, aċċess fuq talba

Magni tad-dinja bbażata fuq browser li l-aġenti jistgħu jibnu permezz ta' wiċċ MCP ittajpjat. Timestep fiss, randomness miżrugħa, u replay minn żerriegħa u log ta' input huma proprjetajiet ta' riċerka li għandhom jiġu evalwati. Ir-repożitorju tas-sors huwa privat.

Il-programmi ta' riċerka tagħna jibdlu mistoqsijiet diffiċli dwar is-sistemi f'apparat li jista' jiġi spezzjonat: dinjiet deterministiċi, pipelines ta' sinteżi, u laboratorji tal-ħajja artifiċjali. Ir-riżultat mhuwiex biss dimostrazzjoni, iżda rotta li inġinier ieħor jista' jirriproduċi u jisfida.

Jacquard jistudja s-semantika tad-dinjiet deterministiċi, Forge jistudja s-sinteżi tal-programmi, u Mycelia jistudja l-ħajja artifiċjali. Kull programm għandu l-apparat tiegħu, it-tip ta' riżultat tiegħu, u l-konfini tal-falliment tiegħu.

Iftaħ l-istorja tal-implimentazzjoni wara kull programm

Kull programm għandu l-istat u l-evidenza tiegħu

Magni tad-dinja b'tipizzazzjoni, b'eżekuzzjoni ta' passi fissi, tranżizzjonijiet espliċiti, u traċċi tal-aġent li jistgħu jerġgħu jindaqqu.

Pipeline ta' sinteżi li jfittex programmi kandidati, inizzilhom permezz ta' Cranelift, ikejjelhom, u jiċċekkja obbligi ta' korrettezza limitati.

Laboratorju deterministiku tal-ħajja artifiċjali għal regoli lokali, pressjoni tar-riżorsi, nisel, u struttura emerġenti. Il-ġirjiet tiegħu jibqgħu evidenza ta' riċerka, mhux konklużjoni xjentifika waħedhom.

Programm jibda b'talba osservabbli, varjabbli kkontrollati, perturbazzjonijiet, u kundizzjoni ta' waqfien. L-ispeċifikazzjoni tiddetermina l-istat li nżommu u l-kontroeżempju li jista' jerġa' jiftaħ ir-riżultat.

Il-kuntratt tal-esperiment jiġi qabel l-implimentazzjoni

Stat mhux speċifikat ma jistax isostni talba riproduċibbli

Il-mekkaniżmu jżomm l-invarjant tiegħu permezz ta' perturbazzjonijiet ikkontrollati

L-invarjant, il-familja ta' perturbazzjonijiet, u l-konfini tal-osservazzjoni huma impenjati qabel il-ġirja.

Entitajiet b'tipizzazzjoni, tranżizzjonijiet, arloġġi, u żrieragħ.

Każijiet jvarjaw b'mod indipendenti kontra bażi fissa.

Invarjanti u limiti ta' falliment jitħaddmu bħala kontrolli.

L-ebda inferenza barra l-ispazju tal-istat b'verżjoni

Mistoqsija, apparat, ġirja, sfida, u trasferiment huma konnessi permezz ta' inputs u outputs b'verżjoni. Agħżel gate biex tispezzjona l-kuntratt f'dak il-konfini.