OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution Paper • 2505.04606 • Published May 7 • 9
LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover Paper • 2407.17227 • Published Jul 24, 2024
