Learning Abstractions for Generalized Reasoning in AI

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
LAGER
 
Project Title (de) Projekttitel (de)
Learning Abstractions for Generalized Reasoning in AI
 
Project Title (en) Projekttitel (en)
Learning Abstractions for Generalized Reasoning in AI
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
ICT25-044
 

Publications

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dvořák, Wolfgang ; Saribatur, Zeynep G. ; Woltran, Stefan Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet AgainInproceedings Konferenzbeitrag 2026
2Knorr, Matthias ; Saribatur, Zeynep G. ; Goncalves, Ricardo Beyond Uniform: To Boldly Abstract What Has Not Been Abstracted BeforeInproceedings Konferenzbeitrag 2026