output
20162025
most citedLibri-Light: A Benchmark for ASR with Limited or No Supervision

461 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing math.LOShow all

1 paper · 1 filter

math.LO2023★ 7 cited

On three-valued presentations of classical logic

Bruno da Ré, Damian Szmuc, Emmanuel Chemla +1

Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logi…