Tootfinder

Can someone explain to me how Hungary is still in the EU? https://mstdn.social/@noelreports/115122322237273111

NOELREPORTS 🇪🇺 🇺🇦 (@noelreports@mstdn.social)
Attached: 1 image Hungary refuses to allow the opening of the first cluster of EU accession talks for Ukraine, Foreign Minister Péter Szijjártó asserted after an informal EU foreign ministers meeting in Copenhagen. He argued that fast‑tracking Ukraine into the EU would devastate Hungarian farmers, jeopardize food security, and allow Ukrainian mafia infiltration.

A few things have progressed since my studies, but #ewaste recycling im #India calls for the dexterity of informal businesses. The formal efforts keep on adding harm.
Rest of The World reports on gov pressure and producer protest

Inside India’s billion-dollar e-waste empire
The informal recycling economy is turning global e-waste into profit — at a steep human and environmental cost.

https://www.nytimes.com/2025/09/29/world/asia/china-delivery-shenzhen.html?unlocked_article_code=1.p08._HCm.9q92BAiFhsnn&smid=url-share

What It Takes to Get Lunch Delivered to the 70th Floor
An informal network of last-mile runners close the gap between harried delivery drivers and hungry office workers in a Shenzhen skyscraper.

Informal e-waste recycling in Pakistan: A hidden environmental crisis #Pakistan

Informal e-waste recycling in Pakistan: A hidden environmental crisis
When I began my research on electronic waste in Pakistan, I quickly realized how deeply it touches both our environment and our daily lives. We live in an age where technology evolves faster than ever—phones, laptops, and televisions are replaced at a breathtaking pace. But what happens to the old ones? For many in developing nations like mine, the answer lies in informal recycling practices.

Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design
Anis Bekri, Amar Abane, Abdella Battou, Saddek Bensalem
https://arxiv.org/abs/2509.22834 htt…

Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design
Intent-Based Networking (IBN) aims to simplify network management by enabling users to specify high-level goals that drive automated network design and configuration. However, translating informal natural-language intents into formally correct optical network topologies remains challenging due to inherent ambiguity and lack of rigor in Large Language Models (LLMs). To address this, we propose a novel hybrid pipeline that integrates LLM-based intent parsing, formal methods, and Optical Retrieval…

A read-only text field is focusable. And confusing to users.
If you add `tabindex="-1"` and/or `pointer-events: none`, admit it’s wrong and make it plain text instead.
If you use it anyway, style it so it’s clear (good luck). Here are my shitty styles: https://adrianroselli.com/…

Under-Engineered Text Boxen
Others in this sorta-series: Under-Engineered Custom Radio Buttons and Checkboxen Under-Engineered Toggles Under-Engineered Toggles Too This is the latest, and not last, in my informal series of posts on under-engineered controls. Generally I am looking at the minimum amount of CSS necessary to style native HTML controls while also retaining…

Inside India's growing ~$1.5B e-waste recycling industry, about 95% of workers are employed informally, doing dangerous, toxic, and lawless work for meager pay (Yashraj Sharma/Rest of World)
https://restofworld.org/2025/india-e-waste-recycling-electronics/

Inside India’s billion-dollar e-waste empire
The informal recycling economy is turning global e-waste into profit — at a steep human and environmental cost.

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
Terry Jingchen Zhang, Wenyuan Jiang, Rongchuan Liu, Yisong Wang, Junran Yang, Ning Wang, Nicole Ni, Yinya Huang, Mrinmaya Sachan
https://arxiv.org/abs/2508.15878

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
Formal theorem proving (FTP) has emerged as a critical foundation for evaluating the reasoning capabilities of large language models, enabling automated verification of mathematical proofs at scale. However, progress has been constrained by limited datasets due to the high cost of manual curation and the scarcity of challenging problems with verified formal-informal correspondences. We propose leveraging theoretical computer science (TCS) as a scalable source of rigorous proof problems, where a…

@… oh wow, you can clearly see that this is a rushed piece. Besides some typos, the language is rather informal, not the kind one would expect from Apple marketing.

The Role of Informal Care in Cognitive Outcome and Healthcare Utilization Among Older Adults with Dementia
Mohammad Abdullah Al Faisal
https://arxiv.org/abs/2509.18468 https://

The Role of Informal Care in Cognitive Outcome and Healthcare Utilization Among Older Adults with Dementia
This paper examines the relationship between informal caregiving and both cognitive functioning and healthcare utilization among older adults with dementia. Using data from the RAND version of the Health and Retirement Study (HRS), a nationally representative longitudinal panel of U.S. adults over age 50, covering the years 2010 to 2022, I estimate Ordinary Least Squares (OLS) and Instrumental Variables (IV) models to address potential endogeneity in caregiving decisions. The number of children…

☣️ In the Philippines, informal e-waste dismantling poses health risks
https://www.japantimes.co.jp/environment/2025/07/29/sustainability/philippine-e-waste-dismantle-health/
🆓

In the Philippines, informal e-waste dismantling poses health risks
Scavenging electronic waste for the nickel, aluminum and copper inside releases a toxic brew of chemicals, including lead, mercury and cadmium, into the air.

Any developer worth their salt knows that the outputting code is the easiest part of software development, and that code as an artifact has little value without everything that surrounds it: the people, the shared knowledge, the practices (both formal and informal), the infrastructure, the networks of trust, etc etc.
And yet!! like fools, we’ve got ourselves hung up on OSS licenses and copyright — the legal structures surrounding the code itself — as if code were in fact the only thing that really matters. As if we didn’t know better.
4/

Super interesting read about the dynamics in OSM: «[if this trend continues] de facto power within the #OpenStreetMap Foundation will increasingly shift towards individuals or informal interest groups within the sketched de facto membership. Ultimately, it is likely that the board itself in a way becomes an outsider within the organization – being formally in control […], but de facto being dependent on the true insiders of the organization in everything they do.»
https://imagico.de/blog/en/who-are-the-members-of-the-openstreetmap-foundation/

Into the Void: Understanding Online Health Information in Low-Web Data Languages
Hellina Hailu Nigatu, Nuredin Ali Abdelkadir, Fiker Tewelde, Stevie Chancellor, Daricia Wilkinson
https://arxiv.org/abs/2509.20245

Into the Void: Understanding Online Health Information in Low-Web Data Languages
Data voids--areas of the internet where reliable information is scarce or absent--pose significant challenges to online health information seeking, particularly for users operating in low-web data languages. These voids are increasingly encountered not on traditional search engines alone, but on social media platforms, which have gradually morphed into informal search engines for millions of people. In this paper, we introduce the phenomenon of data horizons: a critical boundary where algorithm…

Unveiling Unicode's Unseen Underpinnings in Undermining Authorship Attribution
Robert Dilworth
https://arxiv.org/abs/2508.15840 https://arxiv.org/pdf/2…

Unveiling Unicode's Unseen Underpinnings in Undermining Authorship Attribution
When using a public communication channel -- whether formal or informal, such as commenting or posting on social media -- end users have no expectation of privacy: they compose a message and broadcast it for the world to see. Even if an end user takes utmost precautions to anonymize their online presence -- using an alias or pseudonym; masking their IP address; spoofing their geolocation; concealing their operating system and user agent; deploying encryption; registering with a disposable phone…

@… @… You can even see that it was a rushed peace. Informal writing, typos... it tells enough.

Bringing Pedagogy into Focus: Evaluating Virtual Teaching Assistants' Question-Answering in Asynchronous Learning Environments
Li Siyan, Zhen Xu, Vethavikashini Chithrra Raghuram, Xuanming Zhang, Renzhe Yu, Zhou Yu
https://arxiv.org/abs/2509.17961

Bringing Pedagogy into Focus: Evaluating Virtual Teaching Assistants' Question-Answering in Asynchronous Learning Environments
Asynchronous learning environments (ALEs) are widely adopted for formal and informal learning, but timely and personalized support is often limited. In this context, Virtual Teaching Assistants (VTAs) can potentially reduce the workload of instructors, but rigorous and pedagogically sound evaluation is essential. Existing assessments often rely on surface-level metrics and lack sufficient grounding in educational theories, making it difficult to meaningfully compare the pedagogical effectivenes…

Moody Urbanity - Everyone 👹
情绪化城市 - 每个人 👹
📷 Pentax MX
🎞️ Orwo Wolfen P400
#filmphotography #Photography #blackandwhite

The surprising impact of trees on crime rate…
Calming effect of vegetation, promotion of mutual trust, signal that the area is well cared for, or incentive for informal surveillance? Who knows?
https://www.motherjones.com/environment/20

Ground-Based Radar Tracking of Near-Earth Objects With VLBI Radio Telescopes: 2024 MK Test Case
Oliver White, Guifr\'e Molera Calv\'es, Shinji Horiuchi, Ed Kruzins, Edwin Peters, Nick Stacy
https://arxiv.org/abs/2509.15684

Ground-Based Radar Tracking of Near-Earth Objects With VLBI Radio Telescopes: 2024 MK Test Case
The Southern Hemisphere Asteroid Research Project is an active and informal entity comprising the University of New South Wales, the University of Tasmania, the University of Western Australia, and the Curtin University, which performs asteroid research in collaboration with federal agencies, including the Commonwealth Scientific and Industrial Research Organisation and the National Aeronautics and Space Administration (JPL). Since 2015, we have used the Australian infrastructure to characteriz…

the Irish word for diarrhea is buinneach so that's at least kinda cute. like im shitting out little bunny poops
there's also sciodar which is marked as "informal" and that's good, im glad I can casually refer to my buinneach with the bros

Influence of Stakeholder Involvement in M&E on the Performance of Donor-Funded Projects in Informal Settlements in Kisumu Central Sub-County, Kisumu County, Kenya
Brighton Savayi Amuni, Stella Silas Karimi, Felistus Mwikali Patrick
https://arxiv.org/abs/2509.05369

Influence of Stakeholder Involvement in M&E on the Performance of Donor-Funded Projects in Informal Settlements in Kisumu Central Sub-County, Kisumu County, Kenya
Stakeholder engagement and participatory approaches influence the effectiveness of donor-funded projects. Participatory Monitoring and Evaluation (PM&E) methodologies ensure that local communities play an active role in decision-making, leading to more sustainable outcomes. Given the complex socio-political landscape of Kisumu Central Sub-County, there is a critical need for inclusive and context-responsive project monitoring strategies. Initiatives that have integrated local leaders, youth gro…

SABIA: An AI-Powered Tool for Detecting Opioid-Related Behaviors on Social Media
Muhammad Ahmad, Fida Ullah, Muhammad Usman, Ildar Batyrshin, Grigori Sidorov
https://arxiv.org/abs/2508.10046

SABIA: An AI-Powered Tool for Detecting Opioid-Related Behaviors on Social Media
Social media platforms have become valuable tools for understanding public health challenges by offering insights into patient behaviors, medication use, and mental health issues. However, analyzing such data remains difficult due to the prevalence of informal language, slang, and coded communication, which can obscure the detection of opioid misuse. This study addresses the issue of opioid-related user behavior on social media, including informal expressions, slang terms, and misspelled or cod…

DIVERS-Bench: Evaluating Language Identification Across Domain Shifts and Code-Switching
Jessica Ojo, Zina Kamel, David Ifeoluwa Adelani
https://arxiv.org/abs/2509.17768 https:/…

DIVERS-Bench: Evaluating Language Identification Across Domain Shifts and Code-Switching
Language Identification (LID) is a core task in multilingual NLP, yet current systems often overfit to clean, monolingual data. This work introduces DIVERS-BENCH, a comprehensive evaluation of state-of-the-art LID models across diverse domains, including speech transcripts, web text, social media texts, children's stories, and code-switched text. Our findings reveal that while models achieve high accuracy on curated datasets, performance degrades sharply on noisy and informal inputs. We also in…

Functional Reasoning for Distributed Systems with Failures
Haobin Ni, Robbert van Renesse, Greg Morrisett
https://arxiv.org/abs/2510.12131 https://arxiv.or…

Functional Reasoning for Distributed Systems with Failures
Distributed system theory literature often argues for correctness using an informal, Hoare-like style of reasoning. While these arguments are intuitive, they have not all been foolproof, and whether they directly correspond to formal proofs is in question. We formally ground this kind of reasoning and connect it to standard formal approaches through language design and meta-analysis, which leads to a functional style of compositional formal reasoning for a class of distributed systems, includin…

Evaluating the Quality of Open Building Datasets for Mapping Urban Inequality: A Comparative Analysis Across 5 Cities
Franz Okyere, Meng Lu, Ansgar Brunn
https://arxiv.org/abs/2508.12872

Evaluating the Quality of Open Building Datasets for Mapping Urban Inequality: A Comparative Analysis Across 5 Cities
While informal settlements lack focused development and are highly dynamic, the quality of spatial data for these places may be uncertain. This study evaluates the quality and biases of AI-generated Open Building Datasets (OBDs) generated by Google and Microsoft against OpenStreetMap (OSM) data, across diverse global cities including Accra, Nairobi, Caracas, Berlin, and Houston. The Intersection over Union (IoU), overlap analysis and a positional accuracy algorithm are used to analyse the simil…

Towards a Common Framework for Autoformalization
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis
https://arxiv.org/abs/2509.09810 …

Towards a Common Framework for Autoformalization
Autoformalization has emerged as a term referring to the automation of formalization - specifically, the formalization of mathematics using interactive theorem provers (proof assistants). Its rapid development has been driven by progress in deep learning, especially large language models (LLMs). More recently, the term has expanded beyond mathematics to describe the broader task of translating informal input into formal logical representations. At the same time, a growing body of research explo…

Peer support, informal support, even the ways we talk to ourselves and the systems we set up in our homes can act as scaffolding https://www.overcomecompulsivehoarding.co.uk/podcast-ep-189-scaffolding-hoarding-jan-eppingstall/

Strategic competition in informal risk sharing mechanism versus collective index insurance
Lichen Wang, Shijia Hua, Yuyuan Liu, Zhengyuan Lu, Liang Zhang, Linjie Liu, Attila Szolnoki
https://arxiv.org/abs/2508.02684

Strategic competition in informal risk sharing mechanism versus collective index insurance
The frequent occurrence of natural disasters has posed significant challenges to society, necessitating the urgent development of effective risk management strategies. From the early informal community-based risk sharing mechanisms to modern formal index insurance products, risk management tools have continuously evolved. Although index insurance provides an effective risk transfer mechanism in theory, it still faces the problems of basis risk and pricing in practice. At the same time, in the p…

Had a really nice time today at Gay Day at the Yuba, an informal Northern California thing. Some 500-1000 guys come to swim at my favorite skinny dipping swimming hole. It was really nice, a fun and good vibes event.

Navigating Equity and Reflexive Practices in Gigwork Design: A Journey Mapping Experience
Alicia E. Boyd, Danielle Cummings, Angie Zhang
https://arxiv.org/abs/2509.16808 https:/…

Navigating Equity and Reflexive Practices in Gigwork Design: A Journey Mapping Experience
How do we create ethical and equitable experiences on global platforms? How might UX designers and developers incorporate reflexive practices--a continuous self-evaluation of one's assumptions and biases--to mitigate assumptions and workers' experience? This tutorial will explore ways to build equitable user experiences using gig work platforms as a target use case. With the rise of gig work platforms, the informal digital economy has altered how algorithmic systems manage occasional workers; i…

Mind the Gap: Aligning Knowledge Bases with User Needs to Enhance Mental Health Retrieval
Amanda Chan, James Jiayu Liu, He Kai, Onno P. Kampman
https://arxiv.org/abs/2509.13626 …

Mind the Gap: Aligning Knowledge Bases with User Needs to Enhance Mental Health Retrieval
Access to reliable mental health information is vital for early help-seeking, yet expanding knowledge bases is resource-intensive and often misaligned with user needs. This results in poor performance of retrieval systems when presented concerns are not covered or expressed in informal or contextualized language. We present an AI-based gap-informed framework for corpus augmentation that authentically identifies underrepresented topics (gaps) by overlaying naturalistic user data such as forum po…

A mathematical model for pricing perishable goods for quick-commerce applications
Milon Bhattacharya
https://arxiv.org/abs/2510.11360 https://arxiv.org/pdf…

A mathematical model for pricing perishable goods for quick-commerce applications
Quick commerce (q-commerce) is one of the fastest growing sectors in India. It provides informal employment to approximately 4,50,000 workers, and it is estimated to become a USD 200 Billion industry by 2026. A significant portion of this industry deals with perishable goods. (e.g. milk, dosa batter etc.) These are food items which are consumed relatively fresh by the consumers and therefore their order volume is high and repetitive even when the average basket size is relatively small. The fun…

How do Language Models Generate Slang: A Systematic Comparison between Human and Machine-Generated Slang Usages
Siyang Wu, Zhewei Sun
https://arxiv.org/abs/2509.15518 https://…

How do Language Models Generate Slang: A Systematic Comparison between Human and Machine-Generated Slang Usages
Slang is a commonly used type of informal language that poses a daunting challenge to NLP systems. Recent advances in large language models (LLMs), however, have made the problem more approachable. While LLM agents are becoming more widely applied to intermediary tasks such as slang detection and slang interpretation, their generalizability and reliability are heavily dependent on whether these models have captured structural knowledge about slang that align well with human attested slang usage…

Cowboys' Jerry Jones hasn't spoken with Micah Parsons since trade request, not confident he'll play Week 1

https://www.cbssports.com/nfl/news/cowb…

Automating API Documentation with LLMs: A BERTopic Approach
AmirHossein Naghshzan
https://arxiv.org/abs/2509.05749 https://arxiv.org/pdf/2509.05749

Automating API Documentation with LLMs: A BERTopic Approach
Developers rely on API documentation, but official sources are often lengthy, complex, or incomplete. Many turn to community-driven forums like Stack Overflow for practical insights. We propose automating the summarization of informal sources, focusing on Android APIs. Using BERTopic, we extracted prevalent topics from 3.6 million Stack Overflow posts and applied extractive summarization techniques to generate concise summaries, including code snippets. A user study with 30 Android developers a…

Fiscal Spillovers through Informal Financial Channels
Austin Kennedy
https://arxiv.org/abs/2508.06662 https://arxiv.org/pdf/2508.06662

Fiscal Spillovers through Informal Financial Channels
This paper examines fiscal policy spillovers through informal international financial channels, using the US stimulus checks as a positive, sudden, and direct fiscal shock. I utilize granular, transaction-level cryptocurrency data combined with an algorithm to probabilistically identify cross-border "crypto vehicle" transactions to construct bilateral cryptocurrency flows between countries. Using a difference-in-differences strategy, I compare cryptocurrency outflows between the US and other hi…

Prestige over merit: An adapted audit of LLM bias in peer review
Anthony Howell, Jieshu Wang, Luyu Du, Julia Melkers, Varshil Shah
https://arxiv.org/abs/2509.15122 https://

Prestige over merit: An adapted audit of LLM bias in peer review
Large language models (LLMs) are playing an increasingly integral, though largely informal, role in scholarly peer review. Yet it remains unclear whether LLMs reproduce the biases observed in human decision-making. We adapt a resume-style audit to scientific publishing, developing a multi-role LLM simulation (editor/reviewer) that evaluates a representative set of high-quality manuscripts across the physical, biological, and social sciences under randomized author identities (institutional pres…

myPhysmatics: Connected Mathematical Models in Physics
Sergej Pankratow
https://arxiv.org/abs/2509.16269 https://arxiv.org/pdf/2509.16269

myPhysmatics: Connected Mathematical Models in Physics
This book is devoted to an informal discussion of patterns constructed for treating physical problems. Such patterns, when sufficiently formalized, are usually referred as "models", and tents to be applied not only in physics, but conquer the fields traditionally occupied by other disciplines generally considered to be different from physics. The author calls this unification of seemingly disjoint results a "physmatical effect" - pointing to the fact that multitudes of fine - grained physics-ba…

Causal evidence of racial and institutional biases in accessing paywalled articles and scientific data
Hazem Ibrahim, Fengyuan Liu, Khalid Mengal, Aaron R. Kaufman, Yasir Zaki, Talal Rahwan
https://arxiv.org/abs/2509.08299

Causal evidence of racial and institutional biases in accessing paywalled articles and scientific data
Scientific progress fundamentally depends on researchers' ability to access and build upon the work of others. Yet, a majority of published work remains behind expensive paywalls, limiting access to universities that can afford subscriptions. Furthermore, even when articles are accessible, the underlying datasets could be restricted, available only through a "reasonable request" to the authors. One way researchers could overcome these barriers is by relying on informal channels, such as emailin…

Renzo's rule revisited: A statistical study of galaxies' baryon - dark matter coupling
Enoch Ko (Astrophysics, University of Oxford, Department of Physics, University of Warwick), Tariq Yasin (Astrophysics, University of Oxford), Harry Desmond (Institute of Cosmology and Gravitation, University of Portsmouth), Richard Stiskalek (Astrophysics, University of Oxford), Matt J. Jarvis (Astrophysics, University of Oxford, Department of Physics and Astronomy, University of the Western…

Renzo's rule revisited: A statistical study of galaxies' baryon - dark matter coupling
We present a systematic statistical analysis of an informal astrophysical phenomenon known as Renzo's rule (or Sancisi's law), which states that "for any feature in a galaxy's luminosity profile, there is a corresponding feature in the rotation curve, and vice versa." This is often posed as a challenge for the standard LCDM model while supporting alternative theories such as MOND. Indeed, we identify clear features in the dwarf spiral NGC 1560 -- a prime example for Renzo's rule -- and find cor…

Who has the best probabilities? Luck versus skill in prediction tournaments
Niall MacKay
https://arxiv.org/abs/2509.08744 https://arxiv.org/pdf/2509.08744

Who has the best probabilities? Luck versus skill in prediction tournaments
An informal and elementary introduction to probability scoring and forecast verification and improvement, slightly extended from Significance 22:3(2025)16, which might be useful for less mathematical readers as a prologue to the classic review by Gneiting and Raftery [Strictly proper scoring rules, prediction, and estimation, Journal of the American Statistical Association 102 (2007): 359].

Exploring the economic promise and environmental costs of mining in Brazil #Brazil…

Exploring the economic promise and environmental costs of mining in Brazil
Mining in Brazil does not deliver the sustained economic benefits often claimed, while informal mining is a major driver of deforestation, especially in the Amazon. A new study offers one of the most comprehensive assessments to date, combining satellite imagery and economic data to analyze the environmental and economic impacts of mining at the municipal scale across Brazil.

When are two algorithms the same? Towards addressing Hilbert's 24th problem
Konstantin Doubrovinski
https://arxiv.org/abs/2508.02764 https://arxiv.org/…

When are two algorithms the same? Towards addressing Hilbert's 24th problem
The informal question of when two theorem proofs are "essentially the same" goes back to David Hilbert, who considered adding it (or something largely equivalent) to his famous list of open problems, but eventually decided to leave it out. Given that the notion of a formal proof is closely related to that of a (computer) program, i.e. a recursive function, it may be useful to ask the same question with regard to programs instead. Here we propose a minimalistic approach to this question within R…

Designing for Self-Regulation in Informal Programming Learning: Insights from a Storytelling-Centric Approach
Sami Saeed Alghamdi (Open Lab, School of Computing, Newcastle University), Christopher Bull (Open Lab, School of Computing, Newcastle University), Ahmed Kharrufa (Open Lab, School of Computing, Newcastle University)
https://arxiv.o…

Designing for Self-Regulation in Informal Programming Learning: Insights from a Storytelling-Centric Approach
Many people learn programming independently from online resources and often report struggles in achieving their personal learning goals. Learners frequently describe their experiences as isolating and frustrating, challenged by abundant uncertainties, information overload, and distraction, compounded by limited guidance. At the same time, social media serves as a personal space where many engage in diverse self-regulation practices, including help-seeking, using external memory aids (e.g., self…

AquiLLM: a RAG Tool for Capturing Tacit Knowledge in Research Groups
Chandler Campbell, Bernie Boscoe, Tuan Do
https://arxiv.org/abs/2508.05648 https://arx…

AquiLLM: a RAG Tool for Capturing Tacit Knowledge in Research Groups
Research groups face persistent challenges in capturing, storing, and retrieving knowledge that is distributed across team members. Although structured data intended for analysis and publication is often well managed, much of a group's collective knowledge remains informal, fragmented, or undocumented--often passed down orally through meetings, mentoring, and day-to-day collaboration. This includes private resources such as emails, meeting notes, training materials, and ad hoc documentation. To…

From Fuzzy Speech to Medical Insight: Benchmarking LLMs on Noisy Patient Narratives
Eden Mama, Liel Sheri, Yehudit Aperstein, Alexander Apartsin
https://arxiv.org/abs/2509.11803

From Fuzzy Speech to Medical Insight: Benchmarking LLMs on Noisy Patient Narratives
The widespread adoption of large language models (LLMs) in healthcare raises critical questions about their ability to interpret patient-generated narratives, which are often informal, ambiguous, and noisy. Existing benchmarks typically rely on clean, structured clinical text, offering limited insight into model performance under realistic conditions. In this work, we present a novel synthetic dataset designed to simulate patient self-descriptions characterized by varying levels of linguistic n…

Labor Market Reforms, Flexibility, and Employment Transitions Across Formal and Informal Sectors
Selidji Caroline Tossou
https://arxiv.org/abs/2510.03668 https://

Labor Market Reforms, Flexibility, and Employment Transitions Across Formal and Informal Sectors
In this paper, I investigate the 2017 labor market reform in Benin, which reduced firing costs and allowed firms to renew short-term contracts indefinitely. Using micro-data from the Harmonized Household Living Standards Surveys and a two-way fixed effect approach with nearby countries as the control group, I assess the reform's impact on employment, worker tenure, contract types, and wages. My empirical results reveal a 2.6 percentage point (24.5 percent) increase in formal sector employment a…

Therapeutic AI and the Hidden Risks of Over-Disclosure: An Embedded AI-Literacy Framework for Mental Health Privacy
Soraya S. Anvari, Rina R. Wehbe
https://arxiv.org/abs/2510.10805

Therapeutic AI and the Hidden Risks of Over-Disclosure: An Embedded AI-Literacy Framework for Mental Health Privacy
Large Language Models (LLMs) are increasingly deployed in mental health contexts, from structured therapeutic support tools to informal chat-based well-being assistants. While these systems increase accessibility, scalability, and personalization, their integration into mental health care brings privacy and safety challenges that have not been well-examined. Unlike traditional clinical interactions, LLM-mediated therapy often lacks a clear structure for what information is collected, how it is …

Social Dynamics of DAOs: Power, Onboarding, and Inclusivity
Victoria Kozlova, Ben Biedermann
https://arxiv.org/abs/2509.06163 https://arxiv.org/pdf/2509.06…

Social Dynamics of DAOs: Power, Onboarding, and Inclusivity
This report explores the often-overlooked cultural and social dynamics shaping participation and power in DAOs. Drawing on qualitative interviews and ethnographic observations, it shows how factors such as financial privilege, informal gatekeeping, visibility bias, and onboarding structures create barriers to meaningful inclusion. While DAOs are frequently framed as permissionless and egalitarian, the lived experiences of contributors reveal a more complex reality, one in which soft power and i…

Nominal Sets in Rocq
Fabr\'icio Sanches Paranhos (Nethermind - London, UK), Daniel Ventura (INF-UFG)
https://arxiv.org/abs/2509.25883 https://arxiv.org…

Nominal Sets in Rocq
Nominal techniques have been praised for their ability to formalize grammars with binding structures closer to their informal developments. At its core, there lies the definition of nominal sets, which capture the notion of name (in)dependence through a simple, and uniform, metatheory based on name permutations. We present a formal constructive development of nominal sets in Rocq (formerly known as Coq), with its main design and project decisions. Furthermore, we formalize the concepts of fresh…

Beyond the Silence: How Men Navigate Infertility Through Digital Communities and Data Sharing
Tawfiq Ammari, Zarah Khondoker, Yihan Wang, Nikki Roda
https://arxiv.org/abs/2509.10003

Beyond the Silence: How Men Navigate Infertility Through Digital Communities and Data Sharing
Men experiencing infertility face unique challenges navigating Traditional Masculinity Ideologies that discourage emotional expression and help-seeking. This study examines how Reddit's r/maleinfertility community helps overcome these barriers through digital support networks. Using topic modeling (115 topics), network analysis (11 micro-communities), and time-lagged regression on 11,095 posts and 79,503 comments from 8,644 users, we found the community functions as a hybrid space: informal dia…

Decomposed Reasoning with Reinforcement Learning for Relevance Assessment in UGC Platforms
Xiaowei Yuan, Lei Jin, Haoxin Zhang, Yan Gao, Yi Wu, Yao Hu, Ziyang Huang, Jun Zhao, Kang Liu
https://arxiv.org/abs/2508.02506

Decomposed Reasoning with Reinforcement Learning for Relevance Assessment in UGC Platforms
Retrieval-augmented generation (RAG) plays a critical role in user-generated content (UGC) platforms, but its effectiveness depends heavily on accurate relevance assessment of query-document pairs. Despite recent advances in applying large language models (LLMs) to relevance modeling, UGC platforms present unique challenges: 1) ambiguous user intent due to sparse user feedback in RAG scenarios, and 2) substantial noise introduced by informal and unstructured language. To address these issues, w…

Comparative Study of Pre-Trained BERT and Large Language Models for Code-Mixed Named Entity Recognition
Mayur Shirke, Amey Shembade, Pavan Thorat, Madhushri Wagh, Raviraj Joshi
https://arxiv.org/abs/2509.02514

Comparative Study of Pre-Trained BERT and Large Language Models for Code-Mixed Named Entity Recognition
Named Entity Recognition (NER) in code-mixed text, particularly Hindi-English (Hinglish), presents unique challenges due to informal structure, transliteration, and frequent language switching. This study conducts a comparative evaluation of code-mixed fine-tuned models and non-code-mixed multilingual models, along with zero-shot generative large language models (LLMs). Specifically, we evaluate HingBERT, HingMBERT, and HingRoBERTa (trained on code-mixed data), and BERT Base Cased, IndicBERT, R…

How to Make Museums More Interactive? Case Study of Artistic Chatbot
Filip J. Kucia, Bartosz Grabek, Szymon D. Trochimiak, Anna Wr\'oblewska
https://arxiv.org/abs/2509.00572

How to Make Museums More Interactive? Case Study of Artistic Chatbot
Conversational agents powered by Large Language Models (LLMs) are increasingly utilized in educational settings, in particular in individual closed digital environments, yet their potential adoption in the physical learning environments like cultural heritage sites, museums, and art galleries remains relatively unexplored. In this study, we present Artistic Chatbot, a voice-to-voice RAG-powered chat system to support informal learning and enhance visitor engagement during a live art exhibition …