Search papers, labs, and topics across Lattice.
Affiliation:
2
0
6
6
StochBench is introduced, a Lean 4 benchmark of 450 graduate stochastic-processes problems at varying abstraction levels, each paired with its natural-language source that better represents domain-specific applied mathematics while remaining challenging for advanced provers.
Cross-lingual fairness gaps in language model watermarking are not just language-specific but are fundamentally tied to the structural properties of language families.
