Search papers, labs, and topics across Lattice.
Heriot-Watt University
2
0
6
Trustworthy AI can now be certified with cryptographic proofs that don't require trusting the agent or re-executing its computations.
Nominal techniques, a principled approach to variable binding, are now accessible as a practical Agda library.
