3 ms·Towards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL41 points by lr0 8mo ago