Goto

Collaborating Authors

 Botswana


16 award-winning photographs from around the world

Popular Science

The Sony World Photography Awards announced the winning and shortlisted photographers of the 2026 National and Regional Awards . Captured during a dive in the Galápagos Islands, the image reveals the predator's agility against the fluid patterns of the fish, providing a raw look at the survival instincts, and the high-energy interactions that define this unique volcanic ecosystem. Breakthroughs, discoveries, and DIY tips sent six days a week. From a solitary leopard in Botswana to a herd of buffaloes in Sri Lanka, and a church in Slovenia to a rocky landscape in Saudi Arabia, beauty exists in all corners of our humble planet. The Sony World Photography Awards celebrates photographers who capture riveting images around the world in its 2026 National and Regional Awards.


Consistent Estimation of Functions of Data Missing Non-Monotonically and Not at Random

Neural Information Processing Systems

Missing records are a perennial problem in analysis of complex data of all types, when the target of inference is some function of the full data law. In simple cases, where data is missing at random or completely at random (Rubin, 1976), well-known adjustments exist that result in consistent estimators of target quantities. Assumptions underlying these estimators are generally not realistic in practical missing data problems. Unfortunately, consistent estimators in more complex cases where data is missing not at random, and where no ordering on variables induces monotonicity of missingness status are not known in general, with some notable exceptions (Robins, 1997), (Tchetgen Tchetgen et al, 2016), (Sadinle and Reiter, 2016). In this paper, we propose a general class of consistent estimators for cases where data is missing not at random, and missingness status is non-monotonic. Our estimators, which are generalized inverse probability weighting estimators, make no assumptions on the underlying full data law, but instead place independence restrictions, and certain other fairly mild assumptions, on the distribution of missingness status conditional on the data. The assumptions we place on the distribution of missingness status conditional on the data can be viewed as a version of a conditional Markov random field (MRF) corresponding to a chain graph. Assumptions embedded in our model permit identification from the observed data law, and admit a natural fitting procedure based on the pseudo likelihood approach of (Besag, 1975). We illustrate our approach with a simple simulation study, and an analysis of risk of premature birth in women in Botswana exposed to highly active anti-retroviral therapy.





d0c6bc641a56bebee9d985b937307367-Paper-Conference.pdf

Neural Information Processing Systems

Asuccessful autoformalization system could advance the fields of formal verification, program synthesis, and artificial intelligence. While the long-term goal of autoformalization seemed elusive for a long time, we show large language models provide new prospects towards this goal.



World's oldest poison-tipped arrow discovered in South Africa

Popular Science

Science Archaeology World's oldest poison-tipped arrow discovered in South Africa The 60,000-year-old relic contains traces of a toxic onion. Breakthroughs, discoveries, and DIY tips sent every weekday. For thousands of years, hunters around the world have employed poison-tipped arrows to assist in taking down prey. For example, the curare plant poisons used by South and Central American hunters paralyzes the respiratory system. Meanwhile, inhabitants of the Kalahari Desert have relied on the toxins harvested from beetle larvae .


Democratic or Authoritarian? Probing a New Dimension of Political Biases in Large Language Models

Piedrahita, David Guzman, Strauss, Irene, Schölkopf, Bernhard, Mihalcea, Rada, Jin, Zhijing

arXiv.org Artificial Intelligence

As Large Language Models (LLMs) become increasingly integrated into everyday life and information ecosystems, concerns about their implicit biases continue to persist. While prior work has primarily examined socio-demographic and left--right political dimensions, little attention has been paid to how LLMs align with broader geopolitical value systems, particularly the democracy--authoritarianism spectrum. In this paper, we propose a novel methodology to assess such alignment, combining (1) the F-scale, a psychometric tool for measuring authoritarian tendencies, (2) FavScore, a newly introduced metric for evaluating model favorability toward world leaders, and (3) role-model probing to assess which figures are cited as general role-models by LLMs. We find that LLMs generally favor democratic values and leaders, but exhibit increased favorability toward authoritarian figures when prompted in Mandarin. Further, models are found to often cite authoritarian figures as role models, even outside explicit political contexts. These results shed light on ways LLMs may reflect and potentially reinforce global political ideologies, highlighting the importance of evaluating bias beyond conventional socio-political axes. Our code is available at: https://github.com/irenestrauss/Democratic-Authoritarian-Bias-LLMs.


CzechLynx: A Dataset for Individual Identification and Pose Estimation of the Eurasian Lynx

Picek, Lukas, Belotti, Elisa, Bojda, Michal, Bufka, Ludek, Cermak, Vojtech, Dula, Martin, Dvorak, Rostislav, Hrdy, Luboslav, Jirik, Miroslav, Kocourek, Vaclav, Krausova, Josefa, Labuda, Jirı, Straka, Jakub, Toman, Ludek, Trulık, Vlado, Vana, Martin, Kutal, Miroslav

arXiv.org Artificial Intelligence

We introduce CzechLynx, the first large-scale, open-access dataset for individual identification, pose estimation, and instance segmentation of the Eurasian lynx (Lynx lynx). CzechLynx contains 39,760 camera trap images annotated with segmentation masks, identity labels, and 20-point skeletons and covers 319 unique individuals across 15 years of systematic monitoring in two geographically distinct regions: southwest Bohemia and the Western Carpathians. In addition to the real camera trap data, we provide a large complementary set of photorealistic synthetic images and a Unity-based generation pipeline with diffusion-based text-to-texture modeling, capable of producing arbitrarily large amounts of synthetic data spanning diverse environments, poses, and coat-pattern variations. To enable systematic testing across realistic ecological scenarios, we define three complementary evaluation protocols: (i) geo-aware, (ii) time-aware open-set, and (iii) time-aware closed-set, covering cross-regional and long-term monitoring settings. With the provided resources, CzechLynx offers a unique, flexible benchmark for robust evaluation of computer vision and machine learning models across realistic ecological scenarios.