Skip to content
Log in
Sponsored AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI

Author

Gábor Kusper

h-index 6 View on Semantic Scholar

We have 3 of 67 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Sep 2026

Subsumption-Free Private-Pivot Learning in Resolvable Network-Based SAT Solving

A resolvable network is a directed-graph representation of SAT: every SAT instance can be translated into an RN, and every RN has an associated CNF formula. Each reach represents one clause. In a mixed reach, the head and tail are disjoint sets of variables containing the variables occurring negatively and positively i...

Gábor Kusper · 0 citations
Open access 2026

Introducing TAIPO, an AI-based product owner assistant for vibe coding

This work introduces TAIPO (The AI-based Product Owner), an AI-supported product owner assistant that embeds generative AI into a Kanban workflow instead of treating it as a separate chat tool.

Gábor Kusper, Judit Szabó, Márk Szabó et al. · 0 citations
Review Open access 2026

Baseline review of Formal Methods and Foundations of Artificial Intelligence

A baseline review of the selected papers volume of the inaugural International Conference on Formal Methods and Foundations of Artificial Intelligence (FMF-AI 2025), published as Annales Mathematicae et Informaticae, introduces simple baseline metrics that can be recomputed in future FMF-AI editions to observe structur...

Gábor Kusper · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.