Search papers, labs, and topics across Lattice.
Imperial College London, University of Edinburgh, Nanyang Technological University, MBZUAI
2
0
5
Implicit self-description can achieve comparable or superior debiasing results to traditional methods that rely on sensitive attributes.
Pythagoras-Prover achieves state-of-the-art performance in formal proving with dramatically fewer parameters, challenging the notion that bigger models always yield better results.
