BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ekaterina Komendantskaya
SearchCollections
Map detail
Ekaterina Komendantskaya18 visible / 18 total nodes / 42 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalEkaterina KomendantskayaAEkaterina KomendantskayaResearcherQuantitative Linear Logic for Neuro-Symbolic Learning and VerificationWQuantitative Linear Log...preprint / 2026Matteo CapucciAMatteo CapucciResearcherThomas FlinkowAThomas FlinkowResearcherRosemary MonahanARosemary MonahanResearcherThe New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore ThemWThe New Normal: We Cann...preprint / 2020Machine Learning in Proof General: Interfacing InterfacesWMachine Learning in Pro...preprint / 2013Coalgebraic Logic Programming: from Semantics to ImplementationWCoalgebraic Logic Progr...preprint / 2013Exploiting Parallelism in Coalgebraic Logic ProgrammingWExploiting Parallelism ...preprint / 2013Category theoretic semantics for theorem proving in logic programming: embracing the laxnessWCategory theoretic sema...preprint / 2016Logic programming: laxness and saturationWLogic programming: laxn...preprint / 2016Logic in Computer ScienceTLogic in Computer Science2208 worksMachine LearningTMachine Learning49008 worksCoinduction in Uniform: Foundations for Corecursive Proof Search with Horn ClausesWCoinduction in Uniform:...preprint / 2022Differentiable Logics for Neural Network Training and VerificationWDifferentiable Logics f...preprint / 2022Neural Network Robustness as a Verification Property: A Principled Case StudyWNeural Network Robustne...preprint / 2022Why Robust Natural Language Understanding is a ChallengeWWhy Robust Natural Lang...preprint / 2022Proceedings Workshop on Partiality and Recursion in Interactive Theorem ProversWProceedings Workshop on...preprint / 2010
Person17 links

Ekaterina Komendantskaya

Researcher

PaperQuantitative Linear Logic for Neuro-Symbolic Learning and VerificationAuthorship / preprint / 2026PersonMatteo CapucciCo-authorship / ResearcherPersonThomas FlinkowCo-authorship / ResearcherPersonRosemary MonahanCo-authorship / ResearcherPaperThe New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore ThemAuthorship / preprint / 2020PaperMachine Learning in Proof General: Interfacing InterfacesAuthorship / preprint / 2013PaperCoalgebraic Logic Programming: from Semantics to ImplementationAuthorship / preprint / 2013PaperExploiting Parallelism in Coalgebraic Logic ProgrammingAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)