Search papers, labs, and topics across Lattice.
Sun Yat-sen University
5
1
7
2
IcFuzz uncovers critical bugs in NVIDIA Isaac Sim that existing fuzzing methods completely miss, achieving over 200% code coverage.
Even the top-performing LLM struggles with cross-file reasoning, achieving only 69.1% accuracy on a new benchmark designed to reflect real-world software development challenges.
LLMs can now audit cross-chain smart contracts with expert-level precision, achieving 95% coverage of vulnerable projects by explicitly mirroring human reasoning processes.
Automating monolith-to-serverless migration is now possible with an LLM-powered pipeline that outperforms commercial tools.
LLMs can now automatically validate smart contract vulnerabilities by generating and refining profit-driven exploits, significantly reducing the burden of manual verification.
