Search papers, labs, and topics across Lattice.
Leiden Institute of Advanced Computer Science, Leiden University, Einsteinweg 55, Leiden, The Netherlands
4
0
7
2
The rapid rise of .cursorrules files in low-activity projects reveals a surprising gap in security considerations within AI-assisted programming prompts.
CalibForge reveals that adversarial calibration can dramatically enhance the effectiveness of training data for terminal agents, leading to unprecedented performance improvements on standard benchmarks.
AdvancedMathBench reveals that even state-of-the-art models struggle with advanced mathematical reasoning, achieving only 75.8% accuracy in proof generation.
Building agents that can reliably automate complex, multi-step workflows over local files and tools just got a whole lot easier.