Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
9 links
Laura Kovács
Researcher
PaperAnalysis of Bayesian Networks via Prob-Solvable LoopsAuthorship / preprint / 2020PaperAlgebra-based Loop SynthesisAuthorship / preprint / 2020PaperA First Class Boolean Sort in First-Order Theorem Proving and TPTPAuthorship / preprint / 2015PaperThe Vampire and the FOOLAuthorship / preprint / 2015PaperTrace Logic for Inductive Loop ReasoningAuthorship / preprint / 2020PaperDistribution Estimation for Probabilistic LoopsAuthorship / preprint / 2022PaperAlgebra-Based Reasoning for Loop SynthesisAuthorship / preprint / 2022PaperSolving Invariant Generation for Unsolvable LoopsAuthorship / preprint / 2022