Institute for Logic and Data Science
Bucharest, Romania
About
Founded in 2022, Institute for Logic and Data Science is a non-profit association based in Bucharest, Romania working on science & research.
The Institute for Logic and Data Science (ILDS) is a research-oriented non-profit association registered in Romania. It is dedicated to advancing logic-based and data-oriented scientific methods. ILDS carries out applied and fundamental research, runs research projects in areas such as proof mining, matching logic, AI for industry and Romanian language models, and organises scientific events including seminars, workshops and schools. It works with academic institutions, research centres and industry partners, mainly in Romania and with international collaborators.
Location
Founded
Organisation type
Legal form
Legal name
Registration
VAT number
Focus areas
Languages
Causes & programmes
Causes
How they work
Programmes
Proof mining in optimization and nonlinear analysis
Science & Research
Research on extracting hidden finitary and combinatorial content from mathematical proofs, applied to optimization and nonlinear analysis.
Latent Space Curation through Hybrid Metaheuristics
Science & Research
Research on a model of curation, optimization and discretization using affective computing.
AI for RPA
Science & Research
Applied research with UiPath on deep reinforcement learning methods for end-to-end UI-level software testing.
In-flight failure prediction of electronics using Artificial Intelligence
Science & Research
Applied AI research on predicting failures of electronics during flight.
LLM for Romanian
Science & Research
Project to build and adapt large language models for the Romanian language, including datasets, pretraining and benchmarks.
Countries of operation
Funding & support
Ways to support
Credentials & affiliations
Partnerships
Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Center for Logic, Optimization & Security, University of Bucharest, BRD, UiPath, Runtime Verification, Pi Squared, arGO, Formal Systems Laboratory, University of Illinois Urbana-Champaign
Other non-profits in Romania
View allFJT Vaslui
Children & Youth, Community development
Serviciul de Ajutor Maltez în România
Humanitarian aid & Disaster relief, Elderly care +6 more
Centrul Cultural al Romilor O Del Amenca
Community development, Human rights +8 more
Tehnopol Galați
Community development, Environment & Climate +3 more
Centrul pentru Resurse Civice
Democracy & Civil society, Refugees & Migration +5 more
Stop TB Romania
Health