Search papers, labs, and topics across Lattice.
Université Paris-Cité
2
0
3
LLMs can now tackle complex TCS proof generation with a benchmark that achieves over 90% accuracy in verification against human experts.
The query complexity of active learning algorithms can be dramatically influenced by the graph's vertex expansion, revealing a new dimension in adversarial robustness.
