Search papers, labs, and topics across Lattice.
Shanghai Jiao Tong University
3
0
4
Today's best AI agents can only solve 55% of real-world academic tasks that university students find challenging, revealing a significant gap between current AI capabilities and the demands of academic workflows.
Datalog on GPUs just got a whole lot faster: SRDatalog achieves up to 47x speedups by finally making worst-case optimal joins practical on GPUs.
Decompilation can be as modular and declarative as compilation itself, enabling more robust and generalizable reverse engineering.
