Amsterdam-based ASIF Ventures, uno studente incentrato venture capital fondo sostenuto dall'UvA, ha annunciato martedì 30 maggio di aver investito in Linear Logic, una piattaforma di dati per la creazione e l'implementazione di sistemi di intelligenza artificiale.
Miguel Pieters e Luc Wentholt, che si conoscono fin dall'infanzia, sono i co-fondatori di Linear Logic.
Miguel, con la sua profonda conoscenza dell'intelligenza artificiale e della scienza dei dati, guida la tecnologia Linear Logic, mentre Luc arriva con una vasta esperienza sul lato finanziario e operativo e semplifica gli aspetti operativi del business.
Cosa risolve la logica lineare?
Nel campo in rapida crescita dell'IA, una delle sfide più complesse e che richiede tempo è la gestione di grandi quantità di dati per scopi di deep learning.
I processi tradizionali sono laboriosi, costosi e spesso pieni di inefficienze.
Questi problemi si intensificano man mano che i progetti crescono e le fonti di dati si moltiplicano, creando ciò che Linear Logic definisce un "vortice di dati" in cui i progetti diventano insostenibili a causa della crescente complessità, del consumo di risorse e di flussi di lavoro ingestibili, portando a problemi di governance.
E come?
Sfruttando la tecnologia assistita dall'intelligenza artificiale, Logica lineare fornisce una soluzione semplificata per la gestione dei dati, il controllo della qualità e l'implementazione dell'IA.
Un componente critico della piattaforma di Linear Logic è il suo livello di dati.
Introducendo un livello di dati gestito che funge da intermediario tra varie fonti di dati e progetti, l'azienda garantisce che questo livello sia persistentemente consapevole dello stato e possa essere monitorato su più versioni nel tempo.
Inoltre, la piattaforma dati di Linear Logic presenta "set di dati", in cui gli ingegneri combinano dati, etichette e previsioni del modello. Ciò fornisce uno spazio ideale per valutare le prestazioni del modello e l'allineamento con i dati di verità di base. Semplifica il rilevamento dei bias e la messa a punto degli iperparametri del modello e la comprensione del motivo per cui i modelli effettuano determinate previsioni.
La fusione dei dati dell'azienda consente inoltre l'inserimento dei dati e i checkpoint delle versioni per tenere traccia delle partizioni dei dati che hanno portato a risultati specifici.
Ispirato da Git e Docker, Linear Logic offre anche un set di dati: coppia di versioni per tenere traccia del controllo delle versioni dei dati.
Ogni operazione sui dati eseguita all'interno di Linear Logic supporta automaticamente il controllo delle versioni, la condivisione e il chiaro collegamento tra passaggi e set di dati.
L'azienda sta inoltre implementando Darwin, una soluzione di location intelligence all'avanguardia per le aziende.
È progettato per fornire informazioni fruibili, consentendo ai dirigenti di comprendere, pianificare e agire in pochi minuti invece che in settimane.
ASIF Ventures
ASIF Ventures è uno studente incentrato venture capital fondo sostenuto da UvA, VU e investitori privati. È gestito da un gruppo di neolaureati e ha guidato investimenti in Lalaland, GetEase, Workwize e altre dieci aziende guidate da studenti.
“Nonostante il nostro ambito di investimento ampio e indipendente dal settore in ASIF, siamo selettivi nel nostro sostegno a startups, cercando coloro che hanno il potenziale per apportare cambiamenti significativi nei rispettivi settori. La missione di Linear Logic di accelerare lo sviluppo dell'IA è molto promettente nel rivoluzionare il modo in cui le aziende gestiscono e lavorano con i dati, indipendentemente dal settore in cui operano. startups che non hanno paura della sperimentazione e che vedono le sfide come opportunità di crescita e apprendimento, e Linear Logic incarna perfettamente questa filosofia", afferma ASIF Ventures.