Popular repositories Loading

1. CoTran CoTran Public

   Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution

   Java 15 2

2. ProofBridge ProofBridge Public

   [ICLR-2026 main track] ProofBridge is a unified framework that translates natural language theorems and proofs into Lean 4 using joint embeddings, cross-modal retrieval-augmented fine-tuning, and i…

   Python 3

3. CSrankings CSrankings Public

   Forked from emeryberger/CSrankings

   A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

   Python