Tootfinder

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal
https://arxiv.org/abs/2404.14223

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Probabilistic programs often trade accuracy for efficiency, and are thus only approximately correct. It is important to obtain precise error bounds for these approximations, but existing approaches rely on simplifications that make the error bounds excesively coarse, or only apply to first-order programs. In this paper we present Eris, a higher-order separation logic for probabilistic programs written in an expressive higher-order language. Our key novelty is the introduction of error credits…

headline, russian invasion
"Will Europe ever get serious about defense?"
Are you asking after the last 2 years of playing "Breadcrumbs in Blood" with Ukraine? The strategy is quite clear: Drain Russia of resources with the blood and land of Ukraine and hope for the best, that Russia is less resourceful than the hopes and prayers of estimation.

“According to the mahayana, love is entirely without aggression. Love includes accepting others and being noble, reasonable, openhearted, resourceful, and free of possessiveness.” Chögyam Trungpa

This https://arxiv.org/abs/2404.03555 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

From News to Summaries: Building a Hungarian Corpus for Extractive and Abstractive Summarization
Training summarization models requires substantial amounts of training data. However for less resourceful languages like Hungarian, openly available models and datasets are notably scarce. To address this gap our paper introduces HunSum-2 an open-source Hungarian corpus suitable for training abstractive and extractive summarization models. The dataset is assembled from segments of the Common Crawl corpus undergoing thorough cleaning, preprocessing and deduplication. In addition to abstractive s…