Abstract: A novel model is presented in this article to derive the expected value from a ranking of alternatives, with which to tackle some uncertain problems, such as different types of att0itudes, ...

This repository contains code to reproduce experiments for the paper: Disentangling Form and World Knowledge in LLM Interpretation: Evidence from Quantifier Scope Disambiguation (ACL 2026 submission).

Abstract: Rapid advances in 3D model scanning have enabled the mass digitization of dental clay models. However, most clinicians and researchers continue to use manual morphometric analysis methods on ...

This is a small collection of formally verified junk theorems provable in Lean 4 + Mathlib that, in my experience, are quite surprising and upsetting to mathematicians who are not familiar with type ...