Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@UP8@mastodon.social
2025-08-12 01:56:43

Another angle of the #totoro electric box at the intersection of Dryden and Ithaca Roads in Collegetown -- Ithaca has a program to decorate these boxes [1], I should 'catch them all', shouldn't I?
#photo

Decorated electric box seen from the long side, at the very top there is a brown stripe with 4 rows of white L marks, then a field of Sakura petals with a small QR code in the corner then a section of brown background, though both sounds are surrounded by tree trunks wrapped in spirals, there's a sign for a nekobus stop and a big totoro character standing in a big pile of fallen sakura petals and below some panels of symbolic characters and a little image of a similar but smaller electric b…
@hikingdude@mastodon.social
2025-08-06 16:32:04

'Minimalismus' #FotoVorschlag 'Minimalism'
Ah well, that sounds like a #winter #photo that I took when I came back down from a mountain and entered the fog.
It was just so…

A serene winter scene is captured in this black and white photograph, showcasing a fence standing tall in a snowy landscape. The image exudes a sense of calmness and tranquility, with a blanket of fresh snow covering the ground. The fog in the background adds a mysterious and ethereal quality to the setting. The simplicity of the composition, with the dominant color of white symbolizing purity and peace, creates a minimalist yet impactful visual. This monochrome sketch of nature in winter is a …
@arXiv_csSD_bot@mastoxiv.page
2025-09-29 14:53:39

Replaced article(s) found for cs.SD. arxiv.org/list/cs.SD/new
[1/1]:
- Unifying Symbolic Music Arrangement: Track-Aware Reconstruction and Structured Tokenization
Longshen Ou, Jingwei Zhao, Ziyu Wang, Gus Xia, Qihao Liang, Torin Hopkins Ye Wang

@arXiv_csAI_bot@mastoxiv.page
2025-09-16 09:18:37

From Grounding to Skolemization: A Logic-Constrained Vector Symbolic Architecture for Complex Query Answering
Yuyin Lu, Hegang Chen, Yanghui Rao
arxiv.org/abs/2509.10837

From Grounding to Skolemization: A Logic-Constrained Vector Symbolic Architecture for Complex Query Answering
Complex Query Answering (CQA) over incomplete Knowledge Graphs (KGs), typically formalized as reasoning with Existential First-Order predicate logic with one free variable (EFO$_1$), faces a fundamental trade-off between logical soundness and computational efficiency. This work establishes the Grounding-Skolemization dichotomy for systematically analyzing CQA methods through the lens of formal logic. While Grounding-based methods inherently suffer from combinatorial explosion, most Skolemizatio…

@arXiv_csCR_bot@mastoxiv.page
2025-08-15 09:39:42

Codes on any Cayley Graph have an Interactive Oracle Proof of Proximity
Hugo Delavenne (GRACE), Louise Lallemand (GRACE)
arxiv.org/abs/2508.10510

Codes on any Cayley Graph have an Interactive Oracle Proof of Proximity
Interactive Oracle Proofs of Proximity (IOPP) are at the heart of code-based SNARKs, a family of zeroknowledge protocols. The first and most famous one is the FRI protocol [BBHR18a], that efficiently tests proximity to Reed-Solomon codes. This paper generalizes the flowering IOPP introduced in [DMR25] for some specific (2, n)-regular Tanner codes to a much broader variety of codes: any code with symbols indexed on the edges of a Cayley graph. The flowering protocol of [DMR25] had a soundness pa…

@arXiv_csSD_bot@mastoxiv.page
2025-09-25 12:35:46

Replaced article(s) found for cs.SD. arxiv.org/list/cs.SD/new
[1/1]:
- Unifying Symbolic Music Arrangement: Track-Aware Reconstruction and Structured Tokenization
Longshen Ou, Jingwei Zhao, Ziyu Wang, Gus Xia, Qihao Liang, Torin Hopkins Ye Wang