AI.info

Lun Du

Explore Lun Du on AI.info.

• Can We Predict Before Executing Machine Learning Agents?
• MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
• InnoGym: Benchmarking the Innovation Potential of AI Agents
• Executable Knowledge Graphs for Replicating AI Research