arXiv preprint ·
On Counting Graphs for Modal Logic with Counting
- Published
- Source
- arXiv preprint, posted before peer review
- Original
- Read it at arXiv
- Topics
Abstract
In this paper, we study the theoretical computational complexity of counting trees and graphs that are classified positively by a graph neural networks, or said equivalently that satisfy a given formula of modal logic with counting. We also study convergence.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Artificial Intelligence
Beyond Leaderboards: A Method for Application-Specific Capability Profiling of Large Language Models
Local Allow, Global Deny: Why Per-Action Authorization Does Not Compose in LLM Agents
Proof-Carrying Contracts: Commitments AI Agents Cannot Break
Theorem prover Arend
Simply Logical -- The First Three Decades
Get the few papers worth your time in Artificial Intelligence every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.