Search papers, labs, and topics across Lattice.
Jashore University of Science and Technology
2
0
4
BPF can detect 89.6% of semantic drift in formalizations while reducing erroneous outputs by 47%, transforming the reliability of autoformalization in mathematics.
Chain-of-thought reasoning amplifies anti-Muslim bias in LLMs, revealing critical gaps in existing mitigation strategies across realistic deployment scenarios.
