Tootfinder

Who Gets the Kidney? Human-AI Alignment, Indecision, and Moral Values
John P. Dickerson, Hadi Hosseini, Samarth Khanna, Leona Pierce
https://arxiv.org/abs/2506.00079

Who Gets the Kidney? Human-AI Alignment, Indecision, and Moral Values
The rapid integration of Large Language Models (LLMs) in high-stakes decision-making -- such as allocating scarce resources like donor organs -- raises critical questions about their alignment with human moral values. We systematically evaluate the behavior of several prominent LLMs against human preferences in kidney allocation scenarios and show that LLMs: i) exhibit stark deviations from human values in prioritizing various attributes, and ii) in contrast to humans, LLMs rarely express indec…

A mean field game model with non-local spatial interactions and resources accumulation
Daria Ghilli, Fausto Gozzi, Cristiano Ricci, Giovanni Zanco
https://arxiv.org/abs/2506.01200

A mean field game model with non-local spatial interactions and resources accumulation
We study a family of Mean Field Games arising in modeling the behavior of strategic economic agents which move across space maximizing their utility from consumption and have the possibility to accumulate resources for production (such as human capital). The resulting mean field game PDE system is not covered in the actual literature on the topic as it displays weaker assumptions on the regularity of the data (in particular Lipschitz continuity and boundedness of the objective are lost), state …

Someone in my LinkedIn network posted this, and I have no inkling if it is genuine or sarcasm (see: Poe's Law).
Full text of the post in the image Alt Text.
NOTE: Please do not dogpile this person due to my toot.
#LLMs #WorkerReplacement

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
Rolf Drechsler
https://arxiv.org/abs/2505.23311 https://

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
Verification is one of the central tasks in circuit and system design. While simulation and emulation are widely used, complete correctness can only be ensured based on formal proof techniques. But these approaches often have very high run time and memory requirements. Recently, Polynomial Formal Verification (PFV) has been introduced showing that for many instances of practical relevance upper bounds on needed resources can be given. But proofs have to be provided that are human-readable. He…

Behold :) My new #cybersecurity talk is ready and you can see it in the best events around you.
Title: The archetypes of the attackers.
Summary: This talk will lead you on a journey to discover the archetypes of attackers, the tools they use, their motivations for targeting what you've built, and how a geopolitical shift can alter their interest in your resources.

Bogomil Shopov - Бого's Speaker Profile
Human. Artist. Hacker. I care about free and open-source software(F/LOSS), cybersecurity, ethical design, privacy, and technology. 20+ experience in t...

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

Breaking Resource Barriers in Speech Emotion Recognition via Data Distillation
Speech emotion recognition (SER) plays a crucial role in human-computer interaction. The emergence of edge devices in the Internet of Things (IoT) presents challenges in constructing intricate deep learning models due to constraints in memory and computational resources. Moreover, emotional speech data often contains private information, raising concerns about privacy leakage during the deployment of SER models. To address these challenges, we propose a data distillation framework to facilitate…

'Insurance sucks shit' is a universal human experience (for some more universal than for others). If only people could band together into voluntary collectives like a Credit Union and pool resources for insurance.

An Eye for a Treat: Human Gazing Modulates Begging by Free-ranging Dogs
Sourabh Biswas, Srijaya Nandi, Tuhin Subhra Pal, Aesha Lahiri, Anamitra Roy, Hindolii Gope, Kalyan Ghosh, Anindita Bhadra
https://arxiv.org/abs/2505.17770

An Eye for a Treat: Human Gazing Modulates Begging by Free-ranging Dogs
Interspecific communication plays a critical role in mediating human-animal interactions, particularly in contexts involving access to anthropogenic resources. This study investigates the influence of human gazing on the begging strategies of free-ranging dogs in urban and peri-urban environments. Begging behaviour, commonly observed in dogs seeking food from humans, offers insights into their behavioural flexibility and cognitive attunement to human social cues. We observed 650 adult dogs in b…